Expand description
APIs for AIRs, and generalizations like PAIRs.
Modules§
- utils
- A collection of utility functions helpful in defining AIRs.
Structs§
- Filtered
AirBuilder - A wrapper around an
AirBuilderthat enforces constraints only when a specified condition is met. - Virtual
Pair Col - An affine linear combination of columns in a PAIR (Preprocessed AIR).
Enums§
- PairCol
- A reference to a column in a PAIR (Preprocessed AIR).
Traits§
- Air
- An algebraic intermediate representation (AIR) definition.
- AirBuilder
- A builder which contains both a trace on which AIR constraints can be evaluated as well as a method of accumulating the AIR constraint evaluations.
- AirBuilder
With Public Values - Extension trait for
AirBuilderproviding access to public values. - BaseAir
- The underlying structure of an AIR.
- Base
AirWith Public Values - An extension of
BaseAirthat includes support for public values. - Extension
Builder - Extension of
AirBuilderfor working over extension fields. - Pair
Builder - Trait for
AirBuildervariants that include preprocessed data columns. - Permutation
AirBuilder - Trait for builders supporting permutation arguments (e.g., for lookup constraints).