Kimchi_backend_common.Constants
val columns : int
number of witness
val permutation_cols : int
number of columns that take part in the permutation