《零知识证明 – zkSNARK 入门》— PPIO Code Talks 第二期

PPIO Code Talks 致力于打造一个以上海为中心，辐射全球的高质量区块链学习，分享，交友平台。

7月27日，PPIO 举办了第二期 Code Talks 闭门技术交流分享会。在上一期的活动中，我们分享了两个前沿技术主题《Tindermint 介绍及实战分析》和《Libra 介绍及对 PPIO 的启发》。

这一期是我们 Code Talks 的第二期活动，我们有幸邀请到 Trapdoor CEO Star.LI 老师和 技术大咖王伯洋老师，两位重量级嘉宾来做主题分享。本期分享的主题是：1、《零知识证明–zkSNARK入门》， 2、《数字货币交易所架构初探》。两位老师分享的内容可谓干货满满，在本期文章中，我们先向大家介绍由Trapdoor CEO Star.LI 老师带来的《零知识证明–zkSNARK入门》主题分享和现场交流情。

在介绍零知识证明的技术细节之前，我们先来回顾一下零知识证明的历史
1985年 Zero-Knowledge Proofs [GMR85]
1992 年 Succinct ZK[K92]
2013 年 Pinocchio (PGHR13)
2016 年 Groth16
2017 年 Bulletproofs (BBBPWM17)
2018 年 zk-STARKs (BBHR18)
零知识证明，最早可以追溯到1985年的 Zero-Knowledge Proofs [GMR85] 创始论文。随后1992 年提出了精简的 ZK[K92] 证明。到了2013 年，零知识证明已经可以在现实生活中使用，但是速度较慢。2016 年的时候，Groth 提出了 Groth16算法，证明计算量被大幅度减少，从此，零知识证明开始逐步被真正的商用化落地。随后推出的 Bulletproofs 和 zk-STARKs，与 Groth16 被认为是目前主流的三个证明协议。
什么是“零知识证明”？

我们从事区块链开发的朋友们经常会听到“零知识证明”这样一个概念。那么究竟什么是零知识证明？如何去理解零知识证明？如果去运用它？
我们先通过一个“阿里巴巴零知识证明”小故事，来通俗解释一下什么是零知识证明。
阿里巴巴被强盗抓住，为了保命，他需要向强盗证明自己拥有打开石门的密码，同时又不能把密码告诉强盗。他想出一个解决办法，先让强盗离开自己一箭之地，距离足够远让强盗无法听到口令，同时又足够近让阿里巴巴无法在强盗的弓箭下逃生。阿里巴巴就在这个距离下向强盗展示了石门的打开和关闭。
这个整个过程就是零知识证明，证明者能够在不向验证者提供任何有用信息（石门的口令）的情况下，使验证者相信某个论断（阿里巴巴知道打开石门的方法）是正确的。