Module bellman::groth16 [−][src]
Expand description
The Groth16 proving system.
Modules
| batch | Performs batch Groth16 proof verification. |
Structs
| Parameters | |
| PreparedVerifyingKey | |
| Proof | |
| VerifyingKey |
Traits
| ParameterSource |
Functions
| create_proof | |
| create_random_proof | |
| 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 | |
| verify_proof |