Crate legogroth16

An implementation of the [LegoGroth16] zkSNARK. An implementation of the LegoGroth16, 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

circom

data_structures

Data structures used by the prover, verifier, and generator.

error

generator

Generate public parameters for the Groth16 zkSNARK construction.

link

prover

Create proofs for the Groth16 zkSNARK construction.

verifier

Verify proofs for the Groth16 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 Definitions

Result

Constraints for the Groth16 verifier.