来源 | @yezhang 感谢 Vitalik Buterin、Barry Whitehat、Chih-Cheng Liang、Kobi Gurkan 和 Georgios Konstantopoulos 的审阅和评论摘要我们相信 zk-Rollup 迟早成为 L2 赛道的佼佼者 — 这是一个非常便宜且安全的一流 L2 扩容解决方案。然而,现存的 zk-Rollup 都是应用专用型的,这让开发者难以在 zkRollup 中构建通用的可组合的 DApp 并迁移现有的应用程序。我们引入了 zkEVM,它可以为通用的 EVM (以太坊虚拟机,Ethereum Virtual Machine) 验证零知识证明 (zk proofs)。这允许我们构建一个完全兼容 EVM 的 zk-Rollup,任何现有的以太坊应用程序都可以轻松地迁移过去。 在本文中,我们指出了 zkEVM 的设计挑战何在以及为什么现在这个方案可行。我们还给出了更加具体和直观的描述、并概述了如何从头开始构建 zkEVM。背景zk-Rollup 被视为以太坊最好的扩容解决方案。它的安全性可以与以太坊一层网络的安全性媲美,并...