Static zebra_consensus::groth16::OUTPUT_VERIFIER

pub static OUTPUT_VERIFIER: Lazy<Fallback<Batch<Verifier, Item>, ServiceFn<fn(_: Item) -> BoxFuture<'static, Result<(), BoxError>>>>>

Global batch verification context for Groth16 proofs of Output statements.

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.