Module halo2

Source
Expand description

Async Halo2 batch verifier service

Structs§

BatchVerifier
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§

Halo2Error
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§

BatchVerifyingKey
Temporary substitute type for fake batch verification.
ItemVerifyingKey
The type of a prepared verifying key. This is the key used to verify individual items.