Crate groth16

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