List of all items

Structs

• LibsnarkReduction
• aggregation::commitment::PairCommitment
• aggregation::groth16::proof::AggregateProof
• aggregation::groth16::proof::GipaProof
• aggregation::groth16::proof::TippMippProof
• aggregation::groth16::verifier::GipaTUZ
• aggregation::key::Key
• aggregation::key::PreparedVKey
• aggregation::kzg::KZGOpening
• aggregation::legogroth16::proof::AggregateLegoProof
• aggregation::legogroth16::proof::GipaProofLego
• aggregation::legogroth16::proof::TippMippProofLego
• aggregation::legogroth16::verifier::GipaTUZ
• aggregation::srs::GenericSRS
• aggregation::srs::PreparedProverSRS
• aggregation::srs::ProverSRS
• aggregation::srs::VerifierSRS
• aggregation::srs::VerifierSRSProjective
• circom::circuit::CircomCircuit
• circom::r1cs::Constraint
• circom::r1cs::Header
• circom::r1cs::LC
• circom::r1cs::R1CS
• circom::r1cs::R1CSFile
• circom::wasm::Wasm
• circom::witness::WitnessCalculator
• data_structures::LinkPublicGenerators
• data_structures::PreparedVerifyingKey
• data_structures::Proof
• data_structures::ProofWithLink
• data_structures::ProvingKey
• data_structures::ProvingKeyCommon
• data_structures::ProvingKeyWithLink
• data_structures::VerifyingKey
• data_structures::VerifyingKeyWithLink
• link::CoeffPos
• link::SparseLinAlgebra
• link::SparseMatrix
• link::snark::EK
• link::snark::PESubspaceSnark
• link::snark::PP
• link::snark::VK

Enums

• aggregation::error::AggregationError
• circom::error::CircomError
• circom::r1cs::Curve
• error::Error
• link::error::LinkError

Traits

• R1CStoQAP
• link::snark::SubspaceSnark

Functions

• aggregation::groth16::prover::aggregate_proofs
• aggregation::groth16::verifier::gipa_verify_tipp_mipp
• aggregation::groth16::verifier::verify_aggregate_proof
• aggregation::groth16::verifier::verify_tipp_mipp
• aggregation::kzg::prove_commitment_v
• aggregation::kzg::prove_commitment_w
• aggregation::legogroth16::prover::aggregate_proofs
• aggregation::legogroth16::using_groth16::aggregate_proofs
• aggregation::legogroth16::using_groth16::verify_aggregate_proof
• aggregation::legogroth16::verifier::gipa_verify_tipp_mipp
• aggregation::legogroth16::verifier::verify_aggregate_proof
• aggregation::legogroth16::verifier::verify_tipp_mipp
• aggregation::srs::setup_fake_srs
• generator::generate_parameters_incl_cp_link_with_qap
• generator::generate_parameters_with_qap
• generator::generate_random_parameters
• generator::generate_random_parameters_incl_cp_link
• generator::generate_random_parameters_incl_cp_link_with_reduction
• generator::generate_random_parameters_with_reduction
• link::inner_product
• link::multiples_of_g
• link::scale_vector
• prover::create_proof
• prover::create_proof_incl_cp_link
• prover::create_proof_incl_cp_link_with_reduction
• prover::create_proof_with_reduction
• prover::create_random_proof
• prover::create_random_proof_incl_cp_link
• prover::rerandomize_proof
• prover::rerandomize_proof_1
• prover::synthesize_circuit
• prover::verify_commitments
• prover::verify_link_commitment
• prover::verify_witness_commitment
• verifier::calculate_d
• verifier::prepare_inputs
• verifier::prepare_verifying_key
• verifier::verify_link_proof
• verifier::verify_proof
• verifier::verify_proof_incl_cp_link
• verifier::verify_qap_proof

Type Aliases

• Result
• aggregation::key::VKey
• aggregation::key::WKey

Constants

• aggregation::srs::MAX_SRS_SIZE
• circom::BLS12_381_ORDER
• circom::BN128_ORDER