[−][src]Module bellperson::groth16
The Groth16 proving system.
Structs
| MappedParameters | |
| Parameters | |
| PreparedVerifyingKey | |
| Proof | |
| VerifyingKey |
Traits
| ParameterSource |
Functions
| create_proof | |
| create_proof_batch | |
| create_proof_batch_in_priority | |
| create_proof_batch_priority | |
| create_proof_in_priority | |
| create_random_proof | |
| create_random_proof_batch | |
| create_random_proof_batch_in_priority | |
| create_random_proof_batch_priority | |
| create_random_proof_in_priority | |
| 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 |