Expand description
The Air trait: the core abstraction for algebraic intermediate representations.
An Air defines a set of columns and transition constraints
that must hold at every consecutive row pair of an execution trace.
This is the STARK analog of a plonkish-cat gate, operating on
trace tables rather than individual wires.
Traitsยง
- Air
- An Algebraic Intermediate Representation.