Expand description
Provides types for working with the virtual machine within the Miden network.
Structs§
- Advice
Inputs - Inputs container to initialize advice provider for the execution of Miden VM programs.
- Advice
Map - Defines a set of non-deterministic (advice) inputs which the VM can access by their keys.
- Attribute
Set - An AttributeSet provides storage and access to all of the attributes attached to a Miden Assembly item, e.g. procedure definition.
- Package
- A package containing a Program/Library, and a manifest (exports and dependencies).
- Package
Export - A procedure exported by a package, along with its digest and signature (will be added after MASM type attributes are implemented).
- Package
Manifest - The manifest of a package, containing the set of package dependencies (libraries or packages) and exported procedures and their signatures, if known.
- Qualified
Procedure Name - Represents a qualified procedure name, e.g.
std::math::u64::add, parsed into it’s constituent LibraryPath and ProcedureName components. - Section
- Section
Id - A unique identifier for optional sections of the Miden package format
Enums§
- Mast
Artifact - The artifact produced by lowering a program or library to a Merkelized Abstract Syntax Tree