Archive

Timeline of proofs and mistakes

2026

May 13, 2026 Chains Are Not Databases. They Are Digital Constitutions. 23 min read

May 11, 2026 MIPS, Merkle, and 0/0: Two Recursion Soundness Bugs in Ziren 12 min read

May 11, 2026 A Queue for Every Little ChatGPT Window 9 min read

May 11, 2026 Plonky3 Deep Dive: Reading a STARK Toolkit From the Source 22 min read

May 10, 2026 Pico, Proof Boundaries, and the Places zkVMs Really Break 17 min read

May 9, 2026 Auditing Jolt: Where zkVM Performance Tricks Meet Security Reality 12 min read

May 9, 2026 Welcome to osu! in a browser 13 min read