Crate hekate_program 

The circuit DSL of Hekate, the Rust zero-knowledge proof engine.

A circuit::Circuit declares a table’s columns with define_columns!, relates its rows with constraints, pins cells and fixed columns, publishes public inputs and calls chiplets over LogUp buses. It compiles into a Program: the prover runs it on a ProgramWitness, and the verifier checks it against a ProgramInstance. digest::program_id hashes the program for the verifier to pin.

• Your First ZK Program
• AIR Constraints
• LogUp Buses
• Cryptographic Chiplets

Modules

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.

Macros

define_columns

Define a typed column schema.

Structs

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.

ShapeEvaluator

One table’s fixed shapes at one point, sharing residue sums and eq tables across the shapes.

Enums

FixedShape

Row-index-determined shape a fixed column is pinned to. LastRow is one on every row but the last.

Traits

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.

Functions

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}).