Home > Resources > docs > AIR-Docs

STARK 101 — AIR Tutorial (StarkWare)

URL: https://starkware.co/stark-101

Summary

StarkWare's hands-on tutorial for understanding STARK proofs through the lens of the Algebraic Intermediate Representation (AIR). Covers how computations are encoded as execution traces, how AIR constraints are defined, and how FRI is used for the polynomial commitment step. Best practical introduction to STARKs and AIR arithmetization.

Related resources

• Fast Reed-Solomon Interactive Oracle Proofs of Proximity (FRI) (paper, 2018)
• SP1 Documentation (Succinct Labs) (doc, 2024)