Glossary
- size = number of rows
- columns = number of variables per rows
- cell = a pair (row, column)
- witness = the values assigned in all the cells
- gate = polynomials that act on the variables in a row
- selector vector = a vector of values 1 or 0 (not true for constant vector I think) that toggles gates and variables in a row
- gadget = a series of contiguous rows with some specific gates set (via selector vectors)