binius_core::protocols::evalcheck::subclaims

Function add_composite_sumcheck_to_constraints

Source 
pub fn add_composite_sumcheck_to_constraints<F: TowerField>(
    position: usize,
    eval_point: &EvalPoint<F>,
    constraint_builders: &mut Vec<(EvalPoint<F>, ConstraintSetBuilder<F>)>,
    comp: &CompositeMLE<F>,
    eval: F,
)