什么是零知识？

首先，让我们温习一下什么是零知识证明：

零知识证明是一种让人相信你知道一个秘密的方法，而不告诉他们这个秘密。

这个想法最早是在20世纪80年代提出的，但直到1991年才利用三色问题发现了一种开发零知识证明的实际方法。

在此案例中，我们有一个连接节点的图。节点可以用三种颜色着色，但相邻的两个节点的颜色必须不同。

有可能证明你知道一个解决方案，同时向验证者提供关于该解决方案的零知识。只需揭示(暴露)两个节点（不显示任何其他节点），直到验证者达到极高的信心。可以用非常大的数组和无数的揭示来重复计算，以创造复杂问题的零知识。

这个解决方案证明了零知识证明是可能的，并形成了此后的创新和发展的支柱。

zk-proof 的标准

让我们仔细看看究竟是什么定义了zk-proof（也被称为ZK证明-零知识证明）。为了通过验证测试，一个ZK证明必须满足三个标准：

完整性（Completeness）：如果证明（statement）是真的，验证者将被证明所说服，而不需要任何额外的信息。
健全性（Soundness）：如果证明（statement）是假的，验证者将无法通过证明说服验证者相信它是真的。
零知识（Zero-knowledge）：验证者除了知道证明（statement）是真的之外，并不了解关于任何其他信息。

交互式证明与非交互式证明

在零知识证明的范畴内，我们可以根据所需的交互程度一般将其分为两种类型：

交互式证明通过来回沟通说服验证者。回想一下我们的三色例子。在此案例中，验证者必须要求看到更多的节点（彩色圆圈），而验证者则必须一次又一次地揭示它们。检验者和验证者不得不多次相互交流。这种方法很简单，但对于复杂或计算机化的任务来说并不理想，比如区块链交易。考虑一下，如果一个zk-rollup需要与第1层通信数千次，只是为了执行一批交易；费用和滞后将是无法忍受的。

非交互式证明将证明者和验证者之间所需的沟通程度降低到只有一条信息。这背后的计算对这篇科普文章来说太复杂了, 有兴趣可以查看这个论文，总结一句话是这样：验证者（verifier）被一个算法取代，他向证明者（Prover）提出随机问题或测试。证明被生成并发送给验证者（Verifier），验证者使用另一种算法来确认证明者事先并不知晓是什么问题或测试，并且证明符合完整性、健全性和零知识的标准。非交互式zk证明的发展使其能够用于更多的实际应用。几乎所有的零知识加密工具都使用非交互式证明。

非交互式证明：SNARKs和STARKs

如果 "零知识" 不是一个足够奇怪的术语，那么我们现在进入真正奇怪的词语：SNARKs和STARKs。

简洁的非交互式知识论证（SNARKs）和可扩展的透明知识论证（STARKs）是ZK证明中最常见的两种类型（尽管不是唯一的）。

SNARKs的名称中有 "非交互式"，其主要特征在于它们如何生成允许验证者和证明者进行非交互式通信的验证方法。这是通过创建一个通用参考字符串(CRS)来实现的，这是一个公共参数，双方都用来创建/验证证明。

但是，创建CRS有一个缺点：必须有人来做这件事！这就引入了安全风险！这引入了安全风险，因为现在有其他实体参与了这个过程。(对某些人来说，这违背了首先使用ZK证明的目的：不可信任）。在创建CRS的过程中，相关各方可以接触到敏感信息，这些信息可以被用来创建虚假证明。这种信息被迷人地称为 "有毒废弃物"，一旦生成了CRS，就必须将其删除。

为了限制所涉及的安全风险，CRS通常使用多方计算（MPC）设置仪式来创建。在这种方法中，多方输入创建CRS所需的一些“有毒废弃物”，并使其相互隐藏。这样一来，只要有一方在最后删除他们的有毒废弃物，CRS就得到了保障。然而，风险仍然存在，若他们不这样做。

STARKs(由Starknet开发)通过消除CRS为这个问题提供了一个解决方案。不再需要"有毒废弃物"，参数是随机产生的，使用可公开验证的方法。除了这一安全优势外，STARKs也比SNARKs更快地证明和验证，特别是对于复杂的证明。主要的缺点在于它们对数据的使用：STARK证明比SNARK大得多，使它们的使用成本更高。

SNARKs因其较低的成本和相对的简单而被许多零知识工具所使用。最著名的第二层以太坊 Rollup 扩容，zkSync，需要使用可信的设置仪式。不过，它包括200多个参与者(甚至是Vitalik Buterin本人也在内！)，只要其中一个人是诚实的，整个系统就是安全的。在另一篇文章中单独科普 ZKRollup

同时，STARKs正被越来越多地采用，特别是在有高安全需求的情况下。

ZK的使用案例超越了 Rollup

这就把我们带到了有趣的部分：我们如何才能真正使用这些零知识的东西？

第二层Rollup是实现最好的使用场景，有几个突出的例子，包括zkSync、Loopring、ZKSpace和Aztec 。但是，零知识是一个快速、持续发展的领域，

新的应用一直在出现。在这篇文章中，我们将看一下其中的两个应用：隐私加密货币和ZK身份。(请继续关注我们的ZK 科普文章，将看看最新的使用场景：ZKEVMs）。

身份

零知识的一个最有趣的实现是在身份验证中。在加密领域，人们保持匿名和使用虚拟网名的情况并不少见；你肯定见过Twitter上的主要影响者，他们只通过一个ENS域名和一个NFT 而被大家所知。

甚至是大型项目的创始人，他们在整个职业生涯中都保持 "无名 "状态。一个例子是0xMaki，他是SushiSwap的前主厨，现在是LayerZero团队的成员。

这就提出了一个具有挑战性的问题：我们怎么能把我们辛苦赚来的资金交给一个匿名人呢？虽然加密货币的原住民可能对这一前景毫不畏惧，但对于具有传统金融背景的人来说，这是一粒难以下咽的药丸。

但是，考虑一下ZK身份工具可以解锁这样的场景：

为了申请贷款，一个匿名的债务人可以证明他们以前曾贷款并按时偿还，而不透露他们的身份、贷款的规模或目的。
在对DAO提案或社区决策进行权衡时，有人可以证明他们的股份大小、在项目中的时间，或在更广泛的空间中的声誉，而不透露他们的身份或这些资格的确切细节。
为了有资格获得空投、NFT铸币白名单、早期访问DApp或其他独家机会，有人可以证明他们的持股规模，收集独家NFT，广泛的交易历史，或类似的，而不透露这些敏感信息的确切性质。

而这样的场景还在不断增加。一些项目已经开始实施零知识身份解决方案，其中最突出的是Polygon ID。

Polygon ID是一个由Polygon区块链团队开发的零知识身份平台。该平台为终端用户提供隐私，并为dApps和协议提供链上验证，创造了一个更加隐私和更加安全的环境。Polygon的联合创始人Mihailo Bjelic曾表示，Polygon ID是第一个"数字身份空间"，"默认隐私，提供链上验证和无许可证明。"

隐私区块链和加密货币

零知识是一种强大的交易和通信方式，而不透露多余的信息。这使它成为推动加密货币隐私这个关键目标的流行技术。

许多项目都采用了 ZK 证明来匿名交易，保护用户隐私，并对数据进行加密。

其中最有名的是Zcash，它在2016年推出时是"zk-SNARKs的第一个广泛的应用"。Zcash "屏蔽交易（shielded transactions）"对交易的发起者、收款人和金额进行完全加密。Zcash声称其技术超过了Monero等其他私有加密货币，因为它还隐藏了交易路径，使得追踪Zcash交易变得极其困难。目前Zcash的市值为4.95亿美元，24小时交易量为3300万美元。

Zcash历史上一个耐人寻味的部分是"启动仪式"，这是历史上最著名的信任设置。为了在2016年推出Zcash，私钥在两天的过程中在全球六个地方生成。之后，这些有毒废弃物被销毁了--用电锯和篝火进行物理销毁！在这一仪式中，联合了摩根大通和爱德华-斯诺登这样的”怪人“都参加了。

销毁用于Zcash仪式的其中一台电脑。资料来源：IEEE Spectrum

另一个采用ZK保护隐私的突出例子是TRON区块链和加密货币。2020年7月，Tron升级到Tron 4.0，并引入TRONZ隐私协议，基于SNARKs。这为网络增加了三种类型的交易：铸造隐蔽的TRC-20代币，将其销毁回非隐蔽的形式，以及地址之间的隐蔽转账。

虽然Zcash和Tron是第一层，Aztec是一个面向加密的以太坊第二层。它使用zk-SNARKs来Rollup交易，以降低费用，同时也完全加密它们。它的Aztec Connect SDK允许开发者在以太坊上也建立加密的dApps和DAO。建立在Aztec上的zk.money协议是一个具有加密和降低费用的以太坊 DeFi工具。