7 published posts.
Google now estimates that a superconducting quantum computer with fewer than half a million qubits could recover a Bitcoin or Ethereum private key in about nine minutes, and it backed the claim with a zero-knowledge proof that Trail of Bits then forged. What the numbers assume, how close today's hardware is to them, and what it means for Solana, from someone who spends her days on superconducting qubits.
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.
