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.
Constants§
- HALO2_
MAX_ 🔒BATCH_ SIZE - Adjusted batch size for halo2 batches.
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.
- Sender 🔒
- The type of the batch sender channel.
- Verify
Result 🔒 - The type of verification results.