6 published posts.
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 4 of Zero Knowledge, Full Proof. Ethereum has just finished the largest trusted-setup ceremony ever run. What the ceremony protects against, why some proof systems need one and others do not, and what a large quantum computer would do to each of them.
Part 3 of Zero Knowledge, Full Proof. On 8 August the US Treasury sanctioned Tornado Cash, a set of immutable contracts that uses zero-knowledge proofs to break the link between a deposit and a withdrawal. What happened next, how a mixer works, why the mathematics is not the whole story, and how mixers differ from privacy coins.
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.
Part 1 of Zero Knowledge, Full Proof. A zero-knowledge proof convinces you that a statement is true and tells you nothing else. What that means, why it is possible at all, and why blockchains care.
