Inputs container to initialize advice provider for the execution of Miden VM programs.
Defines a set of non-deterministic (advice) inputs which the VM can access by their keys.
Contains assembly instruction and operation index in the sequence corresponding to the specified
AsmOp decorator. This index starts from 1 instead of 0.
Contains information corresponding to an assembly instruction (only applicable in debug mode).
Contains trace lengths of all chilplets: hash, bitwise, memory and kernel ROM trace
lengths.
A two-dimensional matrix of field elements arranged in column-major order.
Represents the ID of an execution context
A default
Host implementation that provides the essential functionality required by the VM.
A set of parameters specifying execution parameters of the VM.
Execution trace which is generated when a program is executed on the VM.
A list of procedure hashes defining a VM kernel.
An in-memory
[AdviceProvider]
implementation which uses
BTreeMaps as its backing storage.
A program which can be executed by the VM.
A program information set consisting of its MAST root and set of kernel procedure roots used
for its compilation.
Represents an element in a quadratic extension of a
StarkField.
An in-memory [AdviceProvider]
implementation with support for data access recording.
Initial state of the stack to support program execution.
Output container for Miden VM programs.
Contains the data about lengths of the trace parts.
VmState holds a current process state information at a specific clock cycle.
Iterator that iterates through vm state at each step of the execution.
This allows debugging or replaying ability to view various process state
at each clock cycle.
If the execution returned an error, it returns that error on the clock cycle
it stopped.