詳解Bedrock：Optimism推出的全新Rollup架構

今天我想談談 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。而且，我們也不只是說說而已，正一步步向着這個目標努力。

原文連結