#air #miden #intermediate-representation #crypto #arithmetization

no-std miden-air

Algebraic intermediate representation of Miden VM processor

8 breaking releases

new 0.9.1 Apr 4, 2024
0.8.0 Feb 27, 2024
0.7.0 Oct 11, 2023
0.6.0 Jun 29, 2023
0.1.0 Nov 16, 2021

#234 in Cryptography

Download history 327/week @ 2023-12-21 457/week @ 2023-12-28 609/week @ 2024-01-04 675/week @ 2024-01-11 642/week @ 2024-01-18 625/week @ 2024-01-25 462/week @ 2024-02-01 473/week @ 2024-02-08 555/week @ 2024-02-15 911/week @ 2024-02-22 1801/week @ 2024-02-29 1424/week @ 2024-03-07 1144/week @ 2024-03-14 1319/week @ 2024-03-21 1092/week @ 2024-03-28 1738/week @ 2024-04-04

5,584 downloads per month
Used in 17 crates (6 directly)

MIT license

7.5K SLoC

Miden VM AIR

This crate contains algebraic intermediate representation (AIR) of Miden VM execution logic.

AIR is a STARK-specific format of describing a computation. It consists of defining a set of constraints expressed as low-degree polynomials. Miden prover evaluates these polynomials over an execution trace produced by Miden processor and includes the results in the execution proof. To verify the proof, the verifier checks that the constraints are evaluated correctly against the execution trace committed to by the prover.

Internally, Miden VM AIR is separated into several components:

  • AIR for the decoder, which is responsible for decoding instructions and managing control flow.
  • AIR for the stack, which is responsible for executing instructions against the operand stack.
  • AIR for the range checker, which is responsible for checking if field elements contain values smaller than $2^{16}$.
  • AIR for the chiplets module, which contains specialized circuits responsible for handling complex computations (e.g., hashing) as well as random access memory.

These different components are tied together using multiset checks similar to the ones used in PLONK.

All AIR constraints for Miden VM are described in detail in the design section of Miden VM documentation.

If you'd like to learn more about AIR, the following blog posts from StarkWare are an excellent resource:


This project is MIT licensed.


~118K SLoC