Crate miden_core
source · [−]Modules
Structs
Contains information corresponsing to an assembly instruction (only applicable in debug mode)
Iterator used to iterate through the decorator list of a span block while executing operation batches of a span block.
Represents base field element in the field.
A program which can be executed by the VM.
Input container for Miden VM programs.
Enums
Constants
Number of random elements available to the prover after the commitment to the main trace segment.
The minimum stack depth enforced by the VM. This is also the number of stack registers which can be accessed by the VM directly.
The minimum length of the execution trace. This is the minimum required to support range checks.
Number of bookkeeping and helper columns in the stack trace.
Field element representing ONE in the base field of the VM.
Field element representing ZERO in the base field of the VM.
Traits
Specifies that a field is an extension of another field.
Defines an element in a finite field.
TODO: add docs
Defines an element in a STARK-friendly finite field.
Type Definitions
Vector consisting of a tuple of operation index (within a span block) and decorator at that index