零知识证明 - 有关Groth16的zk证明的理解

今天无意中又翻开了Groth16的论文，发现当初对Groth16算法中的zk证明理解不清晰。今天和朋友们讨论，终于给出比较满意的理解。分享一下，方便其他朋友理解Groth16算法或者NIZK算法的形式化表达。非密码学专业，在理解，用词方面比较随意，主要记录理解过程。有专业的朋友看到这篇文章，欢迎批评指正。Groth16论文的下载地址：https://eprint.iacr.org/2016/260.pdf。Groth16算法的形式化表达由(Setup, Prove, Vfy, Sim)组成：请注意，在Setup过程中，为关系R生成simulation的trapdoor。Prove和Vfy比较简单，就是生成和验证证明。Sim是只需要trapdoor和statement的情况下，能生成证明。有关完美零知识（Perfect zero-knowledge）的定义：通过Prove生成可认可的证明和通过Simulation生成可认可的证明概率一样。 ………………………………