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. InlineKernelHint Locates a chiplet’s inlined sub-AST in
the program’s merged constraint_ast()
so the prover can dispatch its kernel. LagrangePin Single binding:
one virtual column pinned to a Lagrange MLE. 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. LagrangePoint Hypercube point at which a Lagrange MLE is anchored. 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. validate_lagrange_pins Rejects out-of-range col_idx, mis-sized Custom
bit vectors, and duplicate pins on the same column
(a column anchored to two distinct points is unsatisfiable).