最近整理了一下之前研究零知识证明搜集的一些资料，主要是自己感兴趣的一些领域，哪怕不做底层的理论研究，我们还是应该了解一下为什么要做这样的研究，它是为了解决什么问题，以及现有工具各自的优缺点是什么。 这篇文章的内容结合了我自己之前整理的部分材料，以及Mary Maller的一个speaking，总的来说适合对于零知识证明已经有一定了解的同学阅读。（如有纰漏，欢迎指正）不同类型的零知识证明协议几种不同类型的setupTrusted setup：生成的参数仅对当前的应用有效，若要证明的程序出现了修改需要重新进行setup（参与方之一必须是诚实的，对toxic进行销毁操作）Universal setup：整个证明系统仅需进行一次setup，生成的参数可以进行转化，被所有证明程序使用（参与方之一必须是诚实的，对toxic进行销毁操作）Transparent setup：setup无需可信第三方，只需确保系统参数是随机生成的，如使用指定数据的hash值from Wiki使用MPC进行可信设置from Vitalik's Blog💡 目前业内通常使用Powers of Tau协议进...