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