binius_core::protocols::evalcheck::subclaims

Function non_same_query_pcs_sumcheck_metas

source 
pub fn non_same_query_pcs_sumcheck_metas<F: TowerField>(
    oracles: &mut MultilinearOracleSet<F>,
    committed_eval_claims: &[CommittedEvalClaim<F>],
    new_batch_committed_eval_claims: &mut BatchCommittedEvalClaims<F>,
) -> Result<Vec<NonSameQueryPcsClaimMeta<F>>, Error>
Expand description

Create sumchecks for committed evalcheck claims on differing eval points.

Each sumcheck instance is bivariate product of a column projection and equality indicator. Common suffix is optimized out, degenerate zero variable sumchecks are not emitted, and PCS claims are inserted directly into BatchCommittedEvalClaims instead.