Crate miden_air 

Modules

ace

ACE circuit integration for the Miden multi-AIR proof.

config

STARK configuration factories for different hash functions.

debug

Debug helpers for lifted AIRs.

logup

Miden VM-specific LogUp lookup argument: bus identifiers and bus message types.

lookup

Generic traits and adapters for LogUp lookup arguments.

trace

Structs

AceCols

ACE chiplet columns (16 columns), viewed from chiplets[4..20].

AceEvalCols

EVAL mode overlay for ACE mode-dependent columns (4 columns).

AceReadCols

READ mode overlay for ACE mode-dependent columns (4 columns).

BitwiseCols

Bitwise chiplet columns (13 columns), viewed from chiplets[2..15].

ChipletCols

Column layout of the chiplets execution trace.

ChipletsAir

Chiplets trace AIR.

ConstraintDegrees

Symbolic constraint degree multiples, split by constraint kind.

ControllerCols

Controller chiplet columns.

CoreAir

Core trace AIR.

CoreCols

Column layout of the core execution trace.

DecoderCols

Decoder columns in the main execution trace (24 columns).

Felt

A Felt backed by Plonky3’s Goldilocks field element.

HandwrittenMidenAir

MidenAir with eval routed to the hand-written constraint definitions.

KernelRomCols

Kernel ROM chiplet columns (5 columns), viewed from chiplets[5..10].

MemoryCols

Memory chiplet columns (15 columns), viewed from chiplets[3..18].

MidenMultiAir

The cross-AIR statement for the Miden VM proof.

Poseidon2PermutationAir

Poseidon2 permutation trace AIR.

Poseidon2PermutationCols

Poseidon2 permutation trace columns.

Poseidon2PermutationPeriodicCols

Poseidon2 permutation periodic columns.

ProofOrder

Proof-order AIR permutation.

ProverStatement

A Statement plus per-AIR main traces.

PublicInputs

QuadFeltExpr

Quadratic extension element represented as (c0 + c1 * u).

RangeCols

Range check columns in the main execution trace (2 columns).

StackCols

Stack columns in the main execution trace (19 columns).

Statement

Validated per-proof inputs over a MultiAir: air_inputs and aux_inputs.

SystemCols

System columns in the main execution trace (6 columns).

Enums

DeserializationError

Defines errors which can occur during deserialization.

MidenAir

AIR instance identifier for the Miden multi-AIR statement.

Constants

AIRS

Supported AIRs in instance order.

CYCLE_INPUT_ROW

First row of a 16-row cycle; holds the input state.

CYCLE_OUTPUT_ROW

Output row of a 16-row cycle.

INITIAL_EXTERNAL_ROUND_END

Exclusive end of the initial-external rows.

INITIAL_EXTERNAL_ROUND_START

First initial-external row after the cycle input row.

INTERNAL_PLUS_EXTERNAL_ROW

Row containing the final internal round and the first terminal external round.

LAST_INTERNAL_ROUND_ARK_IDX

Index of the final internal-round constant.

LOGUP_AUX_TRACE_WIDTH

LogUp aux trace width: 4 core columns + 3 chiplet columns + 1 Poseidon2 column.

MIDEN_AIR_COUNT

NUM_PACKED_INTERNAL_ROUND_ROWS

Number of rows with three packed internal rounds.

NUM_PUBLIC_VALUES

Number of public values read by the Miden VM AIRs: the air_inputs shared by every AIR.

NUM_SBOX_WITNESSES

Row-scheduled witness columns used by the permutation AIR.

NUM_TRAILING_EXTERNAL_ROUND_ROWS

Number of terminal-external rows after INTERNAL_PLUS_EXTERNAL_ROW.

PACKED_INTERNAL_ROUND_START

First row containing packed internal rounds.

PROOF_ORDER_COUNT

Number of possible proof-order permutations.

PROOF_ORDER_REGISTRY_DEPTH

Smallest Merkle tree depth covering every proof-order tag.

Traits

AirBuilder

A builder which contains both a trace on which AIR constraints can be evaluated as well as a method of accumulating the AIR constraint evaluations.

BaseAir

The underlying structure of an AIR.

ByteReader

Defines how primitive values are to be read from Self.

ByteWriter

Defines how primitive values are to be written into Self.

Deserializable

Defines how to deserialize Self from bytes.

ExtensionBuilder

Extension of AirBuilder for working over extension fields.

LiftedAir

Super-trait for AIR definitions used by the lifted STARK prover/verifier.

LiftedAirBuilder

Super-trait bundling all builder capabilities needed by the lifted STARK system.

MidenAirBuilder

Convenience super-trait that pins LiftedAirBuilder to the Miden base field.

MultiAir

Trusted statement definition for a multi-AIR proof.

PermutationAirBuilder

Trait for builders supporting permutation arguments (e.g., for lookup constraints).

Serializable

Defines how to serialize Self into bytes.

StarkConfig

Lifted STARK configuration.

ToElements

Functions

hash_kernel_digests

Computes kernel_H, the fixed-size commitment to the kernel-procedure digests.