Module groth16

Module groth16 

Source
Expand description

Async Groth16 batch verifier service

Re-exports§

pub use params::SAPLING;
pub use params::SPROUT;

Modules§

params 🔒
Loading and checking correctness of Groth16 Sapling and Sprout parameters.

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.
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.

Functions§

h_sig 🔒
Compute the h_{Sig} hash function which is used in JoinSplit descriptions.

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