List of all items

Structs

• composition::index::IndexComposition
• composition::product_composition::ProductComposition
• constraint_system::ConstraintSystem
• constraint_system::Proof
• constraint_system::channel::Boundary
• constraint_system::channel::Flush
• constraint_system::exp::Exp
• merkle_tree::BinaryMerkleTree
• merkle_tree::BinaryMerkleTreeProver
• merkle_tree::BinaryMerkleTreeScheme
• merkle_tree::Commitment
• oracle::Builder
• oracle::CompositeMLE
• oracle::CompositePolyOracle
• oracle::Constraint
• oracle::ConstraintSet
• oracle::ConstraintSetBuilder
• oracle::LinearCombination
• oracle::MultilinearOracleSet
• oracle::MultilinearOracleSetAddition
• oracle::MultilinearPolyOracle
• oracle::OracleId
• oracle::Packed
• oracle::Projected
• oracle::Shifted
• oracle::SizedConstraintSet
• oracle::SymbolicMultilinearOracle
• oracle::SymbolicMultilinearOracleSet
• oracle::TransparentPolyOracle
• oracle::ZeroPadded
• piop::CommitMeta
• piop::PIOPSumcheckClaim
• polynomial::CompositionScalarAdapter
• polynomial::IdentityCompositionPoly
• polynomial::MultilinearComposite
• protocols::evalcheck::ConstraintSetEqIndPoint
• protocols::evalcheck::ConstraintSetsEqIndPoints
• protocols::evalcheck::EvalPoint
• protocols::evalcheck::EvalPointOracleIdMap
• protocols::evalcheck::EvalcheckMultilinearClaim
• protocols::evalcheck::EvalcheckProver
• protocols::evalcheck::EvalcheckVerifier
• protocols::evalcheck::subclaims::MemoizedData
• protocols::evalcheck::subclaims::OracleIdPartialEval
• protocols::evalcheck::subclaims::ProjectedBivariateMeta
• protocols::fri::CommitOutput
• protocols::fri::FRIFolder
• protocols::fri::FRIParams
• protocols::fri::FRIQueryProver
• protocols::fri::FRIVerifier
• protocols::fri::SingleRoundCommitted
• protocols::gkr_exp::BaseExpReductionOutput
• protocols::gkr_exp::BaseExpWitness
• protocols::gkr_exp::ExpClaim
• protocols::gkr_exp::LayerClaim
• protocols::gkr_gpa::GrandProductBatchProveOutput
• protocols::gkr_gpa::GrandProductClaim
• protocols::gkr_gpa::GrandProductWitness
• protocols::gkr_gpa::LayerClaim
• protocols::greedy_evalcheck::GreedyEvalcheckProveOutput
• protocols::prodcheck::ProductCircuitLayers
• protocols::sumcheck::BatchSumcheckOutput
• protocols::sumcheck::CompositeSumClaim
• protocols::sumcheck::MLEcheckClaimsWithMeta
• protocols::sumcheck::OracleClaimMeta
• protocols::sumcheck::RoundCoeffs
• protocols::sumcheck::RoundProof
• protocols::sumcheck::SumcheckClaim
• protocols::sumcheck::SumcheckClaimsWithMeta
• protocols::sumcheck::eq_ind::EqIndSumcheckClaim
• protocols::sumcheck::eq_ind::ExtraProduct
• protocols::sumcheck::front_loaded::BatchVerifier
• protocols::sumcheck::prove::eq_ind::ConstEvalSuffix
• protocols::sumcheck::prove::eq_ind::EqIndSumcheckProver
• protocols::sumcheck::prove::eq_ind::EqIndSumcheckProverBuilder
• protocols::sumcheck::prove::front_loaded::BatchProver
• protocols::sumcheck::prove::logging::ExpandQueryData
• protocols::sumcheck::prove::logging::FoldLowDimensionsData
• protocols::sumcheck::prove::logging::PIOPCompilerFoldData
• protocols::sumcheck::prove::logging::UnivariateSkipCalculateCoeffsData
• protocols::sumcheck::prove::oracles::MLECheckProverWithMeta
• protocols::sumcheck::prove::oracles::SumcheckProversWithMetas
• protocols::sumcheck::prove::prover_state::ProverState
• protocols::sumcheck::prove::regular_sumcheck::RegularSumcheckProver
• protocols::sumcheck::prove::univariate::ZerocheckUnivariateEvalsOutput
• protocols::sumcheck::prove::univariate::ZerocheckUnivariateFoldResult
• protocols::sumcheck::prove::zerocheck::ZerocheckProverImpl
• protocols::sumcheck::v3::bivariate_mlecheck::BivariateMLEcheckProver
• protocols::sumcheck::v3::bivariate_product::BivariateSumcheckProver
• protocols::sumcheck::zerocheck::BatchZerocheckOutput
• protocols::sumcheck::zerocheck::ZerocheckClaim
• protocols::sumcheck::zerocheck::ZerocheckRoundEvals
• reed_solomon::reed_solomon::ReedSolomonCode
• ring_switch::EvalClaimPrefixDesc
• ring_switch::EvalClaimSuffixDesc
• ring_switch::EvalClaimSystem
• ring_switch::PIOPSumcheckClaimDesc
• ring_switch::ReducedClaim
• ring_switch::ReducedWitness
• tensor_algebra::TensorAlgebra
• transcript::ProverTranscript
• transcript::TranscriptReader
• transcript::TranscriptWriter
• transcript::VerifierTranscript
• transparent::constant::Constant
• transparent::disjoint_product::DisjointProduct
• transparent::eq_ind::EqIndPartialEval
• transparent::multilinear_extension::MultilinearExtensionTransparent
• transparent::powers::Powers
• transparent::select_row::SelectRow
• transparent::serialization::DeserializerEntry
• transparent::shift_ind::ShiftIndPartialEval
• transparent::step_down::StepDown
• transparent::step_up::StepUp
• transparent::tower_basis::TowerBasis
• witness::IndexEntry
• witness::MultilinearExtensionIndex

Enums

• composition::index::FixedDimIndexCompositions
• constraint_system::TableSizeSpec
• constraint_system::channel::FlushDirection
• constraint_system::channel::OracleOrConst
• constraint_system::error::Error
• constraint_system::error::VerificationError
• fiat_shamir::HasherChallenger
• oracle::ConstraintPredicate
• oracle::Error
• oracle::MultilinearPolyVariant
• oracle::ProjectionVariant
• oracle::ShiftVariant
• oracle::SymbolicMultilinearPolyVariant
• piop::Error
• piop::VerificationError
• polynomial::Error
• protocols::evalcheck::Error
• protocols::evalcheck::EvalcheckHint
• protocols::evalcheck::VerificationError
• protocols::fri::Error
• protocols::fri::FoldRoundOutput
• protocols::fri::VerificationError
• protocols::gkr_exp::Error
• protocols::gkr_gpa::Error
• protocols::greedy_evalcheck::Error
• protocols::prodcheck::Error
• protocols::sumcheck::ConcreteClaim
• protocols::sumcheck::Error
• protocols::sumcheck::VerificationError
• protocols::sumcheck::eq_ind::ClaimsSortingOrder
• protocols::sumcheck::v3::bivariate_product::PhaseState
• protocols::sumcheck::v3::bivariate_product::SumcheckMultilinear
• reed_solomon::Error
• ring_switch::Error
• ring_switch::VerificationError
• transcript::Error
• witness::Error

Traits

• fiat_shamir::CanSample
• fiat_shamir::CanSampleBits
• fiat_shamir::Challenger
• merkle_tree::MerkleTreeProver
• merkle_tree::MerkleTreeScheme
• polynomial::MultivariatePoly
• protocols::sumcheck::prove::SumcheckProver
• protocols::sumcheck::prove::ZerocheckProver
• protocols::sumcheck::prove::prover_state::SumcheckInterpolator

Functions

• composition::index::index_composition
• constraint_system::channel::validate_witness
• constraint_system::exp::make_claims
• constraint_system::exp::make_eval_claims
• constraint_system::exp::make_exp_witnesses
• constraint_system::exp::max_n_vars
• constraint_system::exp::reorder_exponents
• constraint_system::prove
• constraint_system::validate::nonzerocheck::validate_witness
• constraint_system::validate::validate_virtual_oracle_witness
• constraint_system::validate::validate_witness
• constraint_system::verify
• merkle_tree::build
• merkle_tree::build_from_iterator
• piop::commit
• piop::commit::collect_committed_witnesses
• piop::commit::make_oracle_commit_meta
• piop::make_commit_params_with_optimal_arity
• piop::prove
• piop::validate_sumcheck_witness
• piop::verify
• polynomial::composition_hash
• protocols::evalcheck::deserialize_evalcheck_proof
• protocols::evalcheck::serialize_evalcheck_proof
• protocols::evalcheck::subclaims::add_bivariate_sumcheck_to_constraints
• protocols::evalcheck::subclaims::add_composite_sumcheck_to_constraints
• protocols::evalcheck::subclaims::collect_projected_mles
• protocols::evalcheck::subclaims::packed_sumcheck_meta
• protocols::evalcheck::subclaims::process_packed_sumcheck
• protocols::evalcheck::subclaims::process_shifted_sumcheck
• protocols::evalcheck::subclaims::prove_bivariate_sumchecks_with_switchover
• protocols::evalcheck::subclaims::prove_mlecheck_with_switchover
• protocols::evalcheck::subclaims::shifted_sumcheck_meta
• protocols::evalcheck::subclaims::try_build_partial_eval
• protocols::fri::calculate_n_test_queries
• protocols::fri::commit_interleaved
• protocols::fri::commit_interleaved_with
• protocols::fri::estimate_optimal_arity
• protocols::fri::to_par_scalar_big_chunks
• protocols::fri::to_par_scalar_small_chunks
• protocols::gkr_exp::batch_prove
• protocols::gkr_exp::batch_verify
• protocols::gkr_exp::construct_gkr_exp_claims
• protocols::gkr_exp::get_evals_in_point_from_witnesses
• protocols::gkr_exp::make_eval_claims
• protocols::gkr_gpa::batch_prove
• protocols::gkr_gpa::batch_verify
• protocols::gkr_gpa::construct_grand_product_claims
• protocols::gkr_gpa::get_grand_products_from_witnesses
• protocols::gkr_gpa::make_eval_claims
• protocols::greedy_evalcheck::prove
• protocols::greedy_evalcheck::verify
• protocols::sumcheck::constraint_set_mlecheck_claim
• protocols::sumcheck::constraint_set_mlecheck_claims
• protocols::sumcheck::constraint_set_sumcheck_claim
• protocols::sumcheck::constraint_set_sumcheck_claims
• protocols::sumcheck::constraint_set_zerocheck_claim
• protocols::sumcheck::eq_ind::reduce_to_regular_sumchecks
• protocols::sumcheck::eq_ind::verify_sumcheck_outputs
• protocols::sumcheck::equal_n_vars_check
• protocols::sumcheck::immediate_switchover_heuristic
• protocols::sumcheck::make_eval_claims
• protocols::sumcheck::make_zerocheck_eval_claims
• protocols::sumcheck::prove::batch_prove
• protocols::sumcheck::prove::batch_prove_zerocheck
• protocols::sumcheck::prove::eq_ind::eq_ind_expand
• protocols::sumcheck::prove::eq_ind::validate_witness
• protocols::sumcheck::prove::oracles::constraint_set_mlecheck_prover
• protocols::sumcheck::prove::oracles::constraint_set_sumcheck_prover
• protocols::sumcheck::prove::oracles::constraint_set_zerocheck_prover
• protocols::sumcheck::prove::oracles::constraint_sets_mlecheck_prover_meta
• protocols::sumcheck::prove::oracles::constraint_sets_sumcheck_provers_metas
• protocols::sumcheck::prove::oracles::split_constraint_set
• protocols::sumcheck::prove::regular_sumcheck::validate_witness
• protocols::sumcheck::prove::univariate::zerocheck_univariate_evals
• protocols::sumcheck::prove::zerocheck::high_pad_small_multilinear
• protocols::sumcheck::prove::zerocheck::validate_witness
• protocols::sumcheck::standard_switchover_heuristic
• protocols::sumcheck::v3::bivariate_product::calculate_round_evals
• protocols::sumcheck::verify_sumcheck::batch_verify
• protocols::sumcheck::verify_sumcheck::compute_expected_batch_composite_evaluation_single_claim
• protocols::sumcheck::verify_sumcheck::interpolate_round_proof
• protocols::sumcheck::verify_zerocheck::batch_verify
• protocols::sumcheck::verify_zerocheck::domain_size
• protocols::sumcheck::verify_zerocheck::extrapolated_scalars_count
• protocols::sumcheck::zerocheck::domain_size
• protocols::sumcheck::zerocheck::extrapolated_scalars_count
• protocols::sumcheck::zerocheck::reduce_to_eq_ind_sumchecks
• protocols::sumcheck::zerocheck::univariatizing_reduction_claim
• protocols::sumcheck::zerocheck::verify_reduction_sumcheck_output
• ring_switch::prove
• ring_switch::verify
• transcript::read_u64
• transcript::write_u64

Type Aliases

• composition::product_composition::BivariateProduct
• composition::product_composition::TrivariateProduct
• constraint_system::TableId
• constraint_system::channel::ChannelId
• oracle::TypeErasedComposition
• protocols::fri::TerminateCodeword
• protocols::sumcheck::prove::oracles::OracleMLECheckProver
• protocols::sumcheck::prove::oracles::OracleSumcheckProver
• protocols::sumcheck::prove::oracles::OracleZerocheckProver
• protocols::sumcheck::prove::univariate::Prover
• witness::MultilinearWitness