Crate miden_core
source ·Re-exports
pub use stack::StackInputs;
pub use stack::StackOutputs;
Modules
- Basic polynomial operations.
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 using Montgomery representation.
- A list of procedure hashes defining a VM kernel.
- 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.
Enums
- Defines a set of actions which can be initiated from the VM to inject new data into the advice provider.
- Options of the
Debug
decorator. - A set of decorators which can be executed by the VM.
- A set of native VM operations.
Constants
- Array of field elements representing word of ZEROs in the Miden base field.
- Field element representing ONE in the Miden base filed.
- Number of field elements in a word.
- Field element representing ZERO in the Miden base filed.
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.
- Defines how to convert a struct to a vector of field elements.
Type Aliases
- Vector consisting of a tuple of operation index (within a span block) and decorator at that index
- A group of four field elements in the Miden base field.