ZK-EVM

Vitalik 发布新文,探讨 ZK-EVM 的未来展望与挑战

ChainCatcher 消息,以太坊联合创始人 Vitalik Buterin 发文深入探讨了“ZK-EVM”(Zero-Knowledge Ethereum Virtual Machine)的概念及其可能实现形式。 文章指出,当前的 Layer-2 EVM 协议(如 Optimistic Rollups 和 ZK Rollups)需要依赖于 EVM 的验证机制,但这同时意味着他们必须信任庞大的代码库。一旦代码库中存在漏洞,这些虚拟机可能面临被攻击的风险。此外,即便是希望与 L1 EVM 保持完全等效的 ZK-EVM,也需要一定形式的治理机制,以便将 L1 EVM 的变更复制到自己的 EVM 实现中。 Buterin 提出的 ZK-EVM 概念,旨在减少 Layer-2 项目对 Ethereum 协议功能的重复实现,并提高其在验证 Layer-1 Ethereum 区块时的效率。他还展望了未来光客户端(light clients)将更加强大,甚至可能利用 ZK-SNARKs(零知识证明)完全验证 L1 EVM 执行,届时 Ethereum 网络将实质上具备内置的 ZK-EVM 功能。 文章还讨论了实现 ZK-EVM 的不同版本,包括它们的设计挑战、权衡利弊,以及为何某些方向可能不被采纳。强调了在实现协议功能时,应权衡其优势与保持基础协议简洁性的好处。对于 ZK-EVM 的关键属性,Buterin 强调了其基本功能性、与 Ethereum 多客户端哲学的兼容性、数据可用性要求、可审计性和可升级性。此外,他还提到了对“almost-EVM”的支持,即允许 L2 的 VM 在与 EVM 只有微小差异的情况下,仍能使用协议内的 ZK-EVM,同时也为 EVM 的部分定制化提供了灵活性。
ChainCatcher 与创新者共建Web3世界