Crate miden_air

Modules

• stack
• trace

Macros

• select_result_range
  Select an array range from a mutable result array and a specified range.

Structs

• ExecutionOptions
  A set of parameters specifying execution parameters of the VM.
• ExecutionProof
  A proof of correct execution of Miden VM.
• Felt
  Represents base field element in the field using Montgomery representation.
• ProcessorAir
  TODO: add docs
• ProvingOptions
  A set of parameters specifying how Miden VM execution proofs are to be generated.
• PublicInputs

Enums

• DeserializationError
  Defines errors which can occur during deserialization.
• ExecutionOptionsError
• FieldExtension
  Defines an extension field for the composition polynomial.
• HashFunction
  A hash function used during STARK proof generation.

Traits

• FieldElement
  Defines an element in a finite field.
• StarkField
  Defines an element in a STARK-friendly finite field.
• ToElements