零知识证明（Zero-Knowledge Proof）

出自 《寓言随记》“盲眼国王与异色指环”寓言：夜歌王庭的阿拉里克国王天生失明。异邦学者米洛献上两枚指环，声称一红一蓝，但工匠用精密秤、放大镜测得二者材质、重量、纹路完全一致，无任何物理差别。多疑的国王质问：你如何向一个瞎子证明它们真是异色？米洛答：请您在王座背后随意交换或不换，伸出来我告诉您换没换。若二环真是普通铜环，米洛只能靠 50% 蒙。国王连试二十次、故意加速扰乱，米洛每次 100% 答对——连对二十次的偶然概率约百万分之一，在逻辑面前等于零。国王心服口服，而全程他仍不知红蓝是什么感觉、哪枚具体是红。

概念内核

**零知识证明（ZKP）**由 Goldwasser、Micali、Rackoff 于 1985 年提出：证明者能在不向验证者提供任何实质有用信息（零知识）的前提下，使验证者确信某论断真实。 它调和了“安全”与“隐私”的矛盾——传统验证要你出示密码（泄露隐私），ZKP 让你只证明“我拥有密码的控制权”，系统无法获知密码本身。寓言隐喻对照：盲眼国王=验证者（Verifier），异邦学者=证明者（Prover），一红一蓝指环=待证的秘密陈述，背后交换二十次=交互式挑战协议（多次概率对折把欺骗空间压至无穷小），国王始终不懂颜色=零知识（无信息泄露）。

两大应用：ZK-Rollups 扩容——链下把一万笔交易打包生成一个极小的证明发给主链，主链只验证证明真伪就确认全部合法，无需逐笔审核金额地址（就像国王只看米洛猜环，不必自己看颜色）；AI 隐私——用户向医疗 AI 证明“病历真实且格式正确”而不暴露病历内容。费曼版：“朋友从迷宫入口进、从出口出来，就证明他知道路线，你却对迷宫内部拐弯一无所知。”

跨主题应用

• web3 术语速写的互补（词典 vs 深度叙事）：web3 基础术语的 ZK 条目给出机制速写，本页给出寓言直觉与验证者/证明者的角色分解——两者互补：术语页答“ZK 是什么”，本页答“为什么二十次挑战就等于信任”。
• 女巫攻击的解药之一（本库推断）：女巫攻击的现代防线“人格证明（Proof of Humanity）“往往用 ZKP 实现——证明”我背后是唯一真人“而不暴露真实身份，正是零知识在身份唯一性上的落地，把隐私与抗女巫两个目标同时满足。
• 本知识库自身（本库推断）：ZKP 的精神“验证结论无需暴露过程”与 wiki 的引用哲学相通——一条 confidence:high 的结论指回 sources 即可被信任，读者不必重走全部推理链。