浅谈零知识证明之三：zkSNARK证明体系的实现
15 Mar 2020距离上期更新已经过去了几个月了。前段时间回到美国之后，忙了好一阵子，这学期跟着Dan继续学习了密码学（CS255 Introduction to Cryptography）。这两天美国新冠疫情严重，封城在家里，正好有空把我的零知识证明笔记拿出来整理一下，继续写第三篇。
这一期，我们接着上一次讲过的数学运算电路，讲一讲简短零知识证明（zkSNARK）体系的具体实现和背后的原理。由于内容实在太多，我打算把这期的内容一分为二。
距离上期更新已经过去了几个月了。前段时间回到美国之后，忙了好一阵子，这学期跟着Dan继续学习了密码学（CS255 Introduction to Cryptography）。这两天美国新冠疫情严重，封城在家里，正好有空把我的零知识证明笔记拿出来整理一下，继续写第三篇。
这一期，我们接着上一次讲过的数学运算电路，讲一讲简短零知识证明（zkSNARK）体系的具体实现和背后的原理。由于内容实在太多，我打算把这期的内容一分为二。
上一期文章发表之后，非常惊讶有那么多小伙伴读完了表示喜欢。那么我们接着这期继续吧！这次，我们专注的聊一聊SNARK。
相信看完前一篇文章的朋友们会有一点很不解的地方：为什么我们可以如此简短的创建一个证明，并且证明很长的信息呢？在上课前我也有这同样的疑惑，甚至觉得这个是一个“黑科技”，不过相信大家看完这篇文章，就会知道如何去驾驭这个“黑科技”了。
在详细讨论之前，我们得稍微严肃一点，系统性的学习一下SNARK的基本构造。
上个学期在斯坦福跟着Dan Boneh学习了区块链和数字货币相关的技术。和以往的课程不同的是，今年的课程新添加了一个章节，叫做零知识证明。萌萌的Dan和他的大神phd Ben Fisch给我们轮流上课，花了两周时间讲完了零知识的起源、概念和zkSNARK的实现。
这两天考完期末考试，复习的过程中在脑海中再三回味整堂课，觉得最精彩的部分还是零知识证明。想着最近趁着假期总结一下，分享给大家。