Expand description
Async Groth16 batch verifier service
Re-exports§
pub use params::GROTH16_PARAMETERS;
Structs§
- Description
Wrapper - A wrapper to allow a TryFrom blanket implementation of the
Description
trait for theItem
struct. See https://github.com/rust-lang/rust/issues/50133 for more details. - GROT
H16_ PARAMETERS - Groth16 Zero-Knowledge Proof parameters for the Sapling and Sprout circuits.
- Groth16
Parameters - Groth16 Zero-Knowledge Proof parameters for the Sapling and Sprout circuits.
- Verifier
- Groth16 signature verifier implementation
Statics§
- JOINSPLIT_
VERIFIER - Global batch verification context for Groth16 proofs of JoinSplit statements.
- OUTPUT_
VERIFIER - Global batch verification context for Groth16 proofs of Output statements.
- SPEND_
VERIFIER - Global batch verification context for Groth16 proofs of Spend statements.
Traits§
- Description
- A Groth16 Description (JoinSplit, Spend, or Output) with a Groth16 proof and its inputs encoded as scalars.
Type Aliases§
- Batch
Verifying Key - The type of a raw verifying key. This is the key used to verify batches.
- Item
- The type of the batch item. This is a Groth16 verification item.
- Item
Verifying Key - The type of a prepared verifying key. This is the key used to verify individual items.