Crate ark_groth16

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.

Structs

• Groth16
  The SNARK of [Groth16](https://eprint.iacr.org/2016/260.pdf).