binius_core::protocols::evalcheck::subclaims

Function make_non_same_query_pcs_sumchecks

source
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>