Cipher Museum Style Protocol Gallery

ZK Proof Lab

Interactive exhibits on proving knowledge without revealing secrets.

Zero-knowledge proofs power private blockchain transactions, identity checks, and verifiable computation without leaking sensitive data.

This lab starts with intuitive stories, then graduates into real browser-side arithmetic and hashing so the jump from idea to implementation is visible in one sitting.

Repository ZK Primer Run Smoke Tests Run Quality Gates Transcript Replay Lab Scenario Presets View Source
LAB TOOLS
Transcript Replay Lab Scenario Presets Run Tests ZK Primer View on GitHub
Cryptographic honesty: the math checks and Web Crypto primitives in Exhibits 03 and 04 are real. Parameters are intentionally small for educational clarity and browser performance, not production security levels.
EXHIBIT 01⬡ CONCEPTUAL MODEL

The Ali Baba Cave Protocol

Someone proves they know the secret word for the cave door without ever saying the word.
EXHIBIT 02⬡ COMMITMENTS SIMPLIFIED

Graph 3-Coloring ZKP

Someone shows a map is colored correctly without revealing the full color pattern.
EXHIBIT 03● REAL MODULAR ARITHMETIC

Schnorr Identification Protocol

Someone proves they know a secret number by passing a math check without revealing it.
EXHIBIT 04● REAL SHA-256 · window.crypto.subtle

Hash Commit-Reveal

Someone locks in a hidden bid first, then reveals it later to prove they never changed it.
EXHIBIT 05● REAL HASH-DERIVED CHALLENGE

Fiat-Shamir (Non-Interactive)

Convert challenge-response into a single verifiable proof by deriving the challenge from a hash.
EXHIBIT 06⬡ PEDAGOGICAL SNARK MODEL

zk-SNARK Intuition

See setup, proving, and verification flow with public/private input separation in one toy pipeline.