Crate air_ir

source ·



Internal representation of an AIR.
Identifier is used to represent variable names.
Reference to a node in a graph by its index in the nodes vector of the graph struct.
Declaration of a public input for an AIR. Public inputs are represented by a named identifier which is used to identify a fixed size array of length size.
Degree descriptor of a transition constraint.


Arithmetic expressions for evaluation of boundary constraints.

Type Definitions