作者： Research Dao | @RealResearchDAO 编译：@CryptoScott_ETH 已获得原作者授权转载 本文是对零知识证明领域相关资料的梳理以及行业应用的探讨，希望能给非技术出身的研究员提供 ZKP 研究的指引。企图帮助非技术出身的研究员由浅入深理解零知识证明。从 Alice 和 Bob 的故事中体会 ZK本章是对 Aviv Zohar 2017年发表的 The Incredible Machine 的概括，从故事的角度出发，帮助读者更直观得体会零知识证明的相关特性。 Alice 和 Bob 都是数独爱好者，有一天 Alice 向 Bob 说，“我设计了一个很难的数独，你要不要挑战一下？” Bob 接受挑战，但迟迟无法填满空格，便质疑 Alice 的题目是无解的。为了证明其题目有解且不暴露答案本身，Alice 想到了个办法。承诺：Alice 拿出 81（9x9）张空白的卡片放在桌上，在每张纸上写上 1-9 中的一个数字，他让 Bob 转过身闭上眼，然后把这 81 张卡片按照解的排列放在桌上，代表谜底的卡片，数字面朝下放在桌上；代表谜面的卡片，则数字面...