Module halo2 

Async Halo2 batch verifier service

Structs

Item

A Halo2 verification item, used as the request type of the service.

OrchardFallback

The single-item fallback service for one Orchard circuit era.

VERIFYING_KEY_POST_NU6_2

The Orchard Action verifying key for the NU6.2+ (fixed) circuit.

VERIFYING_KEY_PRE_NU6_2

The Orchard Action verifying key for the pre-NU6.2 (insecure) circuit.

Verifier

Halo2 proof verifier implementation

Enums

Halo2Error

An error that may occur when verifying Halo2 proofs of Zcash Orchard Action descriptions.

Statics

VERIFIER_POST_NU6_2

Global batch verification context for NU6.2+ Halo2 Action proofs.

VERIFIER_PRE_NU6_2

Global batch verification context for pre-NU6.2 Halo2 Action proofs.

Functions

verifier_for

Returns the global Halo2 verifier for Orchard bundles in blocks at network_upgrade.

Type Aliases

ItemVerifyingKey

The type of a prepared verifying key. This is the key used to verify individual items.