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>,
eq_ind_memo: Option<&mut MemoizedTransparentPolynomials<Vec<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.