Re-exports§
pub use stack::StackInputs;pub use stack::StackOutputs;
Modules§
Macros§
- assert_
matches - This is an implementation of
std::assert_matches::assert_matchesso it can be removed when that feature stabilizes upstream
Structs§
- Advice
Map - Defines a set of non-deterministic (advice) inputs which the VM can access by their keys.
- Assembly
Op - Contains information corresponding to an assembly instruction (only applicable in debug mode).
- Decorator
Iterator - Iterator used to iterate through the decorator list of a span block while executing operation batches of a span block.
- Felt
- Represents base field element in the field using Montgomery representation.
- Kernel
- A list of procedure hashes defining a VM kernel.
- Program
- An executable program for Miden VM.
- Program
Info - A program information set consisting of its MAST root and set of kernel procedure roots used for its compilation.
- Quad
Extension - Represents an element in a quadratic extension of a StarkField.
Enums§
- Debug
Options - Options of the
Debugdecorator. - Decorator
- A set of decorators which can be executed by the VM.
- Operation
- A set of native VM operations which take exactly one cycle to execute.
- Signature
Kind
Constants§
- EMPTY_
WORD - Array of field elements representing word of ZEROs in the Miden base field.
- ONE
- Field element representing ONE in the Miden base filed.
- OPCODE_
ACE - OPCODE_
ADD - OPCODE_
ADVPOP - OPCODE_
ADVPOPW - OPCODE_
AND - OPCODE_
ASSERT - OPCODE_
CALL - OPCODE_
CALLER - OPCODE_
CLK - OPCODE_
CSWAP - OPCODE_
CSWAPW - OPCODE_
DROP - OPCODE_
DUP0 - OPCODE_
DUP1 - OPCODE_
DUP2 - OPCODE_
DUP3 - OPCODE_
DUP4 - OPCODE_
DUP5 - OPCODE_
DUP6 - OPCODE_
DUP7 - OPCODE_
DUP9 - OPCODE_
DUP11 - OPCODE_
DUP13 - OPCODE_
DUP15 - OPCODE_
DYN - OPCODE_
DYNCALL - OPCODE_
EMIT - OPCODE_
END - OPCODE_
EQ - OPCODE_
EQZ - OPCODE_
EXPACC - OPCODE_
EXT2MUL - OPCODE_
FMPADD - OPCODE_
FMPUPDATE - OPCODE_
FRIE2 F4 - OPCODE_
HALT - OPCODE_
HORNERBASE - OPCODE_
HORNEREXT - OPCODE_
HPERM - OPCODE_
INCR - OPCODE_
INV - OPCODE_
JOIN - OPCODE_
LOOP - OPCODE_
MLOAD - OPCODE_
MLOADW - OPCODE_
MOVD N2 - OPCODE_
MOVD N3 - OPCODE_
MOVD N4 - OPCODE_
MOVD N5 - OPCODE_
MOVD N6 - OPCODE_
MOVD N7 - OPCODE_
MOVD N8 - OPCODE_
MOVU P2 - OPCODE_
MOVU P3 - OPCODE_
MOVU P4 - OPCODE_
MOVU P5 - OPCODE_
MOVU P6 - OPCODE_
MOVU P7 - OPCODE_
MOVU P8 - OPCODE_
MPVERIFY - OPCODE_
MRUPDATE - OPCODE_
MSTORE - OPCODE_
MSTOREW - OPCODE_
MSTREAM - OPCODE_
MUL - OPCODE_
NEG - OPCODE_
NOOP - OPCODE_
NOT - OPCODE_
OR - OPCODE_
PAD - OPCODE_
PIPE - OPCODE_
PUSH - OPCODE_
REPEAT - OPCODE_
RESPAN - OPCODE_
SDEPTH - OPCODE_
SPAN - OPCODE_
SPLIT - OPCODE_
SWAP - OPCODE_
SWAPDW - OPCODE_
SWAPW - OPCODE_
SWAP W2 - OPCODE_
SWAP W3 - OPCODE_
SYSCALL - OPCODE_
U32ADD - OPCODE_
U32AD D3 - OPCODE_
U32AND - OPCODE_
U32ASSER T2 - OPCODE_
U32DIV - OPCODE_
U32MADD - OPCODE_
U32MUL - OPCODE_
U32SPLIT - OPCODE_
U32SUB - OPCODE_
U32XOR - WORD_
SIZE - Number of field elements in a word.
- ZERO
- Field element representing ZERO in the Miden base filed.
Traits§
- Extension
Of - Specifies that a field is an extension of another field.
- Field
Element - Defines an element in a finite field.
- Stark
Field - Defines an element in a STARK-friendly finite field.
- ToElements
- Defines how to convert a struct to a vector of field elements.
Type Aliases§
- Decorator
List - Vector consisting of a tuple of operation index (within a span block) and decorator at that index.
- Word
- A group of four field elements in the Miden base field.