binius_core::constraint_system::validate

Function validate_witness

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