[−][src]Module ysbell::groth16
The Groth16 proving system.
Structs
| BatchPreparedVerifyingKey | |
| 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_batch_verifying_key | |
| prepare_verifying_key | |
| read_g1 | |
| read_g2 | |
| verify_proof | |
| verify_proofs_batch | Randomized batch verification - see Appendix B.2 in Zcash spec |