pub fn check_logup<F: Field>( air_names: &[String], interactions: &[&[SymbolicInteraction<F>]], preprocessed: &[Option<RowMajorMatrixView<'_, F>>], partitioned_main: &[Vec<RowMajorMatrixView<'_, F>>], public_values: &[Vec<F>], )