Module groth16

Async Groth16 batch verifier service

Re-exports

pub use params::SAPLING;

pub use params::SPROUT;

Structs

DescriptionWrapper

A wrapper to allow a TryFrom blanket implementation of the Description trait for the Item struct. See https://github.com/rust-lang/rust/issues/50133 for more details.

Item

The type of the batch item. This is a newtype around a Groth16 verification item.

SAPLING

Sapling prover containing spend and output params for the Sapling circuit.

SPROUT

Spend parameters for the Sprout circuit.

Verifier

Groth16 signature verifier implementation

Statics

JOINSPLIT_VERIFIER

Global batch verification context for Groth16 proofs of JoinSplit statements.

Traits

Description

A Groth16 Description (JoinSplit, Spend, or Output) with a Groth16 proof and its inputs encoded as scalars.

Type Aliases

BatchVerifyingKey

The type of a raw verifying key. This is the key used to verify batches.

ItemVerifyingKey

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