Module data_structures

Data structures used by the prover, verifier, and generator.

Structs

• PreparedVerifyingKey
  Preprocessed verification key parameters that enable faster verification at the expense of larger size in memory.
• Proof
  A proof in the Groth16 SNARK.
• ProvingKey
  The prover key for for the Groth16 zkSNARK.
• VerifyingKey
  A verification key in the Groth16 SNARK.