Module snarkvm_algorithms::snark::gm17[−][src]

Expand description

An implementation of the Groth-Maller simulation extractable zkSNARK. GM17: https://eprint.iacr.org/2017/540

Re-exports

pub use snark::*;

GM17 zkSNARK construction.

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.

Create parameters for a circuit, given some toxic waste.

Generates a random common reference string for a circuit.