Crate p3_miden_lifted_air 

AIR traits for the Miden lifted STARK protocol.

This crate provides:

• LiftedAir: Super-trait for AIR definitions (inherits upstream + adds aux trace support and periodic column data)
• LiftedAirBuilder: Super-trait for constraint builders
• auxiliary: Auxiliary trace types (builder, cross-AIR identity checking).

Re-exports

pub use auxiliary::AuxBuilder;

pub use auxiliary::ReducedAuxValues;

pub use auxiliary::ReductionError;

pub use auxiliary::VarLenPublicInputs;

Modules

auxiliary

Auxiliary trace types: builder and cross-AIR identity checking.

symbolic

Symbolic constraint analysis types from upstream p3-air.

utils

AIR constraint utility functions from upstream p3-air.

Structs

AirInstance

Verifier instance: log trace height, public values, and variable-length inputs.

AirWitness

Prover witness: trace matrix, public values, and variable-length public inputs.

EmptyWindow

A window type for traces that must never be accessed.

FilteredAirBuilder

A wrapper around an AirBuilder that enforces constraints only when a specified condition is met.

RowWindow

A lightweight two-row window into a trace matrix.

Enums

AirValidationError

Errors from AIR validation.

TracePart

Which part of the trace a builder mismatch refers to.

Traits

Air

An algebraic intermediate representation (AIR) definition.

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.

AirBuilderWithContext

Extension trait for builders that carry additional runtime context.

BaseAir

The underlying structure of an AIR.

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.

PeriodicAirBuilder

Extension of AirBuilder for builders that supply periodic column values.

PermutationAirBuilder

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

WindowAccess

Read access to a pair of trace rows (typically current and next).

Functions

log2_strict_u8

Strict log₂ returning u8.

validate_instances

Validate AIR and instance dimensions for a slice of (air, instance) pairs.