A cell identifies a position in the plonkish matrix identified by a column and a row offset.
A challenge squeezed from transcript after advice columns at the phase have been committed.
A column with an index and type
This is a description of a low level Plonkish compiled circuit. Contains the Constraint System
as well as the fixed columns and copy constraints information.
This is a description of the circuit environment, such as the gate, column and
permutation arrangements.
A Gate contains a single polynomial identity with a name as metadata.
Data that needs to be preprocessed from a circuit