Crate ark_gm17 

An implementation of the Groth-Maller simulation extractable zkSNARK.

Re-exports

pub use self::data_structures::*;

pub use self::generator::*;

pub use self::prover::*;

pub use self::verifier::*;

Modules

data_structures

Data structures used by the prover, verifier, and generator.

generator

Generate public parameters for the GM17 zkSNARK construction.

prover

Create proofs for the GM17 zkSNARK construction.

r1cs_to_sap

Reduce an R1CS instance to a Square Arithmetic Program instance.

verifier

Verify proofs for the GM17 zkSNARK construction.

Structs

GM17

The SNARK of [GrothMaller17].