binius_core::protocols::evalcheck::subclaims

Function add_bivariate_sumcheck_to_constraints

source 
pub fn add_bivariate_sumcheck_to_constraints<F: Field>(
    meta: ProjectedBivariateMeta,
    constraint_builders: &mut Vec<ConstraintSetBuilder<F>>,
    n_vars: usize,
    eval: F,
)