1.
Introduction
Foundations
2.
Finite Fields
3.
Functions and low-degree extension
4.
Extension Fields
5.
Code Theory
Circuits
6.
The AIR Arithmetization
STARK
7.
STARK
8.
FRI
Cairo: STARK's zkVM
9.
Cairo
10.
Cairo public memory
11.
Bootloader
12.
Builtins and Layouts
Starkex: Verifying Cairo programs on Ethereum
13.
Overview
14.
Facts
15.
Verifying Cairo proofs
16.
Proof splitter
17.
Bootloader
Starknet
18.
Starknet
Light
Rust
Coal
Navy
Ayu
STARK book
AIR
check https://cronokirby.com/posts/2022/09/notes-on-stark-arithmetization/