Module groth16

Structs

• Parameters
• PreparedProver
• 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_prover
• prepare_verifying_key
• verify_proof