Module bellman::groth16

The Groth16 proving system.

Modules

• batch
  Performs batch Groth16 proof verification.

Structs

• Parameters
• PreparedVerifyingKey
• Proof
• VerifyingKey

Traits

• ParameterSource

Functions

• create_proof
• create_random_proof
• generate_parameters
  Create parameters for a circuit, given some toxic waste.
• generate_random_parameters
  Generates a random common reference string for a circuit.
• prepare_verifying_key
• verify_proof