List of all items
Structs
- challenger::IsomorphicChallenger
- challenger::field_challenger::FieldChallenger
- composition::index::IndexComposition
- composition::mix::MixComposition
- composition::product_composition::ProductComposition
- constraint_system::ConstraintSystem
- constraint_system::channel::Boundary
- constraint_system::channel::Flush
- 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::MultilinearOracleSetAddition
- oracle::Packed
- oracle::Projected
- oracle::Shifted
- oracle::TransparentPolyOracle
- poly_commit::batch_pcs::BatchPCS
- poly_commit::batch_pcs::Proof
- poly_commit::fri_pcs::FRIPCS
- poly_commit::fri_pcs::Proof
- 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::mle_adapters::MLEDirectAdapter
- polynomial::mle_adapters::MLEEmbeddingAdapter
- polynomial::multilinear_extension::MultilinearExtension
- polynomial::multilinear_query::MultilinearQuery
- polynomial::multilinear_query::MultilinearQueryRef
- 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::FRIParams
- 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::greedy_evalcheck::GreedyEvalcheckProof
- protocols::greedy_evalcheck::GreedyEvalcheckProveOutput
- protocols::lasso::LassoBatches
- protocols::lasso::LassoClaim
- protocols::lasso::LassoProof
- protocols::lasso::LassoProveOutput
- protocols::lasso::LassoWitness
- 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::SumcheckClaimsWithMeta
- protocols::sumcheck_v2::prove::oracles::SumcheckProversWithMetas
- protocols::sumcheck_v2::prove::prover_state::ProverState
- protocols::sumcheck_v2::prove::regular_sumcheck::RegularSumcheckProver
- protocols::sumcheck_v2::prove::univariate::ZerocheckUnivariateEvalsOutput
- protocols::sumcheck_v2::prove::zerocheck::ZerocheckProver
- protocols::sumcheck_v2::zerocheck::ExtraProduct
- protocols::sumcheck_v2::zerocheck::ZerocheckClaim
- protocols::v2::evalcheck_v2::BatchCommittedEvalClaims
- protocols::v2::evalcheck_v2::CommittedEvalClaim
- protocols::v2::evalcheck_v2::EvalcheckMultilinearClaim
- protocols::v2::evalcheck_v2::EvalcheckProver
- protocols::v2::evalcheck_v2::EvalcheckVerifier
- protocols::v2::evalcheck_v2::SameQueryPcsClaim
- protocols::v2::evalcheck_v2::subclaims::MemoizedQueries
- protocols::v2::evalcheck_v2::subclaims::NonSameQueryPcsClaimMeta
- protocols::v2::evalcheck_v2::subclaims::ProjectedBivariateMeta
- protocols::v2::greedy_evalcheck_v2::GreedyEvalcheckProof
- protocols::v2::greedy_evalcheck_v2::GreedyEvalcheckProveOutput
- 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
- constraint_system::channel::FlushDirection
- constraint_system::error::Error
- merkle_tree::Error
- merkle_tree::VerificationError
- oracle::ConstraintPredicate
- oracle::Error
- oracle::MultilinearPolyOracle
- oracle::ProjectionVariant
- oracle::ShiftVariant
- poly_commit::batch_pcs::Error
- poly_commit::fri_pcs::Error
- poly_commit::fri_pcs::VerificationError
- 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::greedy_evalcheck::Error
- protocols::lasso::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::v2::evalcheck_v2::Error
- protocols::v2::evalcheck_v2::EvalcheckProof
- protocols::v2::evalcheck_v2::VerificationError
- protocols::v2::greedy_evalcheck_v2::Error
- 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
- 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::SumcheckEvaluator
- protocols::sumcheck_v2::prove::SumcheckProver
- protocols::sumcheck_v2::prove::prover_state::SumcheckInterpolator
Macros
Functions
- challenger::new_duplex_challenger
- challenger::new_hasher_challenger
- composition::index::index_composition
- composition::mix::empty_mix_composition
- constraint_system::channel::validate_witness
- constraint_system::validate::validate_virtual_oracle_witness
- constraint_system::validate::validate_witness
- merkle_tree::slice_assume_init_mut
- poly_commit::ring_switch::evaluate_ring_switch_eq_ind
- poly_commit::ring_switch::ring_switch_eq_ind_partial_eval
- 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
- polynomial::multivariate::composition_hash
- protocols::abstract_sumcheck::batch_prove
- protocols::abstract_sumcheck::batch_verify
- protocols::abstract_sumcheck::check_interpolation_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_interleaved
- protocols::fri::fold_codeword
- protocols::gkr_gpa::batch_prove
- protocols::gkr_gpa::batch_verify
- protocols::gkr_gpa::construct_grand_product_claims
- protocols::gkr_gpa::construct_grand_product_witnesses
- protocols::gkr_gpa::get_grand_products_from_witnesses
- protocols::gkr_gpa::make_eval_claims
- protocols::greedy_evalcheck::prove
- protocols::greedy_evalcheck::verify
- protocols::lasso::prove
- protocols::lasso::verify
- protocols::sumcheck::batch_prove
- protocols::sumcheck::batch_verify
- protocols::sumcheck::prove
- protocols::sumcheck::validate_witness
- protocols::sumcheck::verify
- protocols::sumcheck_v2::constraint_set_sumcheck_claim
- protocols::sumcheck_v2::constraint_set_sumcheck_claims
- protocols::sumcheck_v2::constraint_set_zerocheck_claim
- protocols::sumcheck_v2::immediate_switchover_heuristic
- 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::oracles::constraint_sets_sumcheck_provers_metas
- protocols::sumcheck_v2::prove::regular_sumcheck::validate_witness
- protocols::sumcheck_v2::prove::univariate::domain_size
- protocols::sumcheck_v2::prove::univariate::univariatizing_reduction_prover
- protocols::sumcheck_v2::prove::univariate::zerocheck_univariate_evals
- protocols::sumcheck_v2::prove::zerocheck::validate_witness
- protocols::sumcheck_v2::standard_switchover_heuristic
- protocols::sumcheck_v2::univariate::univariatizing_reduction_claim
- protocols::sumcheck_v2::univariate::verify_sumcheck_outputs
- protocols::sumcheck_v2::verify::batch_verify
- protocols::sumcheck_v2::verify::interpolate_round_proof
- protocols::sumcheck_v2::zerocheck::reduce_to_sumchecks
- protocols::sumcheck_v2::zerocheck::verify_sumcheck_outputs
- protocols::v2::evalcheck_v2::subclaims::add_bivariate_sumcheck_to_constraints
- protocols::v2::evalcheck_v2::subclaims::make_non_same_query_pcs_sumcheck_claims
- protocols::v2::evalcheck_v2::subclaims::make_non_same_query_pcs_sumchecks
- protocols::v2::evalcheck_v2::subclaims::non_same_query_pcs_sumcheck_metas
- protocols::v2::evalcheck_v2::subclaims::packed_sumcheck_meta
- protocols::v2::evalcheck_v2::subclaims::process_non_same_query_pcs_sumcheck_witness
- protocols::v2::evalcheck_v2::subclaims::process_packed_sumcheck
- protocols::v2::evalcheck_v2::subclaims::process_shifted_sumcheck
- protocols::v2::evalcheck_v2::subclaims::prove_bivariate_sumchecks_with_switchover
- protocols::v2::evalcheck_v2::subclaims::shifted_sumcheck_meta
- protocols::v2::greedy_evalcheck_v2::prove
- protocols::v2::greedy_evalcheck_v2::verify
- protocols::zerocheck::batch_prove
- protocols::zerocheck::batch_verify
- protocols::zerocheck::prove
- protocols::zerocheck::validate_witness
- protocols::zerocheck::verify
Type Aliases
- composition::product_composition::BivariateProduct
- composition::product_composition::TrivariateProduct
- constraint_system::channel::ChannelId
- 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::fri::TerminateCodeword
- 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::sumcheck_v2::prove::univariate::Prover
- protocols::zerocheck::ZerocheckBatchProof
- protocols::zerocheck::ZerocheckProof
- protocols::zerocheck::ZerocheckWitness
- protocols::zerocheck::ZerocheckWitnessTypeErased
- witness::MultilinearWitness