Module vm
Source - 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.
- ExecutionProof
- A proof of correct execution of Miden VM.
- 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.
- 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.
- SystemEvent
- Defines a set of actions which can be initiated from the VM to inject new data into the advice
provider.