Expand description
An implementation of the Groth16 zkSNARK.
Re-exports§
pub use self::data_structures::*;pub use self::verifier::*;
Modules§
- data_
structures - Data structures used by the prover, verifier, and generator.
- generator
- Generate public parameters for the Groth16 zkSNARK construction.
- prover
- Create proofs for the Groth16 zkSNARK construction.
- r1cs_
to_ qap - Reduce an R1CS instance to a Quadratic Arithmetic Program instance.
- verifier
- Verify proofs for the Groth16 zkSNARK construction.