Crate miden_air 

Re-exports

pub use trace::rows::RowIndex;

Modules

stack

trace

Macros

select_result_range

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

Structs

AuxRandElements

Holds the randomly generated elements necessary to build the auxiliary trace.

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.

PartitionOptions

Defines the parameters used to calculate partition size when committing to the traces generated during the protocol.

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