A simple guide to the main ways zero-knowledge proof systems have been broken, explained with everyday analogies about magic locks, bakers, and inspectors.
2026, Jun 19 — 14 minute read
A chronological record of confirmed hacks, disclosed vulnerabilities, and bug bounties in zero-knowledge proof protocols from 2023 to 2026, with technical root cause analysis for each incident.
2026, Jun 19 — 17 minute read
An analysis of security incidents in ZK-rollup bridges from 2023 to 2026, covering confirmed exploits, circuit-level vulnerability disclosures, and bug bounties targeting ZK withdrawal and settlement mechanisms.
2026, Jun 19 — 17 minute read
A technical introduction to Halo by Bowe, Grigg and Hopwood. Covers incrementally verifiable computation, amortized polynomial commitments, nested amortization, the Sonic-based main argument, and the Tweedledum/Tweedledee curve cycle.
2026, Jun 19 — 20 minute read
An intuitive guide to Halo, the first system that lets you verify a million steps of computation by checking just one small proof, without trusting any secret setup ceremony.
2026, Jun 19 — 12 minute read
A technical introduction to the GKR protocol by Goldwasser, Kalai and Rothblum. Covers layered arithmetic circuits, the sum-check protocol, multilinear extensions, and the recursive reduction used to build efficient interactive proofs.
2026, Jun 19 — 21 minute read
An intuitive guide to the GKR protocol through everyday analogies. Learn how a verifier can check a massive computation by asking a few clever questions, without re-running a single step.
2026, Jun 19 — 15 minute read
