Crate miden_processor

Modules

• math
• utils

Structs

• AdviceInputs
  Inputs container to initialize advice provider for the execution of Miden VM programs.
• AsmOpInfo
  Contains assembly instruction and operation index in the sequence corresponding to the specified AsmOp decorator. This index starts from 1 instead of 0.
• Blake3_192
  192-bit output blake3 hasher.
• Blake3_256
  256-bit output blake3 hasher.
• ChipletsTrace
• DecoderTrace
• Digest
• ExecutionTrace
  Execution trace which is generated when a program is executed on the VM.
• Kernel
  A list of procedure hashes defining a VM kernel.
• MemAdviceProvider
  An in-memory [AdviceProvider] implementation to support program execution.
• Program
  A program which can be executed by the VM.
• ProgramInfo
  A program information set consisting of its MAST root and set of kernel procedure roots used for its compilation.
• QuadExtension
  Represents an element in a quadratic extension of a StarkField.
• RangeCheckTrace
• Rpo256
  Implementation of the Rescue Prime Optimized hash function with 256-bit output.
• StackInputs
  Initial state of the stack to support program execution.
• StackOutputs
  Output container for Miden VM programs.
• StackTrace
• VmState
  VmState holds a current process state information at a specific clock cycle.
• VmStateIterator
  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

• AdviceSource
  Placeholder for advice provider tape mutation.
• DeserializationError
  Defines errors which can occur during deserialization.
• ExecutionError
• InputError
• MerkleError
• MerkleSet
  TODO: add docs
• Operation
  A set of native VM operations.

Constants

• FMP_MIN
  Memory addresses for procedure locals start at 2^30.
• SYSCALL_FMP_MIN
  Memory address for procedure locals within a SYSCALL starts at 2^31.

Traits

• AdviceProvider
  Common behavior of advice providers for program execution.
• ElementHasher
  Defines a cryptographic hash function for hashing field elements.
• Hasher
  Defines a cryptographic hash function.

Functions

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

Type Definitions

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