Part 6 of Zero Knowledge, Full Proof. We built an auction house where the bidders are AI agents, with a zero-knowledge layer to keep them private. What the agents do, what the proofs were meant to show, and three places where a valid proof proved the wrong thing.
Part 5 of Zero Knowledge, Full Proof. Three ideas behind today's provers, sumcheck, lookups and binary fields, each worked through on a small example, and why they matter for proving Ethereum.
Part 2 of Zero Knowledge, Full Proof. A proof system understands two operations, addition and multiplication. What it takes to turn a program into polynomials, why the Ethereum Virtual Machine resists, and the two routes the teams racing to prove it are taking.
This summer DeFi went from a niche to a mania: COMP, YFI, CRV and now UNI. I watched it from a student-sized wallet, where a fixed fee per transaction turns the headline yields upside down. The arithmetic of who can afford to farm, and what I'm taking from the summer.
In early March I bought my first crypto, moved it into a wallet I control and made my first swap on a decentralised exchange, all in one afternoon. Three months later I own a sliver of a rented house near Detroit and have learned what gas costs. What the first quarter on Ethereum taught me, with the screenshots.