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<PackedType<U, F>>, Error>
where
    U: UnderlierType + PackScalar<F>,
    F: TowerField,
    Backend: ComputationBackend,