Module trace

Modules§

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: A hydrated witness for one or more ordered deferred precompile roots.
RowIndex: A newtype wrapper around a usize value representing a step in the execution trace.
TraceLenSummary: Contains the unpadded lengths of the trace parts.
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.

CORE_TRACE_WIDTH: Per-row payload written by the core tracer (system + decoder + stack).
DEFAULT_MAX_PROVER_MEMORY_BYTES: Default maximum 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.

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 memory budget instead of the default.