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::ProofGenericPCS
• constraint_system::channel::Boundary
• constraint_system::channel::Flush
• merkle_tree::MerkleCap
• merkle_tree::MerkleTree
• merkle_tree_vcs::BinaryMerkleTree
• merkle_tree_vcs::BinaryMerkleTreeProver
• merkle_tree_vcs::BinaryMerkleTreeScheme
• merkle_tree_vcs::Commitment
• 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
• polynomial::arith_circuit::ArithCircuitPoly
• polynomial::cached::CachedPoly
• polynomial::multivariate::CompositionScalarAdapter
• polynomial::multivariate::IdentityCompositionPoly
• polynomial::multivariate::MultilinearComposite
• protocols::evalcheck::BatchCommittedEvalClaims
• protocols::evalcheck::CommittedEvalClaim
• 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::FRIProof
• 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_gpa::LayerClaim
• protocols::greedy_evalcheck::GreedyEvalcheckProof
• protocols::greedy_evalcheck::GreedyEvalcheckProveOutput
• protocols::sumcheck::BatchSumcheckOutput
• protocols::sumcheck::CompositeSumClaim
• protocols::sumcheck::OracleClaimMeta
• protocols::sumcheck::Proof
• protocols::sumcheck::RoundCoeffs
• protocols::sumcheck::RoundProof
• protocols::sumcheck::SumcheckClaim
• protocols::sumcheck::SumcheckClaimsWithMeta
• 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::UnivariateZerocheck
• protocols::sumcheck::prove::zerocheck::ZerocheckProver
• protocols::sumcheck::univariate::LagrangeRoundEvals
• protocols::sumcheck::univariate_zerocheck::BatchZerocheckUnivariateOutput
• protocols::sumcheck::univariate_zerocheck::ZerocheckUnivariateProof
• protocols::sumcheck::verify::BatchVerifyStart
• protocols::sumcheck::zerocheck::ExtraProduct
• protocols::sumcheck::zerocheck::ZerocheckClaim
• reed_solomon::reed_solomon::ReedSolomonCode
• tensor_algebra::TensorAlgebra
• tower::AESTowerFamily
• tower::CanonicalTowerFamily
• transcript::AdviceReader
• transcript::AdviceWriter
• transcript::Proof
• transcript::TranscriptReader
• transcript::TranscriptWriter
• transparent::constant::Constant
• transparent::disjoint_product::DisjointProduct
• transparent::eq_ind::EqIndPartialEval
• transparent::multilinear_extension::MultilinearExtensionTransparent
• transparent::powers::Powers
• transparent::ring_switch::RingSwitchEqInd
• transparent::select_row::SelectRow
• transparent::shift_ind::ShiftIndPartialEval
• transparent::step_down::StepDown
• transparent::tower_basis::TowerBasis
• witness::MultilinearExtensionIndex

Enums

• constraint_system::channel::FlushDirection
• constraint_system::error::Error
• constraint_system::error::VerificationError
• fiat_shamir::HasherChallenger
• 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
• polynomial::arith_circuit::Expr
• polynomial::error::Error
• 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::sumcheck::ConcreteClaim
• protocols::sumcheck::Error
• protocols::sumcheck::VerificationError
• protocols::sumcheck::prove::ConcreteProver
• transcript::Error
• witness::Error

Traits

• Step
• challenger::CanObserve
• challenger::CanSample
• challenger::CanSampleBits
• challenger::field_challenger::FieldChallengerHelper
• composition::mix::HornerCompositions
• fiat_shamir::Challenger
• linear_code::LinearCode
• merkle_tree_vcs::MerkleTreeProver
• merkle_tree_vcs::MerkleTreeScheme
• poly_commit::PolyCommitScheme
• polynomial::multivariate::MultivariatePoly
• protocols::sumcheck::prove::SumcheckProver
• protocols::sumcheck::prove::UnivariateZerocheckProver
• protocols::sumcheck::prove::prover_state::SumcheckInterpolator
• tower::PackedTop
• tower::TowerFamily
• tower::TowerUnderlier
• transcript::CanRead
• transcript::CanWrite

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::prove
• constraint_system::validate::nonzerocheck::validate_witness
• constraint_system::validate::validate_virtual_oracle_witness
• constraint_system::validate::validate_witness
• constraint_system::verify
• merkle_tree::slice_assume_init_mut
• merkle_tree_vcs::slice_assume_init_mut
• poly_commit::fri_pcs::estimate_optimal_arity
• polynomial::multivariate::composition_hash
• protocols::evalcheck::deserialize_evalcheck_proof
• protocols::evalcheck::serialize_evalcheck_proof
• protocols::evalcheck::subclaims::add_bivariate_sumcheck_to_constraints
• protocols::evalcheck::subclaims::make_non_same_query_pcs_sumcheck_claims
• protocols::evalcheck::subclaims::make_non_same_query_pcs_sumchecks
• protocols::evalcheck::subclaims::non_same_query_pcs_sumcheck_metas
• protocols::evalcheck::subclaims::packed_sumcheck_meta
• protocols::evalcheck::subclaims::process_non_same_query_pcs_sumcheck_witness
• protocols::evalcheck::subclaims::process_packed_sumcheck
• protocols::evalcheck::subclaims::process_shifted_sumcheck
• protocols::evalcheck::subclaims::prove_bivariate_sumchecks_with_switchover
• protocols::evalcheck::subclaims::shifted_sumcheck_meta
• protocols::fri::calculate_n_test_queries
• protocols::fri::commit_interleaved
• protocols::fri::fold_codeword
• protocols::fri::to_par_scalar_big_chunks
• protocols::fri::to_par_scalar_small_chunks
• 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::sumcheck::batch_weighted_value
• protocols::sumcheck::constraint_set_sumcheck_claim
• protocols::sumcheck::constraint_set_sumcheck_claims
• protocols::sumcheck::constraint_set_zerocheck_claim
• protocols::sumcheck::determine_switchovers
• protocols::sumcheck::equal_n_vars_check
• protocols::sumcheck::immediate_switchover_heuristic
• protocols::sumcheck::make_eval_claims
• protocols::sumcheck::prove::batch_prove
• protocols::sumcheck::prove::batch_prove_with_start
• protocols::sumcheck::prove::batch_prove_zerocheck_univariate_round
• protocols::sumcheck::prove::oracles::constraint_set_sumcheck_prover
• protocols::sumcheck::prove::oracles::constraint_set_zerocheck_prover
• protocols::sumcheck::prove::oracles::constraint_sets_sumcheck_provers_metas
• protocols::sumcheck::prove::regular_sumcheck::validate_witness
• protocols::sumcheck::prove::univariate::reduce_to_skipped_projection
• protocols::sumcheck::prove::univariate::univariatizing_reduction_prover
• protocols::sumcheck::prove::univariate::zerocheck_univariate_evals
• protocols::sumcheck::prove::zerocheck::validate_witness
• protocols::sumcheck::small_field_embedding_degree_check
• protocols::sumcheck::standard_switchover_heuristic
• protocols::sumcheck::univariate::univariatizing_reduction_claim
• protocols::sumcheck::univariate::verify_sumcheck_outputs
• protocols::sumcheck::univariate_zerocheck::batch_verify_zerocheck_univariate_round
• protocols::sumcheck::univariate_zerocheck::domain_size
• protocols::sumcheck::univariate_zerocheck::extrapolated_scalars_count
• protocols::sumcheck::verify::batch_verify
• protocols::sumcheck::verify::batch_verify_with_start
• protocols::sumcheck::verify::interpolate_round_proof
• protocols::sumcheck::zerocheck::reduce_to_sumchecks
• protocols::sumcheck::zerocheck::verify_sumcheck_outputs
• transcript::read_u64
• transcript::write_u64

Type Aliases

• composition::product_composition::BivariateProduct
• composition::product_composition::TrivariateProduct
• constraint_system::Proof
• constraint_system::channel::ChannelId
• oracle::BatchId
• oracle::OracleId
• oracle::TypeErasedComposition
• protocols::fri::QueryProof
• protocols::fri::TerminateCodeword
• protocols::sumcheck::prove::oracles::OracleSumcheckProver
• protocols::sumcheck::prove::oracles::OracleZerocheckProver
• protocols::sumcheck::prove::univariate::Prover
• witness::MultilinearWitness