Module vm

Structs§

AdviceInputs: Inputs container to initialize advice provider for the execution of Miden VM programs.
AdviceMap: Defines a set of non-deterministic (advice) inputs which the VM can access by their keys.
AttributeSet: An AttributeSet provides storage and access to all of the attributes attached to a Miden Assembly item, e.g. procedure definition.
ExecutionProof: A proof of correct execution of Miden VM.
Package: A package containing a Program/Library, and a manifest (exports and dependencies).
PackageExport: A procedure exported by a package, along with its digest and signature (will be added after MASM type attributes are implemented).
PackageManifest: The manifest of a package, containing the set of package dependencies (libraries or packages) and exported procedures and their signatures, if known.
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.
QualifiedProcedureName: Represents a qualified procedure name, e.g. std::math::u64::add, parsed into it’s constituent LibraryPath and ProcedureName components.
RowIndex: A newtype wrapper around a usize value representing a step in the execution trace.
Section
SectionId: A unique identifier for optional sections of the Miden package format
StackInputs: Defines the initial state of the VM’s operand stack.
StackOutputs: Output container for Miden VM programs.

MastArtifact: The artifact produced by lowering a program or library to a Merkelized Abstract Syntax Tree
SystemEvent: Defines a set of actions which can be initiated from the VM to inject new data into the advice provider.