zkEVM 的取舍,EVM 等效还是证明速度?
收藏
分享
微信扫一扫
分享到朋友或朋友圈
对于许多人来说,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),它们更注重更注重证明速度;
免责声明:本文版权归原作者所有,不代表MyToken(www.mytokencap.com)观点和立场;如有关于内容、版权等问题,请与我们联系。