Module snarkvm_wasm::gm17 [−][src]
Expand description
An implementation of the Groth-Maller simulation extractable zkSNARK. GM17: https://eprint.iacr.org/2017/540
Modules
GM17 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 SAP.
Preprocessed verifying key parameters that enable faster verification at the expense of larger size in memory.
A proof in the GM17 SNARK.
Full public (prover and verifier) parameters for the GM17 zkSNARK.
A verifying key in the GM17 SNARK.
Functions
Create parameters for a circuit, given some toxic waste.
Generates a random common reference string for a circuit.