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