Modules
Macros
- Select an array range from a mutable result array and a specified range.
Structs
- 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.