Web 3 中的零知识技术：现在和未来

零知识技术，或简称 zk，是一种使能技术，不仅可以改变 Web 3，还可以改变其他行业。它是一种足够通用的技术，可以拥有大量用例。我们正处于弄清楚该技术可以实现的所有用例的早期阶段。一些明显的 zk 用例已经找到了真正的应用，例如启用交易隐私和数据压缩，即汇总。但是，要让 zk 成为主流采用，仍然需要许多潜在的用例和技术进步。

在本文中，我们首先回顾 ZKP 的不同应用。然后我们讨论什么可以实现这项技术的下一阶段，以及一些可以从这项技术中受益的创业想法。鼓励致力于这些想法的建设者联系或申请加入联盟创始人社区。联盟正在寻求支持和资助创始人朝着这个方向发展。

ZKP 应用地图

自发明以来，零知识证明 (ZKP) 已在加密行业站稳脚跟。ZKP 确实允许一些使技术真正令人兴奋的魔法。在高层次上，零知识证明允许实体向世界其他地方证明他们知道一条信息或他们已经正确完成了一项任务，而无需透露信息或显示任务执行的细节。zk 的神奇数学让我们只需检查生成的 ZKP 就可以相信知识或执行完成。出于这个原因，ZKP 的第一个也是最一致的用例是以隐私为中心的加密网络。ZKP 还被用来提供以太坊 L1 上的以太坊 L2 交易的有效性证明，以引入 zk rollups 的概念。此外，ZKP 在不同的项目中发现了其他利基应用。

以隐私为中心的支付和协议

ZKP 自然地实现了隐私，特别是在缺乏可以充当真相来源的中央权威的去中心化网络中。ZKPs 允许 Web 3 用户（证明者）向网络验证者（验证者）证明他们的交易是有效的，即他们有足够的余额可以花费，而无需透露交易细节（例如交易金额或发送者）或接收地址。

ZKP 最初是为了支持 Zcash 网络中的隐蔽（即私有）支付而开发的，然后扩展到其他网络。私人支付网络的实施包括

• 注重隐私的 L1：Zcash、Horizon、Aleo 和 Iron Fish
• 通用链上的隐私智能合约： Tornado Cash
• 注重隐私的 L2：Aztec

zk汇总的验证

ZKP 的另一个主要用例是在底层 L1 上生成汇总有效性证明。通用汇总通过不利用 ZKP 的隐私特性来优化吞吐量，即证明更多的 TX。在这种权衡中，ZKP 仅作为 L2 交易执行正确性的证明。

由于无法有效地证明一些通用功能，生成 ZKP 来证明任意智能合约的正确执行是很困难的。解决这个问题需要实现可以使用底层 zk 电路有效证明的专用 VM。由于这种复杂性，zk rollups 一开始只支持支付或单个应用程序，例如 DEX，可以轻松生成 ZKP。这里的例子包括 zkSync 1.0 和 Loopring。之后，通用的 zkEVM 实现开始出现在市场上，包括 Starknet、zkSync 2.0、Polygon zkEVM 和 Scroll。目前，所有 zk rollup 都在以太坊上，但可以在包括比特币在内的其他链上实现 zk rollups. 然而，比特币汇总的实施将需要更改比特币操作码和硬分叉链，这通常不受比特币社区的欢迎。