Expand description
APIs for AIRs, and generalizations like PAIRs.
Re-exports§
pub use symbolic::*;
Modules§
- symbolic
- Symbolic expression types for AIR constraint representation.
- utils
- A collection of utility functions helpful in defining AIRs.
Structs§
- Constraint
Failure - A single constraint violation captured during debug evaluation.
- Debug
Constraint Builder - Debug-mode constraint builder that evaluates an AIR over concrete field values and collects every violation rather than panicking immediately.
- Filtered
AirBuilder - A wrapper around an
AirBuilderthat enforces constraints only when a specified condition is met. - RowWindow
- A lightweight two-row window into a trace matrix.
- 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 Context - Extension trait for builders that carry additional runtime context.
- BaseAir
- The underlying structure of an AIR.
- Extension
Builder - Extension of
AirBuilderfor working over extension fields. - Periodic
AirBuilder - Extension of
AirBuilderfor builders that supply periodic column values. - Permutation
AirBuilder - Trait for builders supporting permutation arguments (e.g., for lookup constraints).
- Window
Access - Read access to a pair of trace rows (typically current and next).
Functions§
- check_
constraints - Evaluate every AIR constraint against a concrete trace and panic on failure.