Skip to main content Crate hekate_program Copy item path Source chiplet Independent AIR Chiplet definitions. circuit Single-pass program authoring. constraint SYMBOLIC CONSTRAINTS DEFINITION digest expander linearized F₂-linear maps on GF(2^128) as linearized polynomials
Σ_j μ_j x^{2^j}, and the outer-statement gadget that
proves Σ_c a_c φ(h_c) on committed pad entries with
a Frobenius-Horner chain of 127 squarings. outer permutation predicate schema Typed Column Schema. define_columns Define a typed column schema. CadenceSegment 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.
LastRow is one on every row but the last. 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}).