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.

Constants

HALO2_MAX_BATCH_SIZE 🔒

Adjusted batch size for halo2 batches.

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.

Traits

QueueBatchVerify 🔒

Functions

batch_verifier 🔒

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

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.

Sender 🔒

The type of the batch sender channel.

VerifierService 🔒

The concrete type of a global Halo2 verification service.

VerifyResult 🔒

The type of verification results.