Optimism 的未來：Bedrock 升級 Rollup 去中心化以及融合 ZK 方案_IMI:Optimus OPT3

注：原文作者是 Optimism 核心開發者 Kelvin Fichter（smartcontracts）。

以下是關于 Optimism 未來的帖子，包括即將到來的 Bedrock 升級，Rollup 的去中心化以及關于 ZK 的部分。Bedrock 是一個 Rollup 客戶端，而不是一個 Optimistic Rollup 客戶端。

我最近發表了一次題為《何時？》的探索 Optimism 未來的主題演講，由于 Optimism 做的所有東西都是開放的，因此這次演講里面有很多 alpha 信息。

我想談談我在那次演講中提出的一些最重要的觀點，因為它們對于理解“為什么 Optimism 會以這種方式做事”是至關重要的。讓我們來談談 Bedrock、去中心化以及 ZK 的未來。

Optimism社區正在準備主網Bedrock升級提案的新版本:3月6日消息，據社區成員lavande的透露，關于以太坊二層解決方案Optimism主網Bedrock升級提案的新版本（即V2版本）將在第11周期的審核期間發布，第11周期的評審期為3月2日-3月22日，投票期為3月23日-4月5日。據悉，Bedrock是由OP Labs開發的新一代去中心化Rollup基礎架構，旨在為Layer2網絡提供模塊化、簡單性和以太坊等效性。

此前金色財經報道，Optimism社區關于主網Bedrock升級的投票推遲至3月2日開始。[2023/3/6 12:44:26]

Optimism 即將推出的 Bedrock 設計是有史以來最先進的 rollup 架構。這不是什么比賽，Bedrock 在各個方面都接近理論上的最優值，包括最優的交易費用、最優網絡以及最優區塊生產。

Optimism Goerli測試網將于1月13日升級至Bedrock架構，可減少約20%Gas費:1月11日消息，Optimism Goerli測試網將于1月13日2:00開始升級到Bedrock架構，升級所需時間約為2小時。此次升級類似于硬分叉，新的OptimismGoerli鏈將是舊鏈的延續，不會發生歷史交易數據丟失和鏈在區塊0處重置的“再生”事件。

升級期間，將暫停之前Optimism Goerli測試網上的存提款，停止接受之前Optimism Goerli序列器上的交易，升級Layer 1上的智能合約，并在Layer 2上進行非常規狀態過渡。同時，此次升級將啟動Bedrock序列器，重新開放存提款功能，并分發與新系統交互的合約地址、二進制文件和數據目錄。

據悉，此次升級將減少大約20%的Gas費用，縮短存款時間，構建更安全、穩定的代碼庫和產品，并簡化節點基礎架構。[2023/1/11 11:05:48]

Bedrock 之所以如此先進，是因為它非常模塊化并且是極簡的，它的設計理念是把以太坊現有的代碼變成 Rollup 代碼，并且我們成功了。我們的客戶端差異是 500 行代碼。

Optimism推出模塊化組件OPStack，支持構建自定義鏈“op-chains”:10月18日消息，以太坊二層解決方案Optimism推出模塊化組件OP Stack，支持組裝構建自定義鏈“op-chains”以適應任何用例，此外通過共享排序和消息傳遞層，未來“op-chains”之間的界限將會消失，形成一個單一的邏輯鏈“Superchain”，從而將集體的資源開放給插入“Superchain”的許多不同的“op-chains”。[2022/10/18 17:30:00]

Bedrock 有一個新的 L2 派生管道，使其成為了一個獨一無二的 rollup 架構，在將 tx 數據發布到以太坊時擠出每一點節省的 gas。Bedrock 也是當前唯一使用以太坊引擎 API 實現共識/執行客戶端分離的 rollup 設計。

去中心化交易平臺 Clipper 現已擴展至 Optimism:2月15日消息，去中心化交易平臺 Clipper 官方宣布網絡現已擴展至 Optimism，Clipper 用戶可以更低的成本和更快的速度處理交易。為集成到Optimism，Clipper 編寫了使用壓縮調用數據的自定義方法，這將 Clipper 交易成本降低了約 50%。此外，Clipper 將為 Optimism 流動性提供者推出新的 CLP。[2022/2/15 9:52:33]

那這些為什么很重要呢？

因為 Bedrock 是使得 Optimism 成為第一個真正去中心化的 EVM Rollup 的基石。

為了使一個 rollup 真正安全與去中心化，它需要有一種證明機制（故障證明或有時是“欺詐證明”），而無需任何類型的升級密鑰，可以在不長時間延遲的情況下更新證明。

這就是 rollup 骯臟的真相，如果你有快速升級，即使你有故障證明，你的區塊鏈安全性仍然取決于你的升級密鑰。而在解決該問題之前，你根本無法獲得真正的 rollup 級安全性。

目前，只有一種方法可以一勞永逸地解決這個問題：客戶端多樣性以及證明多樣性。

就像以太坊需要客戶端多樣性（Geth、Erigon、OE、Nethermind 等）一樣，rollup 也需要客戶端多樣性。有了客戶端的多樣性，一個漏洞就變成了一次鏈分裂，并且可以得到解決。而如果沒有客戶端多樣性，一個漏洞就有可能成為關鍵的安全事件。

Bedrock 的 500 行代碼差異以及共識/執行分裂并非是偶然。這是一個深思熟慮的決定，旨在使 rollup 客戶端多樣化成為可能。我們已經有了 Optimistic Geth，那你知道還會有 Optimistic Erigon 嗎？

我們最終還將通過故障證明的多種實現來證明多樣性。最終結果是，我們可以使用多個客戶端運行多個證明，這意味著我們可以通過查看任何證明結果是否不一致來檢測關鍵的漏洞。

客戶端和證明的多樣性是未來，它將使我們能夠安全地刪除快速升級密鑰。

但 Bedrock 也是其他東西的基礎……

Bedrock 非常靈活和模塊化，我們的 L2 派生管道和我們的故障證明架構，意味著 Bedrock 可以輕松插入新的數據可用性層。這就是為什么 OP Labs 正在努力幫助交付 EIP-4844 ("proto-danksharding")。

一旦以太坊交付 EIP-4844，Optimism 就可以無縫遷移到「data blobs」交易類型，用戶將能夠節省大量的 gas 費用。

并且，Bedrock 是非常靈活的，它是一個 Rollup 客戶端，而不是一個 Optimistic Rollup 客戶端。

與其他設計不同，Bedrock 與所使用的 Rollup 證明類型完全無關，它甚至不知道證明。現在，我們正在構建一個 Optimistic 證明……

但是 Bedrock 也可以使用一個 ZK 證明系統，我們認為 Optimistic Rollup 目前相比 ZK 同類產品具有優勢，而 Bedrock 旨在使 Optimistic 和 ZK 之間的無縫過渡成為可能。

Optimism 是為未來做準備的，而 Bedrock 就是未來的基礎。這并不是關于構建最好的 Optimistic Rollup 或最好的 ZK Rollup，而是關于構建最好的 Rollup。我們不只是這么說，我們是從頭開始這么設計的。

如果你想了解更多信息，我強烈建議你看看《Wen?》這期演講視頻，它大約有 1 個小時的時間，并且要比這篇文章中提到的要更詳細得多。

而關于這個帖子，以太坊聯合創始人 Vitalik Buterin 也發表了他的看法：

“混合思路：optimistic + ZK，治理只用于判決兩者之間的漏洞。

1、發布區塊；

2、等待 24 小時時長的欺詐挑戰期；

3（a）如果沒有挑戰，則發布 ZK SNARK，最終確認；

3（b）如果出現了挑戰，根據（挑戰游戲、ZK SNARK 以及治理）的 3 個選項中的 2 個做出決定；

Tags：TIMIIMITIMPTIOptimism DogeLIMIT幣Optimus OPT3OptionRoom

火星幣