Module bellperson::groth16

The Groth16 proving system.

Modules

aggregate

Structs

MappedParameters

Parameters

PreparedVerifyingKey

Proof

VerifyingKey

Traits

ParameterSource

Functions

create_proof

create_proof_batch

create_proof_batch_in_priority

create_proof_batch_priority

creates a batch of proofs where the randomization vector is already predefined

create_proof_batch_priority_nonzk

creates a batch of proofs where the randomization vector is set to zero. This allows for optimization of proving.

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