Module binius_core::protocols::evalcheck::subclaims

This module contains helpers to create bivariate sumcheck instances originating from:

• products with shift indicators (shifted virtual polynomials)
• products with tower basis (packed virtual polynomials)
• products with equality indicator (CommittedEvalClaim)

All of them have common traits:

• they are always a product of two multilins (composition polynomial is BivariateProduct)
• one multilin (the multiplier) is transparent (shift_ind, eq_ind, or tower basis)
• other multilin is a projection of one of the evalcheck claim multilins to its first variables

Structs

• MemoizedQueries
• NonSameQueryPcsClaimMeta
• ProjectedBivariateMeta

Functions

• non_same_query_pcs_sumcheck_claim
• non_same_query_pcs_sumcheck_metas
  Create sumchecks for committed evalcheck claims on differing eval points.
• non_same_query_pcs_sumcheck_witness
• packed_sumcheck_meta
  Create oracles for the bivariate product of an inner oracle with the tower basis.
• packed_sumcheck_witness
  Takes in metadata object and creates a witness for a bivariate claim on tower basis.
• projected_bivariate_claim
  Take in projected bivariate metadata and produce a sumcheck claim.
• shifted_sumcheck_meta
  Create oracles for the bivariate product of an inner oracle with shift indicator.
• shifted_sumcheck_witness
  Takes in metadata object and creates a witness for a bivariate claim on shift indicator.

Type Aliases

• BivariateSumcheck
• BivariateSumcheckWitness
• MemoizedTransparentPolynomials