Note on Language
We use slightly different language than others to describe PLONK concepts. Here's the overview:
- We like to think of PLONK-like arguments as tables, where each column corresponds to a "wire". We refer to entries in this table as "cells".
- We like to call "selector polynomials" and so on "fixed columns" instead. We then refer specifically to a "selector constraint" when a cell in a fixed column is being used to control whether a particular constraint is enabled in that row.
- We call the other polynomials "advice columns" usually, when they're populated by the prover.
- We use the term "rule" to refer to a "gate" like
- TODO: Check how consistent we are with this, and update the code and docs to match.