binius_core::protocols::v2::evalcheck_v2::subclaims

Function make_non_same_query_pcs_sumcheck_claims

source 
pub fn make_non_same_query_pcs_sumcheck_claims<F>(
    verifier: &mut EvalcheckVerifier<'_, F>,
    committed_eval_claims: &[CommittedEvalClaim<F>],
) -> Result<ConstraintSet<F>, Error>
where
    F: TowerField,