Module bellperson::groth16

The Groth16 proving system.

Modules

• aggregate

Structs

• MappedParameters
• Parameters
• PreparedVerifyingKey
• Proof
• VerifyingKey

Traits

• ParameterSource

Functions

• create_proof
  Creates a single proof where the randomization vector is already predefined
• create_proof_batch
  Creates a batch of proofs where the randomization vector is already predefined
• create_proof_batch_in_priority
  Creates a batch of proofs where the randomization vector is already predefined. When several proofs are run in parallel on the GPU, it will get priority and will never be aborted or pushed down to CPU.
• create_proof_in_priority
  Creates a single proof. When several proofs are run in parallel on the GPU, it will get priority and will never be aborted or pushed down to CPU.
• create_random_proof
  Creates a single proof.
• create_random_proof_batch
  Creates a batch of proofs.
• create_random_proof_batch_in_priority
  Creates a batch of proofs. When several proofs are run in parallel on the GPU, it will get priority and will never be aborted or pushed down to CPU.
• create_random_proof_in_priority
  Creates a batch of proofs. When several proofs are run in parallel on the GPU, it will get priority and will never be aborted or pushed down to CPU.
• 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
  Generate a prepared verifying key, required to verify a proofs.
• read_g1
• read_g2
• verify_proof
  Verify a single Proof.
• verify_proofs_batch
  Randomized batch verification - see Appendix B.2 in Zcash spec