Module snarkvm_algorithms::snark::groth16 [−][src]
An implementation of the Groth16 zkSNARK.
Re-exports
pub use snark::*; |
Modules
| snark | Groth16 zkSNARK construction. |
Structs
| KeypairAssembly | This is our assembly structure that we’ll use to synthesize the circuit into a QAP. |
| Parameters | Full public (prover and verifier) parameters for the Groth16 zkSNARK. |
| PreparedVerifyingKey | Preprocessed verification key parameters that enable faster verification at the expense of larger size in memory. |
| Proof | A proof in the Groth16 SNARK. |
| ProvingAssignment | |
| VerifyingKey | A verification key in the Groth16 SNARK. |
Functions
| create_proof | |
| create_proof_no_zk | |
| 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 |