Module bellperson::groth16 [−][src]
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 |