A first-principles guide to zero-knowledge STARKs, built around a working proof system I wrote from scratch in Rust.