zebra_consensus::primitives

Module groth16

source
Expand description

Async Groth16 batch verifier service

Re-exportsยง

Modulesยง

  • params ๐Ÿ”’
    Loading and checking correctness of Groth16 Sapling and Sprout parameters.

Structsยง

Staticsยง

  • Global batch verification context for Groth16 proofs of JoinSplit statements.
  • Global batch verification context for Groth16 proofs of Output statements.
  • Global batch verification context for Groth16 proofs of Spend statements.

Traitsยง

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

Functionsยง

Type Aliasesยง

  • BatchVerifier ๐Ÿ”’
    The type of the batch verifier.
  • The type of a raw verifying key. This is the key used to verify batches.
  • The type of the batch item. This is a Groth16 verification item.
  • 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.