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_NU6_2

The Orchard Action verifying key for the NU6.2-until-NU6.3 (fixed) circuit.

VERIFYING_KEY_NU6_3_ONWARD

The Orchard Action verifying key for the NU6.3-onward 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.

Constants

HALO2_MAX_BATCH_SIZE 🔒

Adjusted batch size for halo2 batches.

Statics

VERIFIER_NU6_2

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

VERIFIER_NU6_3_ONWARD

Global batch verification context for NU6.3-onward Halo2 Action proofs.

VERIFIER_PRE_NU6_2

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

Traits

QueueBatchVerify 🔒

Functions

batch_verifier 🔒

Builds a global Halo2 verifier that validates every item against vk.

orchard_v5_verifier_for

Returns the global Halo2 verifier for the Orchard-pool bundle of a v5 transaction in a block at network_upgrade.

orchard_v6_verifier

Returns the global Halo2 verifier for v6 Orchard-pool and Ironwood-pool bundles.

Type Aliases

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.

VerifierService

The concrete type of a global Halo2 verification service.

VerifyResult 🔒

The type of verification results.