List of all items
Structs
- composition::index::IndexComposition
- composition::mix::MixComposition
- composition::product_composition::ProductComposition
- constraint_system::ConstraintSystem
- constraint_system::Proof
- 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::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::GrandProductBatchProveOutput
- protocols::gkr_gpa::GrandProductClaim
- protocols::gkr_gpa::GrandProductWitness
- protocols::gkr_gpa::LayerClaim
- 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::front_loaded::BatchVerifier
- protocols::sumcheck::prove::front_loaded::BatchProver
- 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::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::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
- composition::mix::HornerCompositions
- fiat_shamir::Challenger
- fiat_shamir::sampling::CanSample
- fiat_shamir::sampling::CanSampleBits
- 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
- 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::compute_expected_batch_composite_evaluation_single_claim
- 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::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