Module trace 

Modules

chiplets

Structs

ChipletsLengths

Contains trace lengths of all chiplets: hash, bitwise, memory, ACE, and kernel ROM.

ExecutionWitness

Complete in-memory witness produced by a traced program execution.

PrecompileWitness

Bounded, untrusted portable entries for one deferred execution obligation.

RowIndex

A newtype wrapper around a usize value representing a step in the execution trace.

TraceLenSummary

Row counts for the AIR segments produced by trace generation.

VmTrace

Execution trace which is generated when a program is executed on the VM.

VmWitness

Witness required to materialize and prove a VM execution trace.

Constants

CORE_TRACE_WIDTH

Per-row payload written by the core tracer (system + decoder + stack).

DEFAULT_MAX_PROVER_MEMORY_BYTES

Default maximum modelled peak memory, in bytes, build_trace assumes when no budget is given explicitly. Set to 64 GiB, comfortably above every workload in-repo and far below what the previous row-count cap admitted; callers that own actual proving policy (e.g. miden-prover’s Prover) are expected to set their own via build_trace_with_budget.

Functions

build_trace

Builds the main trace from the provided trace states in parallel.

build_trace_with_budget

Same as build_trace, but with an explicit modelled peak-memory budget instead of the default. See miden_air::memory for the model’s scope and exclusions.