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

Function split_constraint_set

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