Module binius_core::protocols::evalcheck::subclaims
source · Expand description
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§
Functions§
- Create sumchecks for committed evalcheck claims on differing eval points.
- Create oracles for the bivariate product of an inner oracle with the tower basis.
- Takes in metadata object and creates a witness for a bivariate claim on tower basis.
- Take in projected bivariate metadata and produce a sumcheck claim.
- Create oracles for the bivariate product of an inner oracle with shift indicator.
- Takes in metadata object and creates a witness for a bivariate claim on shift indicator.