pub static VERIFIER: Lazy<Fallback<Batch<Verifier, Item>, ServiceFn<fn(_: Item) -> BoxFuture<'static, Result<(), BoxError>>>>>Expand description
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.