Crate miden_processor

source ·

Modules§

Structs§

  • Inputs container to initialize advice provider for the execution of Miden VM programs.
  • Defines a set of non-deterministic (advice) inputs which the VM can access by their keys.
  • Contains assembly instruction and operation index in the sequence corresponding to the specified AsmOp decorator. This index starts from 1 instead of 0.
  • Contains information corresponding to an assembly instruction (only applicable in debug mode).
  • Contains trace lengths of all chilplets: hash, bitwise, memory and kernel ROM trace lengths.
  • A two-dimensional matrix of field elements arranged in column-major order.
  • Represents the ID of an execution context
  • A default Host implementation that provides the essential functionality required by the VM.
  • A set of parameters specifying execution parameters of the VM.
  • Execution trace which is generated when a program is executed on the VM.
  • A list of procedure hashes defining a VM kernel.
  • An in-memory [AdviceProvider] implementation which uses BTreeMaps as its backing storage.
  • A program which can be executed by the VM.
  • A program information set consisting of its MAST root and set of kernel procedure roots used for its compilation.
  • Represents an element in a quadratic extension of a StarkField.
  • An in-memory [AdviceProvider] implementation with support for data access recording.
  • Initial state of the stack to support program execution.
  • Output container for Miden VM programs.
  • Contains the data about lengths of the trace parts.
  • VmState holds a current process state information at a specific clock cycle.
  • Iterator that iterates through vm state at each step of the execution. This allows debugging or replaying ability to view various process state at each clock cycle. If the execution returned an error, it returns that error on the clock cycle it stopped.

Enums§

Constants§

  • Array of field elements representing word of ZEROs in the Miden base field.
  • Memory addresses for procedure locals start at 2^30.
  • Field element representing ONE in the Miden base filed.
  • Memory address for procedure locals within a SYSCALL starts at 2^31.
  • Field element representing ZERO in the Miden base filed.

Traits§

  • Defines behavior of an advice provider.
  • Defines an interface by which the VM can make requests to the host.
  • A trait that defines a set of methods which allow access to the state of the process.

Functions§

  • Returns an execution trace resulting from executing the provided program against the provided inputs.
  • Returns an iterator which allows callers to step through the execution and inspect VM state at each execution step.

Type Aliases§

  • A group of four field elements in the Miden base field.