binius_core::protocols::evalcheck::subclaims

Function add_composite_sumcheck_to_constraints

Source 
pub fn add_composite_sumcheck_to_constraints<F: TowerField>(
    meta: ProjectedBivariateMeta,
    constraint_builders: &mut Vec<ConstraintSetBuilder<F>>,
    comp: &CompositeMLE<F>,
    eval: F,
)