Module zebra_consensus::primitives::groth16

Async Groth16 batch verifier service

Re-exports

• pub use params::Groth16Parameters;
• pub use params::GROTH16_PARAMETERS;
• pub use params::GROTH16_PARAMETERS;

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

Functions

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

Type Aliases

• BatchVerifier 🔒
  The type of the batch verifier.
• BatchVerifyingKey
  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.
• 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.