Skip to main content Crate miden_processor Copy item path Source pub use trace::ExecutionWitness ;pub use trace::VmWitness ;advice crypto event field mast MAST forest: a collection of procedures represented as Merkle trees. operation serde trace utils AceError ContextId Represents the ID of an execution context DebugCallFrame A recovered invocation of a debug function, without additional serialized frame metadata. DebugCallFrameResolver Caches indices derived from existing function records and source nodes. Retain this across
debugger steps and discard it when the debug session ends. It does not alter VM execution. DefaultHost A default SyncHost implementation that provides the essential functionality required by the VM. ExecutionClaim The external statement a Miden VM proof attests: the program root and kernel identify the
executed code and its syscall authorization set; the stack inputs and outputs are the
execution’s public I/O. ExecutionOptions A set of parameters specifying execution parameters of the VM. ExecutionOutput The output of a program execution, containing the state of the stack, advice provider, memory,
and optional portable precompile witness at the end of execution. FastProcessor A fast processor which doesn’t generate any trace. Felt A Felt backed by Plonky3’s Goldilocks field element. HostLibrary A rich library representing a MastForest KernelDescriptor A list of exported kernel procedure hashes defining a VM kernel. LoadedMastForest Executable MAST loaded by the host, together with the package debug info that belongs to the
same forest. MemMastForestStore A simple MastForestStoreMastForest MemoryAddress PackageSourceDebugContext Source-occurrence debug context decoded from package debug sections. PrecompileWitness A portable opening of one nonempty deferred execution obligation. ProcessorState A view into the current state of the processor. Program An executable program for Miden VM. ProgramInfo A program information set consisting of its MAST root and set of kernel procedure roots used
for its compilation. ResumeContext The context required to resume execution of a program from the last point at which it was
stopped. SourceInlineCallContext Package-owned source context whose inline-call rows remain active across a dynamic target. StackInputs Defines the initial state of the VM’s operand stack. StackOutputs Defines the final state of the VM’s operand stack at the end of program execution. StdoutWriter A wrapper that implements fmt::Writestdout when the std feature is enabled. Word A unit of data consisting of 4 field elements. BreakReason The reason why execution was interrupted. Continuation Represents a unit of work in the continuation stack. DebugFrameOrigin Evidence used to recover a source-level frame. Inferred frames are best-effort and may omit
optimized callers; consumers must distinguish them from frames identified by source identity. ExecutionError ExecutionOptionsError HostError Error type for host-related operations. InputError MemoryError Lightweight error type for memory operations. EMPTY_WORD Array of field elements representing word of ZEROs in the Miden base field. MIN_STACK_DEPTH Represents: ONE Field element representing ONE in the Miden base field. WORD_SIZE The number of field elements in a Miden word. ZERO Field element representing ZERO in the Miden base field. BaseHost Defines the host functionality shared by both sync and async execution. FutureMaybeSend Alias for a Future Host Defines an async interface by which the VM can interact with the host during execution. MastForestStore A set of MastForestmiden_core::mast::ExternalNode ProgramExecutor A pluggable program executor used to run a ProgramHost Stopper A trait for types that determine whether execution should be stopped after each clock cycle. SyncHost Defines a synchronous interface by which the VM can interact with the host during execution. advice_error_with_package_source_context Wraps an AdviceError with package-owned source-occurrence execution context. event_error_with_package_source_context Wraps an EventError with package-owned source-occurrence execution context. format_value Formats a value as a string, using “EMPTY” for None values. procedure_not_found_with_package_source_context Creates a ProcedureNotFound error with package-owned source-occurrence execution context. write_interval Writes a generic interval with proper alignment and optional remaining count. write_stack Writes a stack-like list of elements (operand or advice stack) in the VM’s debug format.