pub fn make_non_same_query_pcs_sumchecks<U, F, Backend>(
prover: &mut EvalcheckProver<'_, '_, U, F, Backend>,
committed_eval_claims: &[CommittedEvalClaim<F>],
backend: &Backend,
) -> Result<ConstraintSet<F>, Error>
pub fn make_non_same_query_pcs_sumchecks<U, F, Backend>(
prover: &mut EvalcheckProver<'_, '_, U, F, Backend>,
committed_eval_claims: &[CommittedEvalClaim<F>],
backend: &Backend,
) -> Result<ConstraintSet<F>, Error>