Expand description
Async Halo2 batch verifier service
Structs§
- Batch
Verifier - A fake batch verifier that queues and verifies halo2 proofs.
- Item
- A Halo2 verification item, used as the request type of the service.
- VERIFYING_
KEY - The halo2 proof verifying key.
- Verifier
- Halo2 proof verifier implementation
Enums§
- Halo2
Error - An error that may occur when verifying Halo2 proofs of Zcash Orchard Action descriptions.
Statics§
- VERIFIER
- Global batch verification context for Halo2 proofs of Action statements.
Type Aliases§
- Batch
Verifying Key - Temporary substitute type for fake batch verification.
- Item
Verifying Key - The type of a prepared verifying key. This is the key used to verify individual items.