Writings
Interactive explanations and notes
-
STARK proof, step by step
An interactive walkthrough of a STARK proof for x³ + x + 5 = 35: the execution trace, polynomials, Merkle commitments, the quotient and FRI, with the real numbers and a fake witness you can switch on to watch the proof get rejected.