Static VERIFIER_NU6_3_ONWARD 

pub static VERIFIER_NU6_3_ONWARD: Lazy<VerifierService>

Global batch verification context for NU6.3-onward Halo2 Action proofs.

Items routed here are verified against VERIFYING_KEY_NU6_3_ONWARD (the NU6.3 Action circuit, which adds the disableCrossAddress constraint). Every Orchard Action mined from NU6.3 onward routes here — v5 Orchard bundles at NU6.3, v6 Orchard bundles, and Ironwood bundles. This service transparently batches contemporaneous proof verifications, handling batch failures by falling back to individual verification.

Note that making a Service call requires mutable access to the service, so you should call .clone() on the global handle to create a local, mutable handle.