Crate ark_gm17[−][src]
Expand description
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]. |