问题的第一部分很容易回答。ZK-SNARKs，无论他们的有趣名字可能暗示什么，都只是零知识证明，即： 请注意，本文是 Real-World Cryptography一书的一部分。 什么是 ZK-SNARK，它们是如何工作的？这是我多年来一直有的一个问题，并且一直觉得我找到的资源并没有给出关于所有这些东西如何工作的清晰直觉。所以今天，在我自己的理解有了突破之后，我觉得还是把我学到的东西重新分享给一个更容易理解的图景就好了。这篇文章的目的是让您以直观的方式思考这些事情，并注意您可以自己填补的空白（如果您愿意的话）。 让术语不碍事 问题的第一部分很容易回答。ZK-SNARKs 不管他们的有趣名字可能暗示什么，都是简单 的零知识证明，即： 非交互式 一般用途 简洁 “咦，这些都是什么字？” 你问，被他们的含糊吓倒了。 首先， 零知识证明 是加密证明你知道某事，而不透露某事（零知识）。那个“东西”通常被称为 见证人，但这个细节并不重要。有很多关于零知识证明的资源，所以我不会解释它们是如何工作的，或者它们的确切密码属性是什么（完整性、可靠性、零知识）。零知识证明经常被用来证明你知道某个组元素...