List of all items

Structs

• combined_poly_resolver::CombinedPolyResolver
• combined_poly_resolver::CprProverAncillary
• combined_poly_resolver::CprVerifierAncillary
• combined_poly_resolver::Proof
• combined_poly_resolver::ProverState
• combined_poly_resolver::VerifierSubclaim
• ideal_check::Proof
• ideal_check::ProverState
• ideal_check::VerifierSubclaim
• lookup::structs::BatchedDecompLogupProof
• lookup::structs::BatchedLookupProof
• lookup::structs::LookupGroup
• lookup::structs::LookupGroupMeta
• multipoint_eval::MultipointEval
• multipoint_eval::Proof
• multipoint_eval::ProverState
• multipoint_eval::Subclaim
• random_field_sumcheck::RFProverState
• random_field_sumcheck::RFSumcheck
• random_field_sumcheck::RFSumcheckProof
• sumcheck::MLSumcheck
• sumcheck::SumcheckProof
• sumcheck::multi_degree::MultiDegreeSubClaims
• sumcheck::multi_degree::MultiDegreeSumcheck
• sumcheck::multi_degree::MultiDegreeSumcheckGroup
• sumcheck::multi_degree::MultiDegreeSumcheckProof
• sumcheck::prover::NatEvaluatedPolyWithoutConstant
• sumcheck::prover::ProverMsg
• sumcheck::prover::ProverState
• sumcheck::verifier::Subclaim
• sumcheck::verifier::VerifierState

Enums

• combined_poly_resolver::CombinedPolyResolverError
• ideal_check::IdealCheckError
• lookup::structs::LookupError
• lookup::structs::LookupWitnessSource
• multipoint_eval::MultipointEvalError
• projections::ProjectedTrace
• random_field_sumcheck::RFSumcheckError
• sumcheck::SumCheckError

Traits

• ideal_check::IdealCheckProtocol

Functions

• lookup::structs::group_lookup_specs
• projections::evaluate_trace_to_column_mles
• projections::project_scalars
• projections::project_scalars_to_field
• projections::project_trace_coeffs_column_major
• projections::project_trace_coeffs_row_major
• shift_predicate::eval_shift_predicate

Type Aliases

• CombFn
• projections::ColumnMajorTrace
• projections::RowMajorTrace

Constants

• sumcheck::verifier::SQUEEZE_NATIVE_ELEMENTS_NUM