ZKP 技术是 Web3 领域中最具创新性的技术之一，它为突破性协议和公司提供了一些机会。
原文编译：ChinaDeFi
零知识技术 ( 简称 ZK) 是一种使能技术，它不仅将改变 Web3，还将改变其他行业。它是一种可以通用的技术，具有大量的用例。我们正处于弄清这项技术所能实现的所有用例的早期阶段。一些明显的 ZK 用例已经有了实际的应用程序，如启用交易隐私和数据压缩，即 Rollup。然而，要使 ZK 获得主流采用，仍然需要许多潜在的用例和技术进步。
在本文中，我们将首先回顾 ZKP 的不同应用。然后会讨论什么可以使这项技术的下一阶段成为可能，以及关于一些可以从这项技术中受益的初创公司的想法。
零知识证明 (ZKP) 自发明以来就在加密行业中找到了强大的立足点。ZKP 确实有一些「魔法」，使这项技术非常令人兴奋。在较高的级别上，ZKP 允许实体向世界的其他部分证明他们知道一条信息，或者他们已经正确地完成了一项任务，而无需透露该信息或显示任务执行的细节。ZK 的神奇数学允许我们通过检查生成的 ZKP 来信任知识或信任执行已完成。因此，ZKP 的第一个也是最一致的用例是关注隐私的加密网络。ZKP 还用于在以太坊 L1 上提供以太坊 L2 交易的有效性证明，以引入 ZK-Rollup 的概念。此外，ZKP 还在不同的项目中发现了其他小众应用。
ZKP 原生的会保护隐私，特别是在去中心化的网络中，缺乏一个可以作为真相来源的中心化机构。ZKP 允许 Web3 用户 ( 证明者 ) 向网络验证者 ( 验证者 ) 证明他们的交易是有效的，同时他们不需要透露交易细节，如交易金额，发送者或接收者地址。
ZKP 最初是为了支持 Zcash 网络中的隐蔽功能，即私人支付，其后又扩展到其他网络。实施私人支付网络包括：
ZKP 的另一个主要用例是在底层 L1 上生成 Rollup 有效性证明。通用 Rollup 决定不用 ZKP 的隐私特性，这样就可以优化吞吐量，即证明更多的 TX。在这种权衡中，ZKP 仅作为 L2 交易执行正确性的证明。
由于一些通用函数不能被有效地证明，生成 ZKP 来证明任意智能合约的正确执行是很困难的。解决这个问题需要专门的 VM，这些 VM 可以使用底层 ZK 电路有效地进行验证。由于这种复杂性，ZK-Rollup 最初只支持支付或单个应用程序，例如，可以很容易地生成 ZKP 的 DEX。这里的例子包括 ZKSync 1.0 和 Loopring。之后，通用的 zkEVM 实现开始出现在市场上，包括 Starknet、zkSync 2.0、Polygon zkEVM 和 Scroll。目前，所有 ZK-Rollup 都在以太坊上，但也有可能在包括比特币在内的其他链上实现 ZK-Rollup。然而，实施比特币 Rollup 将需要改变比特币操作码和硬分叉链，这通常不受比特币社区的欢迎。
