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

發表於 2022-08-01 11:54 作者： Defi之道

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

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

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

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

Bedrock 架構

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

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

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

那這些爲什么很重要呢？

因爲 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 客戶端。

Optimistic 和 ZK 系統的無縫過渡

與其他設計不同，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 個做出決定；

標題：Optimism 的未來：Bedrock 升級 Rollup 去中心化以及融合 ZK 方案

地址：https://www.coinsdeep.com/article/5268.html

鄭重聲明：本文版權歸原作者所有，轉載文章僅為傳播信息之目的，不構成任何投資建議，如有侵權行為，請第一時間聯絡我們修改或刪除，多謝。