Module snarkvm_wasm::gm17 [−][src]
An implementation of the Groth-Maller simulation extractable zkSNARK. GM17: https://eprint.iacr.org/2017/540
Modules
snark | GM17 zkSNARK construction. |
Structs
GM17 | Note: V should serialize its contents to |
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 |