The Groth16 proving system.
Performs batch Groth16 proof verification.
Create parameters for a circuit, given some toxic waste.
Generates a random common reference string for a circuit.