miden_objects

Module 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
    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.