Function validate_witness

pub fn validate_witness<F, P>(
    witness: &MultilinearExtensionIndex<'_, P>,
    flushes: &[Flush<F>],
    boundaries: &[Boundary<F>],
    channel_count: usize,
) -> Result<(), Error>
where
    P: PackedField<Scalar = F>,
    F: TowerField,