Module 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

• add_bivariate_sumcheck_to_constraints
• make_non_same_query_pcs_sumcheck_claims
• make_non_same_query_pcs_sumchecks
• non_same_query_pcs_sumcheck_metas
  Create sumchecks for committed evalcheck claims on differing eval points.
• packed_sumcheck_meta
  Create oracles for the bivariate product of an inner oracle with the tower basis.
• process_non_same_query_pcs_sumcheck_witness
• process_packed_sumcheck
  Creates bivariate witness and adds them to the witness index, and add bivariate sumcheck constraint to the ConstraintSetBuilder
• process_shifted_sumcheck
  Creates bivariate witness and adds them to the witness index, and add bivariate sumcheck constraint to the ConstraintSetBuilder
• prove_bivariate_sumchecks_with_switchover
• shifted_sumcheck_meta
  Create oracles for the bivariate product of an inner oracle with shift indicator.