|
标准得到执行 好的，我们已经介绍了为什么等效性为强大的模块化抽象和极其简单的客户端部署打开了大门。但我们如何在链上实际执行这一操作？ 首先，这种模块化的强大之处在于灵活——只要解决方案与 EVM 等效，我们就可以使用它。而当它们变得可行时，这意味着对防欺诈证明的改进，甚至是等效于 EVM 的零知识证明，都可以轻松地插入现有的链下堆栈中。 不过从短期来看，我们目前需要一些可行的方法——我们已经找到了这一点。 一种解决方案是在 Solidity 中实现完美的 EVM 等效部署，但 EVM 是一个复杂的野兽，具有许多 VM 指令，因此这是一项艰巨的任务。此外，未来对 EVM 的更新也必须在 Solidity 中重新部署。 我们的解决方案是：不是在 Solidity 中部署 EVM，而是 部署 一个具有更小、更简单指令集的 VM，并在防欺诈证明期间在这一 VM 中运行 EVM。为此，我们必须简单地编译一个现有的 EVM 编译器，例如 geth，以便在更简单的 VM 中运行。 简单总结一下：我们允许 Geth 本身在一个有争议的环境中运行。由于 Geth 与 EVM 等效，因此这一环境也是如此。我们因此能够绕过在链上重新部署 EVM 的难度，同时摆脱应对 EVM 未来升级的繁重工作，使这一解决方案不会很快过时。 我们正在与我们最喜欢的 编译器专家 George Hotz 合作构建第一个 EVM 等效证明系统。进展令人兴奋——该系统已经可以运行自伦敦硬分叉以来的所有 L1 区块。通过一份防欺诈证明运行 L1 区块，是一个有趣的、违反直觉的想法——但这正是等效性所需要的！ 哇——关于这种方法还有很多令人兴奋的事情值得说，但我们必须把余下内容留给以后的帖子！ 以太坊的未来如果以太坊要实现以 Rollups 为中心的 未来，Rollups 必须成为以以太坊为中心。 等效性正是解决这一问题。 防欺诈证据已死。防欺诈证明安息吧这种以 Geth 为中心的模块化设计，不仅仅是我们使用的优雅部署，它是朝着防欺诈基础设施商品化迈出的一大步。今天，安全地设计和启动 rollup 需要对 L2 争议解决机制有着深入了解 ，以及它们如何与节点软件协同工作。这严重限制了创新——想象一下，在这个世界中，每个 WEB 开发者还必须是 IP 网络、系统管理和微芯片制造方面的专家。 未来的 Rollups 将非常简单，简单到不需要专门的 L2 专家来部署。这意味着 L2 将不再在如何或是否提供安全性方面展开竞争，而是竞争其提供安全性的内容。这包括在以下方面展开竞争：
|