Zero-Knowledge

ZK proofs and their applications: SNARKs, STARKs, rollups, and private computation.

Proof of Personhood vs. the Agent Flood: Inside World ID and Priority Blockspace for Humans

World Chain reserved top-of-block space for verified humans while 382M smart-account ops poured in. We read the Semaphore tree on Ethereum — 17.59M identities, hourly batches at ~3,300 gas each — decode PBH's month-stamped nullifiers, and find the human-only lane sitting almost empty.

Jun 12, 2026 9 min read ⬢ interactive

Zero-Knowledge Machine Learning Cryptography

zkML in 2026: The State of Verifiable Inference

Zero-knowledge proofs promised to make machine learning trustless. A field survey of where zkML actually stands — proving systems, quantization tradeoffs, and what's deployable today.

May 28, 2026 3 min read ⬢ interactive