List of all items

Structs

• Claim
• constraints::Constraint
• constraints::statement::eq::EqStatement
• constraints::statement::select::SelectStatement
• data::SumcheckData
• layout::LayoutStrategy
• layout::MultiClaim
• layout::Opening
• layout::PrefixProver
• layout::Selector
• layout::SuffixProver
• layout::Table
• layout::TablePlacement
• layout::Verifier
• layout::Witness
• product_polynomial::ProductPolynomial
• strategy::SumcheckProver
• svo::SvoPoint
• table::OpeningProtocol
• table::TableShape
• table::TableSpec
• zk::data::ZkSumcheckData
• zk::data::ZkSumcheckHandoff
• zk::data::ZkVerifierHandoff
• zk::prover::ZkProver
• zk::verifier::ZkVerifier

Enums

• error::SumcheckError
• strategy::VariableOrder

Traits

• layout::Layout
• zk::prover::ZkLayout

Functions

• commit::commit_base
• data::verify_final_sumcheck_rounds
• lagrange::extrapolate_01inf
• lagrange::lagrange_weights_01inf_multi
• strategy::sumcheck_coefficients_prefix
• strategy::sumcheck_coefficients_suffix
• zk::data::mask_residual
• zk::data::mask_residual_covectors
• zk::data::mask_residual_covectors_from_shape
• zk::prover::stack_codewords
• zk::simulator::simulate_classic_unpacked

Type Aliases

• layout::ProverMultiClaim
• layout::ProverVirtualClaim
• layout::VerifierMultiClaim
• layout::VerifierOpening
• layout::VerifierVirtualClaim
• table::PointSchedule
• zk::data::MaskOracle
• zk::prover::ZkPrefixProver
• zk::prover::ZkSuffixProver