Module miden_objects::vm

source ·

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.
  • ExecutionProof
    A proof of correct execution of Miden VM.
  • Program
  • 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
    Initial state of the stack to support program execution.
  • StackOutputs
    Output container for Miden VM programs.