Crate miden_processor Copy item path Source crypto math utils AdviceInputs Inputs container to initialize advice provider for the execution of Miden VM programs. AsmOpInfo Contains assembly instruction and operation index in the sequence corresponding to the specified
AsmOp decorator. This index starts from 1 instead of 0. AssemblyOp Contains information corresponding to an assembly instruction (only applicable in debug mode). ChipletsLengths Contains trace lengths of all chilplets: hash, bitwise, memory and kernel ROM trace
lengths. ChipletsTrace ColMatrix A two-dimensional matrix of field elements arranged in column-major order. ContextId Represents the ID of an execution context DecoderTrace DefaultHost A default Host implementation that provides the essential functionality required by the VM. Digest ExecutionOptions A set of parameters specifying execution parameters of the VM. ExecutionTrace Execution trace which is generated when a program is executed on the VM. Felt Represents base field element in the field using Montgomery representation. Kernel A list of procedure hashes defining a VM kernel. MastForest Represents one or more procedures, represented as a collection of MastNode MastNodeId An opaque handle to a MastNodeMastForestMastNodeIdMastForest MemAdviceProvider An in-memory [AdviceProvider] implementation which uses BTreeMap s as its backing storage. MemMastForestStore A simple MastForestStoreMastForest Process A Process is the underlying execution engine for a Miden Program . ProcessState 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. QuadExtension Represents an element in a quadratic extension of a StarkField . RangeCheckTrace RecAdviceProvider An in-memory [AdviceProvider] implementation with support for data access recording. RowIndex A newtype wrapper around a usize value representing a step in the execution trace. StackInputs Defines the initial state of the VM’s operand stack. StackOutputs Output container for Miden VM programs. StackTrace TraceLenSummary Contains the data about lengths of the trace parts. VmState VmState holds a current process state information at a specific clock cycle. VmStateIterator Iterator that iterates through vm state at each step of the execution. AdviceSource Specifies the source of the value(s) to be pushed onto the advice stack. DeserializationError Defines errors which can occur during deserialization. ExecutionError ExecutionOptionsError Ext2InttError InputError MastNode Operation A set of native VM operations which take exactly one cycle to execute. SystemEvent Defines a set of actions which can be initiated from the VM to inject new data into the advice
provider. EMPTY_WORD Array of field elements representing word of ZEROs in the Miden base field. FMP_MIN Memory addresses for procedure locals start at 2^30. NUM_RAND_ROWS Number of rows at the end of an execution trace which are injected with random values. ONE Field element representing ONE in the Miden base filed. SMT_DEPTH SYSCALL_FMP_MIN Memory address for procedure locals within a SYSCALL starts at 2^31. ZERO Field element representing ZERO in the Miden base filed. AdviceProvider Defines behavior of an advice provider. Host Defines an interface by which the VM can interact with the host. KvMap A trait that defines the interface for a key-value map. MastForestStore A set of MastForestvm_core::mast::ExternalNode execute Returns an execution trace resulting from executing the provided program against the provided
inputs. execute_iter Returns an iterator which allows callers to step through the execution and inspect VM state at
each execution step. Word A group of four field elements in the Miden base field.