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