Module bellperson::groth16 [−][src]
Expand description
The Groth16 proving system.
Modules
Structs
Traits
Functions
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