List of all items

Structs

• challenger::IsomorphicChallenger
• challenger::field_challenger::FieldChallenger
• composition::bivariate_product::BivariateProduct
• composition::index::IndexComposition
• composition::mix::MixComposition
• merkle_tree::MerkleCap
• merkle_tree::MerkleTree
• merkle_tree::MerkleTreeVCS
• oracle::CommittedBatch
• oracle::CommittedId
• oracle::CompositePolyOracle
• oracle::Constraint
• oracle::ConstraintSet
• oracle::ConstraintSetBuilder
• oracle::LinearCombination
• oracle::MultilinearOracleSet
• oracle::Packed
• oracle::Projected
• oracle::Shifted
• oracle::TransparentPolyOracle
• poly_commit::ring_switch::Proof
• poly_commit::ring_switch::RingSwitchPCS
• poly_commit::tensor_pcs::Proof
• poly_commit::tensor_pcs::TensorPCS
• polynomial::arith_circuit::ArithCircuitPoly
• polynomial::multilinear_extension::MultilinearExtension
• polynomial::multilinear_extension::MultilinearExtensionSpecialized
• polynomial::multilinear_query::MultilinearQuery
• polynomial::multivariate::CompositionScalarAdapter
• polynomial::multivariate::IdentityCompositionPoly
• polynomial::multivariate::MultilinearComposite
• protocols::abstract_sumcheck::AbstractSumcheckBatchProof
• protocols::abstract_sumcheck::AbstractSumcheckBatchProveOutput
• protocols::abstract_sumcheck::AbstractSumcheckProof
• protocols::abstract_sumcheck::AbstractSumcheckRound
• protocols::abstract_sumcheck::AbstractSumcheckRoundClaim
• protocols::abstract_sumcheck::CommonProversState
• protocols::abstract_sumcheck::ReducedClaim
• protocols::evalcheck::BatchCommittedEvalClaims
• protocols::evalcheck::CommittedEvalClaim
• protocols::evalcheck::EvalcheckClaim
• protocols::evalcheck::EvalcheckMultilinearClaim
• protocols::evalcheck::EvalcheckProver
• protocols::evalcheck::EvalcheckVerifier
• protocols::evalcheck::SameQueryPcsClaim
• protocols::evalcheck::subclaims::MemoizedQueries
• protocols::evalcheck::subclaims::NonSameQueryPcsClaimMeta
• protocols::evalcheck::subclaims::ProjectedBivariateMeta
• protocols::fri::CommitOutput
• protocols::fri::FRIFolder
• protocols::fri::FRIQueryProver
• protocols::fri::FRIVerifier
• protocols::fri::QueryRoundProof
• protocols::gkr_gpa::GrandProductBatchProof
• protocols::gkr_gpa::GrandProductBatchProveOutput
• protocols::gkr_gpa::GrandProductClaim
• protocols::gkr_gpa::GrandProductWitness
• protocols::gkr_sumcheck::GkrSumcheckClaim
• protocols::gkr_sumcheck::GkrSumcheckFirstRoundEvaluator
• protocols::gkr_sumcheck::GkrSumcheckLaterRoundEvaluator
• protocols::gkr_sumcheck::GkrSumcheckProver
• protocols::gkr_sumcheck::GkrSumcheckProversState
• protocols::gkr_sumcheck::GkrSumcheckWitness
• protocols::greedy_evalcheck::GreedyEvalcheckProof
• protocols::greedy_evalcheck::GreedyEvalcheckProveOutput
• protocols::lasso::LassoBatches
• protocols::lasso::LassoClaim
• protocols::lasso::LassoProof
• protocols::lasso::LassoProveOutput
• protocols::lasso::LassoWitness
• protocols::msetcheck::MsetcheckClaim
• protocols::msetcheck::MsetcheckProveOutput
• protocols::msetcheck::MsetcheckWitness
• protocols::sumcheck::SumcheckBatchProveOutput
• protocols::sumcheck::SumcheckClaim
• protocols::sumcheck::SumcheckProveOutput
• protocols::sumcheck::SumcheckProver
• protocols::sumcheck::SumcheckProversState
• protocols::sumcheck_v2::BatchSumcheckOutput
• protocols::sumcheck_v2::CompositeSumClaim
• protocols::sumcheck_v2::OracleClaimMeta
• protocols::sumcheck_v2::Proof
• protocols::sumcheck_v2::RoundCoeffs
• protocols::sumcheck_v2::RoundProof
• protocols::sumcheck_v2::SumcheckClaim
• protocols::sumcheck_v2::prove::regular_sumcheck::RegularSumcheckProver
• protocols::sumcheck_v2::prove::zerocheck::ZerocheckProver
• protocols::sumcheck_v2::zerocheck::ExtraProduct
• protocols::sumcheck_v2::zerocheck::ZerocheckClaim
• protocols::zerocheck::ZerocheckBatchProveOutput
• protocols::zerocheck::ZerocheckClaim
• protocols::zerocheck::ZerocheckProveOutput
• protocols::zerocheck::ZerocheckProver
• protocols::zerocheck::ZerocheckProversState
• reed_solomon::reed_solomon::ReedSolomonCode
• tensor_algebra::TensorAlgebra
• transparent::constant::Constant
• transparent::disjoint_product::DisjointProduct
• transparent::eq_ind::EqIndPartialEval
• transparent::multilinear_extension::MultilinearExtensionTransparent
• transparent::select_row::SelectRow
• transparent::shift_ind::ShiftIndPartialEval
• transparent::step_down::StepDown
• transparent::tower_basis::TowerBasis
• util::PackingDeref
• witness::MultilinearExtensionIndex

Enums

• merkle_tree::Error
• merkle_tree::VerificationError
• oracle::ConstraintPredicate
• oracle::Error
• oracle::MultilinearPolyOracle
• oracle::ProjectionVariant
• oracle::ShiftVariant
• poly_commit::ring_switch::Error
• poly_commit::ring_switch::VerificationError
• poly_commit::tensor_pcs::Error
• poly_commit::tensor_pcs::VerificationError
• polynomial::arith_circuit::Expr
• polynomial::error::Error
• protocols::abstract_sumcheck::Error
• protocols::abstract_sumcheck::VerificationError
• protocols::evalcheck::Error
• protocols::evalcheck::EvalcheckProof
• protocols::evalcheck::VerificationError
• protocols::fri::Error
• protocols::fri::FoldRoundOutput
• protocols::fri::VerificationError
• protocols::gkr_gpa::Error
• protocols::gkr_gpa::VerificationError
• protocols::gkr_sumcheck::Error
• protocols::gkr_sumcheck::VerificationError
• protocols::greedy_evalcheck::Error
• protocols::lasso::Error
• protocols::msetcheck::Error
• protocols::sumcheck::Error
• protocols::sumcheck::VerificationError
• protocols::sumcheck_v2::ConcreteClaim
• protocols::sumcheck_v2::Error
• protocols::sumcheck_v2::VerificationError
• protocols::sumcheck_v2::prove::ConcreteProver
• protocols::zerocheck::Error
• protocols::zerocheck::VerificationError
• witness::Error

Traits

• Step
• challenger::CanObserve
• challenger::CanSample
• challenger::CanSampleBits
• challenger::field_challenger::FieldChallengerHelper
• composition::mix::HornerCompositions
• linear_code::LinearCode
• linear_code::LinearCodeWithExtensionEncoding
• merkle_tree::VectorCommitScheme
• poly_commit::PolyCommitScheme
• polynomial::multilinear::MultilinearPoly
• polynomial::multivariate::CompositionPoly
• polynomial::multivariate::MultivariatePoly
• protocols::abstract_sumcheck::AbstractSumcheckClaim
• protocols::abstract_sumcheck::AbstractSumcheckEvaluator
• protocols::abstract_sumcheck::AbstractSumcheckProversState
• protocols::abstract_sumcheck::AbstractSumcheckReductor
• protocols::abstract_sumcheck::AbstractSumcheckWitness
• protocols::sumcheck_v2::prove::SumcheckProver

Macros

• felts

Functions

• challenger::new_duplex_challenger
• challenger::new_hasher_challenger
• composition::index::index_composition
• composition::mix::empty_mix_composition
• poly_commit::tensor_pcs::calculate_n_test_queries
• poly_commit::tensor_pcs::calculate_n_test_queries_reed_solomon
• poly_commit::tensor_pcs::find_proof_size_optimal_pcs
• protocols::abstract_sumcheck::batch_prove
• protocols::abstract_sumcheck::batch_verify
• protocols::abstract_sumcheck::check_evaluation_domain
• protocols::abstract_sumcheck::finalize_evalcheck_claim
• protocols::abstract_sumcheck::standard_switchover_heuristic
• protocols::abstract_sumcheck::validate_rd_challenge
• protocols::abstract_sumcheck::verify
• protocols::evalcheck::subclaims::non_same_query_pcs_sumcheck_claim
• protocols::evalcheck::subclaims::non_same_query_pcs_sumcheck_metas
• protocols::evalcheck::subclaims::non_same_query_pcs_sumcheck_witness
• protocols::evalcheck::subclaims::packed_sumcheck_meta
• protocols::evalcheck::subclaims::packed_sumcheck_witness
• protocols::evalcheck::subclaims::projected_bivariate_claim
• protocols::evalcheck::subclaims::shifted_sumcheck_meta
• protocols::evalcheck::subclaims::shifted_sumcheck_witness
• protocols::fri::calculate_n_test_queries
• protocols::fri::commit_message
• protocols::gkr_gpa::batch_prove
• protocols::gkr_gpa::batch_verify
• protocols::gkr_sumcheck::batch_prove
• protocols::gkr_sumcheck::batch_verify
• protocols::greedy_evalcheck::prove
• protocols::greedy_evalcheck::verify
• protocols::lasso::prove
• protocols::lasso::verify
• protocols::msetcheck::prove
• protocols::msetcheck::verify
• protocols::sumcheck::batch_prove
• protocols::sumcheck::batch_verify
• protocols::sumcheck::prove
• protocols::sumcheck::validate_witness
• protocols::sumcheck::verify
• protocols::sumcheck_v2::batch_verify
• protocols::sumcheck_v2::constraint_set_sumcheck_claim
• protocols::sumcheck_v2::constraint_set_zerocheck_claim
• protocols::sumcheck_v2::make_eval_claims
• protocols::sumcheck_v2::prove::batch_prove
• protocols::sumcheck_v2::prove::oracles::constraint_set_sumcheck_prover
• protocols::sumcheck_v2::prove::oracles::constraint_set_zerocheck_prover
• protocols::sumcheck_v2::prove::regular_sumcheck::validate_witness
• protocols::sumcheck_v2::prove::zerocheck::validate_witness
• protocols::sumcheck_v2::zerocheck::reduce_to_sumchecks
• protocols::sumcheck_v2::zerocheck::verify_sumcheck_outputs
• protocols::zerocheck::batch_prove
• protocols::zerocheck::batch_verify
• protocols::zerocheck::prove
• protocols::zerocheck::validate_witness
• protocols::zerocheck::verify

Type Aliases

• oracle::BatchId
• oracle::OracleId
• oracle::TypeErasedComposition
• poly_commit::tensor_pcs::BasicTensorPCS
• poly_commit::tensor_pcs::BlockTensorPCS
• poly_commit::tensor_pcs::VCSProofs
• polynomial::arith_circuit::ExprId
• polynomial::multilinear_extension::MultilinearExtensionBorrowed
• protocols::evalcheck::subclaims::BivariateSumcheck
• protocols::evalcheck::subclaims::BivariateSumcheckWitness
• protocols::evalcheck::subclaims::MemoizedTransparentPolynomials
• protocols::fri::QueryProof
• protocols::gkr_sumcheck::GkrSumcheckBatchProof
• protocols::gkr_sumcheck::GkrSumcheckBatchProveOutput
• protocols::sumcheck::SumcheckBatchProof
• protocols::sumcheck::SumcheckProof
• protocols::sumcheck::SumcheckRound
• protocols::sumcheck::SumcheckRoundClaim
• protocols::sumcheck::SumcheckWitness
• protocols::sumcheck_v2::prove::oracles::OracleSumcheckProver
• protocols::sumcheck_v2::prove::oracles::OracleZerocheckProver
• protocols::zerocheck::ZerocheckBatchProof
• protocols::zerocheck::ZerocheckProof
• protocols::zerocheck::ZerocheckWitness
• protocols::zerocheck::ZerocheckWitnessTypeErased
• witness::MultilinearWitness