详解Bedrock：Optimism推出的全新Rollup架构

原文标题：《a thread about the future of optimismFND》

原文作者：smartcontracts.eth，Optimism 开发者

原文编译：Kxp，BlockBeats

今天我想谈谈 Optimism 的未来发展、即将升级推出的 Bedrock、Rollup 去中心化以及 ZK，感兴趣的话欢迎继续阅读。

我在最近的一次演讲中探讨了 Optimism 的未来，今天我主要想重述一下我在那次演讲中的核心观点，这样我们才能充分理解 Optimism 的运作模式。此外，我也想和大家聊聊 Bedrock、去中心化和 ZK 的发展趋势。

Optimism 即将推出的 Bedrock 是有史以来最先进的 Rollup 架构，在各个方面都接近理论上的最佳状态——最佳交易费用、最佳差异点、最佳网络、最佳区块生产。Bedrock 之所以如此先进，是因为其兼具模块性和简约性，其设计理念是将 Ethereum 的现有代码变成 Rollup 代码。在实现了这一转换之后，客户端差异只剩下 500 行代码。

Bedrock 配置有全新的 L2 衍生管线，在向 Ethereum 发布交易数据时可以最大化节省 Gas 费用，也是唯一能做到这一点的 Rollup 架构。同时，它也是唯一一个使用 Ethereum 的 Engine API 进行共识/执行客户端分离的 Rollup。有了这些功能，Bedrock 将帮助 Optimism 成为第一个真正去中心化，且基于 EVM 的 Rollup。

要想设计一个既安全又能保证去中心化的 Rollup，我们就必须为其设置一个不包含升级密钥的证明机制（故障证明或「欺诈证明」），这样它就可以在没有长时间延迟的情况下更新证明。

Rollup 设计中的核心问题在于：在快速升级期间，即使你设置了故障证明，整条链的安全性仍然取决于升级密钥。在解决这个问题之前，Rollup 的安全性不可能真正实现——而解决这个问题的方法只有一个，那就是提升客户多样性和证明多样性。

与 Ethereum 一样，Rollup 也需要客户的多样性，这样系统故障就可以通过分叉来解决。当客户单一时，一个故障便可能成为关键安全事件。为了提升客户的多样性，Bedrock 还设有 500 行代码差异与共识/执行分离——而这均不属于故障，反而是经深思熟虑后的决定。如今，Optimistic Geth 已经上线，我相信未来还会有 Optimistic Erigon。此外，证明多样性在日后也将成为可能，实现故障证明的多种功能。最终，我们可以根据多种证明在多个客户端上的运行结果，来检测关键性的故障。

客户与证明的多样性将是未来的发展方向，实现向无升级密钥时代的平稳过渡。

与此同时，Bedrock 也是许多其他功能的基础。由于其灵活性与模块性，Bedrock 可以利用 L2 衍生管线和故障证明架构轻松地嵌入新的数据可用性层（这也是 OP Labs 帮助运送 EIP-4844 的原因所在）。只要 Ethereum 运出 EIP-4844，Optimism 就可以无缝迁移到数据块 Blob 模式，为用户节省大笔费用。

Bedrock 的灵活性还体现在：它是一个独立的 Rollup 客户端，而不是一个 Optimistic 的 Rollup 客户端。与其他设计不同的是，Bedrock 不针对某种特定类型的 Rollup 证明，甚至不了解证明的具体情况。现在，我们正在构建一个 Optimistic 证明——Cannon。

不过，这并不是说 Bedrock 不能用 ZK 证明系统来代替。我们认为 Optimistic Rollup 目前比 ZK 的同类产品更有优势，但 Bedrock 的设计是为了让 Optimistic 和 ZK 之间的无缝衔接成为可能。

Optimism 将成为未来的发展趋势，而 Bedrock 则是这一未来的基石。我们并不是要建立最好的 Optimistic Rollup 或最好的 ZK Rollup，而是要建立最好的 Rollup。而且，我们也不只是说说而已，正一步步向着这个目标努力。