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
Extension Fields