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