Crate legogroth16

An implementation of the LegoGroth16 zkSNARK, the LegoSNARK variant of Groth16 zkSNARK proof system.

Re-exports

• pub use self::data_structures::*;
• pub use self::generator::*;
• pub use self::prover::*;
• pub use self::verifier::*;

Modules

• aggregation
• circom
  Create and verify proofs for Circom programs
• data_structures
  Data structures used by the prover, verifier, and generator.
• error
• generator
  Generate public parameters for the LegoGroth16 zkSNARK construction.
• link
• prover
  Create proofs for the LegoGroth16 zkSNARK construction.
• verifier
  Verify proofs for the LegoGroth16 zkSNARK construction.

Structs

• LibsnarkReduction
  Computes the R1CS-to-QAP reduction defined in libsnark.

Traits

• R1CStoQAP
  Computes instance and witness reductions from R1CS to Quadratic Arithmetic Programs (QAPs).

Type Aliases

• Result
  Constraints for the LegoGroth16 verifier.