Skip to main content Crate miden_air Copy item path Source ace ACE circuit integration for the 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 AceCols ACE chiplet columns (16 columns), viewed from chiplets[3..19]. 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[1..14]. ChipletCols Column layout of the chiplets execution trace. ChipletsAir Chiplets-trace AIR for the multi-AIR proving path. ConstraintDegrees Symbolic constraint degree multiples, split by constraint kind. ControllerCols Controller chiplet columns (19 columns), viewed from chiplets[0..19]. 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. KernelRomCols Kernel ROM chiplet columns (5 columns), viewed from chiplets[4..9]. MemoryCols Memory chiplet columns (15 columns), viewed from chiplets[2..17]. MidenMultiAir The cross-AIR statement for the (Core, Chiplets) proof: owns the AIR
collection in instance order and carries the LogUp reduction over the
committed aux finals. PermutationCols Permutation chiplet columns (19 columns), viewed from chiplets[0..19]. ProverStatement A Statement 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 MultiAirair_inputs and aux_inputs. SystemCols System columns in the main execution trace (6 columns). DeserializationError Defines errors which can occur during deserialization. MidenAir Homogeneous wrapper that lets CoreAirChipletsAirMultiAir::AirCoreAirChipletsAir LOGUP_AUX_TRACE_WIDTH LogUp aux trace width: 4 main-trace columns + 3 chiplet-trace columns. NUM_PUBLIC_VALUES Number of public values read by the Miden VM AIRs — the air_inputs shared by every AIR. 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 our 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 hash_kernel_digests Computes kernel_H, the fixed-size commitment to the kernel-procedure digests.