文章开头讲了讲 NIZK/zk-SNARK的根基观念，给出了zk-SNARK的事情流程图：

整个流程从工程的角度，又可以“切分”成几个大块：

在这个流程图上，清晰的给出了“电路”，“R1CS”以及“QAP”的干系。一个NP问题，先拍平（Flatten）组成电路（若干个乘秘诀/加秘诀组成）。在电路的基本上，结构约束，也就是R1CS。有了一个个的约束，就可以把NP问题，抽象成QAP问题。有了QAP问题的描写，Groth16的算法就可以初始化，生成以及验证证明白。

对整个PPT的内容感乐趣的小同伴，可以直接查察原文链接。我摘录一些较量出色的点，分享一下。

最近翻到一篇19年底360安详宣布的一篇有关零常识证明安详的文章。这篇文章是Zhiniang Peng在PacSec2019大会讲话的总结。文章框架性地先容零常识证明zk-SNARK的常识，并给出了一些安详提示和思考。

郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。