binius_core::protocols::evalcheck::subclaims

Function add_bivariate_sumcheck_to_constraints

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