Crate air_ir

Modules

• passes

Structs

• Air
  The intermediate representation of a complete AirScript program
• AlgebraicGraph
  The AlgebraicGraph is a directed acyclic graph used to represent integrity constraints. To store it compactly, it is represented as a vector of nodes where each node references other nodes by their index in the vector.
• ConstraintRoot
  A ConstraintRoot represents the entry node of a subgraph within the AlgebraicGraph representing a constraint. It also contains the ConstraintDomain for the constraint, which is the domain against which the constraint should be applied.
• Constraints
  Constraints is the algebraic graph representation of all the constraints in an [AirScript]. The graph contains all of the constraints, each of which is a subgraph consisting of all the expressions involved in evaluating the constraint, including constants, references to the trace, public inputs, random values, and periodic columns.
• Identifier
  Represents any type of identifier in AirScript
• IntegrityConstraintDegree
  Degree descriptor of an integrity constraint.
• Node
  A node in the AlgebraicGraph
• NodeIndex
  A unique identifier for a node in an AlgebraicGraph
• PeriodicColumn
  Declaration of a periodic column in an AirScript module.
• PeriodicColumnAccess
  Represents an access of a PeriodicColumn, similar in nature to TraceAccess
• PublicInput
  Declaration of a public input for an AirScript program.
• PublicInputAccess
  Represents an access of a PublicInput, similar in nature to TraceAccess
• QualifiedIdentifier
  Represents an identifier qualified with both its parent module and namespace.
• Symbol
  A symbol is an interned string.
• TraceAccess
  TraceAccess is like [SymbolAccess], but is used to describe an access to a specific trace column or columns.

Enums

• AccessType
  Represents the way an identifier is accessed/referenced in the source.
• Boundary
  Describes the type of boundary in the boundary constraint.
• CompileError
• ConstraintDomain
  ConstraintDomain corresponds to the domain over which a constraint is applied.
• ConstraintError
• Operation
  Operation defines the various node types represented in the AlgebraicGraph.
• Value
  Represents a scalar value in the AlgebraicGraph

Constants

• AUX_SEGMENT
  The auxiliary trace segment.
• CURRENT_ROW
  The offset of the “current” row during constraint evaluation.
• DEFAULT_SEGMENT
  The default segment against which a constraint is applied is the main trace segment.
• MIN_CYCLE_LENGTH
  The minimum cycle length of a periodic column

Traits

• CodeGenerator
  This trait should be implemented on types which handle generating code from AirScript IR

Type Definitions

• TraceSegmentId
  The id of a trace segment is its index in the trace_columns declaration