Module zebra_consensus::primitives::halo2

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.

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

• 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.
• Sender 🔒
  The type of the batch sender channel.
• VerifyResult 🔒
  The type of verification results.