Crate miden_core

Re-exports

• pub use stack::StackInputs;
• pub use stack::StackOutputs;

Modules

• chiplets
• code_blocks
• crypto
• errors
• polynom
  Basic polynomial operations.
• stack
• utils

Structs

• AssemblyOp
  Contains information corresponding to an assembly instruction (only applicable in debug mode).
• CodeBlockTable
  A map of code block hashes to their underlying code blocks.
• DecoratorIterator
  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
  A program which can be executed by the VM.
• ProgramInfo
  A program information set consisting of its MAST root and set of kernel procedure roots used for its compilation.
• QuadExtension
  Represents an element in a quadratic extension of a StarkField.

Enums

• AdviceInjector
  Defines a set of actions which can be initiated from the VM to inject new data into the advice provider.
• DebugOptions
  Options of the Debug decorator.
• Decorator
  A set of decorators which can be executed by the VM.
• Operation
  A set of native VM operations.
• SignatureKind

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.
• WORD_SIZE
  Number of field elements in a word.
• ZERO
  Field element representing ZERO in the Miden base filed.

Traits

• ExtensionOf
  Specifies that a field is an extension of another field.
• FieldElement
  Defines an element in a finite field.
• StarkField
  Defines an element in a STARK-friendly finite field.
• ToElements
  Defines how to convert a struct to a vector of field elements.

Type Aliases

• DecoratorList
  Vector consisting of a tuple of operation index (within a span block) and decorator at that index
• StackTopState
• Word
  A group of four field elements in the Miden base field.