Module bellman::groth16
[−]
[src]
Structs
| Parameters | |
| PreparedVerifyingKey | |
| Proof | |
| ProverStream | |
| VerifierInput |
This is the constraint system synthesizer that is made available to callers of the verification function when they wish to perform allocations. In that context, allocation of inputs is not allowed. |
| VerifyingKey |
Traits
| ParameterSource |
Functions
| create_proof | |
| create_random_proof | |
| generate_parameters |
Create parameters for a circuit, given some trapdoors. |
| generate_random_parameters | |
| prepare_verifying_key | |
| verify_proof |