binius_core::constraint_system::validate

Function validate_witness

Source 
pub fn validate_witness<U, F>(
    constraint_system: &ConstraintSystem<F>,
    boundaries: &[Boundary<F>],
    witness: &MultilinearExtensionIndex<'_, U, F>,
) -> Result<(), Error>
where
    U: UnderlierType + PackScalar<F> + PackScalar<BinaryField1b>,
    F: TowerField,