Crate miden_core
source ·Re-exports§
pub use stack::StackInputs;pub use stack::StackOutputs;
Modules§
- Basic polynomial operations.
Macros§
- This is an implementation of
std::assert_matches::assert_matchesso it can be removed when that feature stabilizes upstream
Structs§
- Contains information corresponding 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 using Montgomery representation.
- A list of procedure hashes defining a VM kernel.
- 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
Debugdecorator. - A set of decorators which can be executed by the VM.
- A set of native VM operations which take exactly one cycle to execute.
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.