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.
Cairo VM
12.
Bootloader
13.
Builtins and Layouts
Starkex: Verifying Cairo programs on Ethereum
14.
Overview
15.
Facts
16.
Verifying Cairo proofs
17.
Proof splitter
18.
Bootloader
Starknet
19.
Starknet
Light
Rust
Coal
Navy
Ayu
STARK book
Bootloader