Expand description
Re-export the entire miden_client crate so external projects can use a single dependency.
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 is a assembled artifact containing:
- Package
Manifest - The manifest of a package, containing the set of package dependencies (libraries or packages) and exported items (procedures, constants, types), if known.
- Procedure
Export - A procedure exported by a package, along with its digest, signature, and attributes.
- Program
- An executable program for Miden VM.
- Qualified
Procedure Name - Represents a qualified procedure name, e.g.
std::math::u64::add, parsed into it’s constituent Path and ProcedureName components. - Section
- Section
Id - A unique identifier for optional sections of the Miden package format
Enums§
- Package
Export - Represents a named item exported from a package.
- Target
Type - The type of a specific target provided by the current project