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

Function split_constraint_set

Source 
pub fn split_constraint_set<'a, U, F, FW>(
    constraint_set: ConstraintSet<F>,
    witness: &MultilinearExtensionIndex<'a, U, FW>,
) -> Result<(Vec<Constraint<F>>, Vec<MultilinearWitness<'a, PackedType<U, FW>>>), Error>
where
    U: UnderlierType + PackScalar<F> + PackScalar<FW>,
    F: Field,
    FW: ExtensionField<F>,