Module bellperson::groth16
source · [−]Expand description
The Groth16 proving system.
Modules
Structs
Traits
Functions
creates a batch of proofs where the randomization vector is already predefined
creates a batch of proofs where the randomization vector is set to zero. This allows for optimization of proving.
Create parameters for a circuit, given some toxic waste.
Generates a random common reference string for a circuit.
Generate a prepared verifying key, required to verify a proofs.
Verify a single Proof.
Randomized batch verification - see Appendix B.2 in Zcash spec