interactive map

zero-knowledge proofs, from first principles

A map of the zero-knowledge stack: what depends on what, and why. Thirty-five topics across seven layers, from finite fields up to zkVMs and post-quantum ZK.

Click any box for a first-principles explanation and its closest neighbours. This whole map — layout, connections, panel — is generated from a small data file in JavaScript, not a static image.