binius_core::protocols::sumcheck::prove::oracles

Function split_constraint_set

Source 
pub fn split_constraint_set<'a, F, P>(
    constraint_set: SizedConstraintSet<F>,
    witness: &MultilinearExtensionIndex<'a, P>,
) -> Result<(Vec<Constraint<F>>, Vec<MultilinearWitness<'a, P>>), Error>
where
    F: Field,
    P: PackedField,
    P::Scalar: ExtensionField<F>,