Crate legogroth16

Expand description

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.