Expand description
Symbolic constraint expressions with row-relative addressing.
AirExpr<F> mirrors plonkish-cat’s Expression
but uses ColumnRef (current row / next row) instead of absolute
Wire indices. Constraints built from
AirExpr must evaluate to zero at every consecutive row pair
in the execution trace.
Enums§
- AirExpr
- A symbolic polynomial expression over row-relative column references.