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::*; |
Modules
| snark | GM17 zkSNARK construction. |
Structs
| KeypairAssembly | This is our assembly structure that we’ll use to synthesize the circuit into a SAP. |
| Parameters | Full public (prover and verifier) parameters for the GM17 zkSNARK. |
| PreparedVerifyingKey | Preprocessed verification key parameters that enable faster verification at the expense of larger size in memory. |
| Proof | A proof in the GM17 SNARK. |
| ProvingAssignment | |
| VerifyingKey | A verification key in the GM17 SNARK. |
Functions
| create_proof | |
| create_random_proof | |
| generate_parameters | Create parameters for a circuit, given some toxic waste. |
| generate_random_parameters | Generates a random common reference string for a circuit. |
| prepare_verifying_key | |
| verify_proof |