zkEVM 的取舍，EVM 等效还是证明速度？
nataliemarie.eth热度: 15502
zkEVM 通过使用证明电路来生成证明，以验证 EVM 执行的程序的正确性，从而将这个概念向前推进了一步。
原文作者：nataliemarie.eth，Volt Capital 研究员
原文来源： Twitter
编译：Frank，Foresight News
对于许多人来说，zkEVM 被视为扩展以太坊的「终局」，区块链中有许多零知识技术的应用，包括 zk-L1s、zkEVM rollup 和 zk-zk-rollup，但 zkEVMs 则是关于如何使用 zk-proof 的简洁性来扩展以太坊。
一般来说，zk-rollup 的工作方式是在链下执行批量交易，并定期在 L1 上发布证明，以证明这些交易的有效性。
zkEVM 通过使用证明电路来生成证明，以验证 EVM 执行的程序的正确性，从而将这个概念向前推进了一步。
zkEVM 的设计需要进行权衡，就像任何其他选择一样，其中最值得注意的是在完全 EVM 等效性和用于生成有效性证明的证明电路的速度之间进行取舍：
为完全的 EVM 等效性进行优化，意味着与现有的以太坊应用程序兼容，并且大大减少了以太坊生态开发人员的工作量，他们可以重用大部分现有的基础设施和工具（包括执行客户端、区块浏览器、调试工具等），然而，这也意味着证明时间要慢得多……
为加快证明时间进行优化，意味着更好的执行速度和性能，但也会失去与许多 EVM 功能的兼容性，以及使用现有工具（如低级调试器）的能力。
目前有许多团队在推动 zkEVM 的研发，包括：
- Polygon zkEVM、Scroll，它们更关注 EVM 等效性；
- zkSync、StarkWare（StarkNet），它们更注重证明速度；
免责声明：本文不构成投资建议，用户应考虑本文中的任何意见、观点或结论是否符合其特定状况，及遵守所在国家和地区的相关法律法规。
