Zero-Knowledge Proofs

零知识证明 · 中文渐进图谱与 Rust 骨架

17 步交互教程 arkworks / Groth16 含 SNARK / STARK 对比零依赖 · self-contained

ZKP（零知识证明） 是现代密码学最优雅的构造之一：让 Prover 向 Verifier 证明"我知道某件事"，而 Verifier 学到的恰好只有"P 知道"，仅此而已。

本专题从 Ali Baba 洞穴 直觉出发，逐步推到 Schnorr 协议、Fiat–Shamir、R1CS 算术化、最终触及 zk-SNARK / zk-STARK 与 Zcash / ZK-Rollup / DECO 的实际落地。

渐进版 · 17 步交互教程

每一步只引入一个新概念。从「我知道密码但不告诉你」到「Groth16 200B proof」，按 Next 按钮一步步推进，配键盘 ← / → 导航与 URL hash 同步。

深度版正在路上·多项式承诺·PLONK·Folding scheme·……