Module snarkvm_wasm::groth16 [−][src]
Expand description
An implementation of the Groth16 zkSNARK.
Modules
Groth16 zkSNARK construction.
Structs
Note: V should serialize its contents to Vec<E::Fr> in the same order as
during the constraint generation.
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.