Crate miden_core
source ·Modules
Structs
Contains information corresponding to an assembly instruction (only applicable in debug mode).
A map of code block hashes to their underlying code blocks.
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 list of procedure hashes defining a VM kernel.
A program which can be executed by the VM.
Input container for Miden VM programs.
Output container for Miden VM programs.
Represents an element in a quadratic extension of a StarkField.
Enums
Constants
Number of random elements available to the prover after the commitment to the main trace
segment.
The minimum length of the execution trace. This is the minimum required to support range checks.
Field element representing ONE in the base field of the VM.
Number of field elements in a Word.
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.
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