Expand description
ZYGA zero-knowledge proof system
A high-performance zero-knowledge proof system using BN254 elliptic curve and Groth16-like construction.
§CLI Usage
For detailed CLI usage and examples, see the CLI Usage Guide
The CLI provides a two-step workflow:
setup: Generate proving/verification keys from constraintsprove: Generate proofs using proving key and witness values
Re-exports§
pub use errors::ZkError;pub use common::G1Point;pub use common::G2Point;pub use common::Proof;pub use common::TrustedSetup;pub use constraint::compile_constraints;pub use constraint::CompilationResult;pub use dag::ExprId;pub use dag::Expression;pub use dag::ExpressionDAG;pub use pairing::create_proving_key;pub use pairing::generate_proof;pub use pairing::generate_trusted_setup;pub use pairing::PairingProof;pub use polynomial::lagrange_interpolate;pub use polynomial::vanishing_polynomial;pub use polynomial::LagrangePolynomial;pub use proving_key::ProvingKey;pub use proving_key::VerificationKey;