Module snarkvm_algorithms::snark::groth16 [−][src]
Expand description
An implementation of the Groth16 zkSNARK.
Re-exports
pub use snark::*;Modules
Groth16 zkSNARK construction.
Structs
This is our assembly structure that we’ll use to synthesize the circuit into a QAP.
Preprocessed verification key parameters that enable faster verification at the expense of larger size in memory.
A proof in the Groth16 SNARK.
Full public (prover and verifier) parameters for the Groth16 zkSNARK.
A verification key in the Groth16 SNARK.
Functions
Create parameters for a circuit, given some toxic waste.
Generates a random common reference string for a circuit.