Expand description
APIs for AIRs, and generalizations like PAIRs.
Modules§
- utils
- A collection of utility functions helpful in defining AIR’s.
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).
- Base
AirWith Public Values - An AIR with 0 or more public values.
- Extension
Builder - Pair
Builder - Permutation
AirBuilder