Crate miden_air

Modules

• stack

Macros

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

Structs

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

Enums

• DeserializationError
  Defines errors which can occur during deserialization.
• 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