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>],
)
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>],
)