Structs§
- Filtered
AirBuilder - Virtual
Pair Col - An affine function over columns in a PAIR.
Enums§
- PairCol
- A column in a PAIR, i.e. either a preprocessed column or a main trace column.
Traits§
- Air
- An AIR that works with a particular
AirBuilder. - AirBuilder
- AirBuilder
With Public Values - BaseAir
- An AIR (algebraic intermediate representation).
- Extension
Builder - Pair
Builder - Permutation
AirBuilder