Static zebra_consensus::primitives::halo2::VERIFIER

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

Global batch verification context for Halo2 proofs of Action 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.