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)