List of all items

Structs

• common::G1Point
• common::G2Point
• common::Proof
• common::TrustedSetup
• constraint::CompilationResult
• constraint::Constraint
• dag::ExpressionDAG
• pairing::PairingProof
• polynomial::LagrangePolynomial
• proving_key::ProvingKey
• proving_key::VerificationKey

Enums

• dag::Expression
• errors::ZkError

Macros

• debug_println

Functions

• code_generation::generate_proving_key_file
• code_generation::generate_public_coefficients_file
• constraint::compile_constraints
• pairing::create_proving_key
• pairing::generate_proof
• pairing::generate_trusted_setup
• polynomial::lagrange_interpolate
• polynomial::vanishing_polynomial

Type Aliases

• dag::ExprId