STARK Math ramp up
This is a set of links for reading/viewing about the math behind STARK. First two sections include mostly
video talks, while later sections have a higher ratio of reading material.
Basic
● Overview
● Arithmetization, another link
● Low degree testing
● Cambrian explosion of crypto proofs - Blog, talk
Advanced
● FFT, FRI and STARK
● Soundness analysis
● FRI
● Proximity gaps
● STARK math blog series [Parts I, II, III, IV, V]
Academic papers
Start by reading only abstract and introduction, might be enough (or even too hard)
● The STARK whitepaper
● Updated STARK protocol, as actually used by our systems (see section 5 of this paper)
● FRI protocol - a main component of STARK protocol
● Best recent analysis on FRI / STARK soundness
● DEEP FRI and DEEP STARK
Other math expositions
● Vitalik’s blog series - I, II, III
● STARK 101 online course
Related math concepts
● interactive proofs from wikipedia
● zero knowledge proofs from wikipedia
Summer school on Interactive proofs, IOPs, ZK and PCP
● Lectures by Alessandro Chiesa
○ A.1, A.2,
○ maybe A.5 (defs of ZK, but not how ZK is done in the IP model),
○ A.7-onwards are especially useful
● Lectures by Tom Gur B.1-B.7, the parts about FRI are especially useful because FRI is a major
component of our STARK systems
● Exercises and worksheets for the course