Skip to main content Crate miden_processor Copy item path Source pub use trace::TraceBuildInputs ;pub use trace::TraceGenerationContext ;advice crypto event field mast MAST forest: a collection of procedures represented as Merkle trees. operation precompile Precompile framework for deferred verification in the Miden VM. serde trace utils AceError ContextId Represents the ID of an execution context DefaultDebugHandler Default implementation of DebugHandlerstdout when
available. DefaultHost A default SyncHost implementation that provides the essential functionality required by the VM. 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 final precompile transcript 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 Kernel A list of exported kernel procedure hashes defining a VM kernel. MemMastForestStore A simple MastForestStoreMastForest MemoryAddress ProcessorState A view into the current state of the processor. ProcessorStateSnapshot A snapshot of the processor state for consistency checking between processors. 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. 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. TestHost A unified testing host that combines trace collection, event handling,
debug handling, and process state consistency checking. TraceCollector A debug handler that collects and counts trace events from decorators. 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. ExecutionError ExecutionOptionsError HostError Error type for host-related operations (event handlers, debug handlers, trace handlers). 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 filed. WORD_SIZE Number of field elements in a word. ZERO Field element representing ZERO in the Miden base filed. BaseHost Defines the host functionality shared by both sync and async execution. DebugHandler Handler for debug and trace operations 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 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. execute Executes the provided program against the provided inputs and returns the resulting execution
output. execute_sync Synchronous wrapper for the async execute() function. DebugError A generic Error TraceError A generic Error