Skip to main content Crate hekate_program Copy item path Source chiplet Independent AIR Chiplet definitions. constraint SYMBOLIC CONSTRAINTS DEFINITION expander permutation schema Typed Column Schema. define_columns Define a typed column schema. FixedColumn One committed column pinned to a fixed shape. InlineKernelHint Locates a chiplet’s inlined sub-AST in
the program’s merged constraint_ast()
so the prover can dispatch its kernel. ProgramCell Represents a reference to a trace cell within
the program’s execution trace. Points to a specific
column and relative row offset (current or next). ProgramInstance Public Instance (Common inputs)
of the program execution. ProgramWitness Secret Witness (The Execution Trace) of the program.
Holds the trace data. Generic over T to support both
raw ColumnTrace and specialized wrappers. FixedShape Row-index-determined shape a fixed column is
pinned to. FirstRow/LastRow/Custom are
single-row indicators; Periodic/Sparse/Dense
are arbitrary row-indexed patterns. Air Defines the algebraic structure, trace
layout, and constraints of an AIR table. Program Extends Air<F> with multi-table composition:
independent chiplets, GKR gadgets, and public inputs. fix Declares a fixed column from a shape. validate_fixed_columns Rejects out-of-range col_idx, duplicate pins,
malformed shapes, and out-of-domain values
(Bit columns require values in {0, 1}).