Modules§
Macros§
- Select an array range from a mutable result array and a specified range.
Structs§
- A set of parameters specifying execution parameters of the VM.
- A proof of correct execution of Miden VM.
- Represents base field element in the field using Montgomery representation.
- TODO: add docs
- A set of parameters specifying how Miden VM execution proofs are to be generated.
Enums§
- Defines errors which can occur during deserialization.
- Defines an extension field for the composition polynomial.
- A hash function used during STARK proof generation.
Traits§
- Defines an element in a finite field.
- Defines an element in a STARK-friendly finite field.