Matter Labs 共識負責人致 Jon Charbonneau 的公开信:關於 Rollup 的一些想法

發表於 2023-08-09 08:23 作者: 白話區塊鏈

翻譯:火火/白話區塊鏈 

1、什么是Rollup、什么不是Rollup?

首先,我確實同意:

  1. 這裏有兩個不同的概念。我暫時將它們稱爲“rollup 橋”和“rollup 區塊鏈”。

  2. Rollup 橋和 Rollup 鏈是分开的,並且可以彼此“分叉”。

  3. L1 和 L2 是相對術語,取決於給定資產的發行地/原產地。

讓我們從一個思想實驗开始。想象一下我們有兩個獨立的現有區塊鏈,比如說以太坊和Near鏈。我們能否在不修改協議的情況下在它們之間建立一個無需信任的雙向橋梁?我們可以!首先,假設我們爲 Near 的 VM 和共識开發 zk 有效性證明(我所有的例子都將是關於 zk rollups,這對我來說更簡單)。這顯然不需要對 Near 的協議進行任何更改,我們只需找到一種方法來證明給定的塊是 SNARK/STARK 內的有效狀態轉換。現在,我們還在以太坊上創建一個智能合約來驗證這些證明,我們就完成了。

現在,任何人都可以向以太坊提交近區塊(或狀態增量)以及有效性證明,並且智能合約將知道 Near 區塊鏈的狀態,而無需任何信任假設。然後從Near向以太坊發送消息就很簡單了,你只需要向以太坊中的智能合約提交Near狀態的Merkle證明,這樣你就可以證明Near狀態的任何部分。這是第一個認識。我們不會將Token或數據從一個區塊鏈發送到另一個區塊鏈,沒有任何移動,這些仍然是獨立的數據庫。我們只是在另一個區塊鏈中證明一個區塊鏈的狀態。跨區塊鏈轉移Token只是一個方便的抽象。

但到目前爲止這是單向的,我們只在以太坊上證明 Near 的狀態。我們如何做相反的事情呢?很簡單,我們爲以太坊开發有效性證明,在 Near 上創建驗證者合約,並將以太坊區塊和有效性證明發送到 Near。現在我們可以證明以太坊在Near中的狀態。有了兩個單向免信任橋,我們就得到了一個雙向橋。

然而,這思考了一個問題,爲什么我們需要兩座橋梁?Rollup 沒有兩個橋,Arbitrum 和 zkSync 在其狀態下沒有以太坊橋,這裏發生了什么?嗯,他們有,但這是一種不同類型的橋梁。我們強制 zkSync 全節點也是以太坊全節點,Arbitrum 全節點也是如此。

這是第二個認識,所有匯總實際上都有兩個單向橋。只是在 zkSync → 以太坊方向上我們使用有效性證明+狀態增量,而在以太坊 → zkSync 方向上我們只使用全節點橋。顯然,連接以太坊和近端的一個可能的解決方案是要求每個以太坊全節點也是近端全節點,反之亦然。這實際上會達到同樣的目的,只是有點愚蠢,因爲它不能很好地擴展。

但現在我們在以太坊和近鄰之間有兩個帶有有效性證明的橋梁。我們可以在另一個區塊鏈上證明一個區塊鏈狀態,並用它來“移動資產”和“發送消息”。我想指出的是,我們沒有改變任何協議,我們不需要以太坊或Near的完整節點提供任何額外的功能,每個區塊鏈甚至可能不知道這些橋。像 Matter Labs 或 Coinbase 這樣的完全的第三方可以維護(並最終無法維護)這些橋梁。

那么,以太坊和近期是否正在上Rollup?由於其區塊發布在以太坊上,Near 現在更安全了嗎?如果橋梁停止工作,區塊鏈的安全性是否會降低?我想你會同意,不,任何一個區塊鏈都沒有改變。只是現在每個區塊鏈上都有一個智能合約,可以訪問另一個區塊鏈上的狀態。請注意,這些橋梁也是獨立的,如果其中一座發生故障,另一座完全不受影響。

現在我們可以討論不同類型的橋梁。帕特裏克·麥考裏 (Patrick McCorry) 發表了一篇文章 Rollup正在驗證橋梁。我可以說我總體上屬於帕特裏克的陣營,但我認爲實際上還有更多類型的橋梁:

第一種是“全節點橋”。這些只是一個區塊鏈的完整節點也是另一個區塊鏈的完整節點的情況。這是網橋的最高安全級別,這就是不信任網橋的實際情況。該橋沒有額外的安全假設。對於大規模來說,它也是完全不可行的。在以太坊+近思想實驗中,如果我們要求所有全節點都是兩個區塊鏈的全節點,那么擁有兩個不同的區塊鏈就沒有意義了。不過,如果一個區塊鏈的節點要求比另一個區塊鏈的節點要求小得多,那么它在一個方向上是有意義的。這正是 zkSync、Arbitrum、Optimism 等 Rollups 中發生的情況。

第二種是“有效性橋梁”。這是一個使用 zk 證明來證明給定狀態轉換(即 zk rollups)有效性的橋梁。我們有與用於這些有效性證明的證明系統相關的額外信任假設。

第三種是“OP橋梁”OP Rollups中使用的橋類型。這裏的額外信任假設與博弈論以及Rollup的至少一個誠實完整節點的存在有關。

有效性橋和OP橋都旨在接近全節點橋的安全性,而不需要相同級別的資源。實際上,有效性或OP橋幾乎就像另一個區塊鏈的完整節點,但它只是一個智能合約。

當然,還有輕客戶端橋(如 Near 的 Rainbow 橋)、多重籤名橋等。在我們實際上可以使用這個模型來對不同的 rollup 項目進行分類。例如,zkSync Era 是一個集中式(即單個驗證器)區塊鏈,具有來自以太坊的全節點橋和以太坊。

這就是當今大多數Rollup的情況:具有從基礎鏈开始的全節點橋接以及到同一基礎鏈的有效性或樂觀橋接的區塊鏈。請注意,這在鏈之間創建了一種層次結構,以太坊完整節點不會成爲任何匯總決定橋接到它的完整節點,但匯總完整節點幾乎被迫成爲以太坊完整節點。

最後請注意,Rollup區塊鏈不會繼承母鏈的技術安全性。換句話說,將某些區塊鏈的數據(和證明)發布到以太坊不會增加該區塊鏈的安全性。使用以太坊的數據可用性只是爲了 Rollup 橋的利益,而不是爲了 Rollup 區塊鏈的利益。這意味着Rollup橋包括智能合約和以太坊上的數據可用性,並且Rollup區塊鏈只是一個區塊鏈。

這個模型雖然現在看起來很簡潔,但並沒有解釋驗證和主權Rollup。validiums 是橋還是區塊鏈?它與有效性橋梁有何不同?主權匯總怎么樣?他們連橋都沒有!從主權Rollup角度更容易分析。

通常將主權Rollup描述爲沒有橋接的Rollup。他們本質上使用另一個區塊鏈的數據可用性和共識作爲自己的數據可用性和共識,因此繼承了該區塊鏈的安全性。他們通過將所有數據發布到基礎鏈來實現這一點,而主權Rollup完整節點只是基礎鏈的完整節點,它們具有解釋該數據的額外規則。

那么這是一個Rollup嗎?不,乍一聽起來像是Rollup,但很多其他東西也符合這個定義。我們當然不會將其歸類爲Rollup,例如比特幣中的序數。Ordinals 區塊鏈的所有數據都位於比特幣區塊鏈上。要成爲 Ordinals 區塊鏈的完整節點,您只需要一個比特幣完整節點並了解 Ordinals 規則。它還具有與比特幣完全相同的安全性。同樣的情況也適用於比特幣之上的許多其他協議,如 Omni、Counterparty、Mastercoin 等。所有這些協議都不能歸類爲主權Rollup。

我可能會找到更多例子,但要點是區塊鏈搭載另一個區塊鏈的共識和/或數據可用性並不是什么新鮮事。據我所知,這些結構沒有通用術語,所以我將嘗試使用“依賴區塊鏈”這個名稱。Rollup 的創新爲兩個區塊鏈創造了一種以信任最小化且高效的方式進行通信的方式。主權Rollup缺乏這一點,因此不應該被稱爲Rollup,只是依附於區塊鏈。

2、關於驗證

最後,我們談到驗證。就像Rollup一樣,它們是具有從基礎鏈到基礎鏈的全節點橋和基礎鏈的一些橋的區塊鏈。這種新型橋基本上是一個有效性橋,我們不會將區塊鏈數據(輸入或狀態增量)發布到基礎鏈,我們只發布 zk 證明。由於缺乏更好的名稱,我們將它們稱爲部分有效性橋。但這與普通的Rollup有何不同?爲了找到答案,我們需要了解當區塊鏈失敗和橋分叉時會發生什么。

讓我們回到我們關於橋接以太坊和Near的思想實驗。在這種情況下,如果Near區塊鏈停止運行會發生什么?顯然,Near 到以太坊的橋梁將停止更新。如果該橋上有硬幣,它們就會被卡住,直到Near鏈被恢復顯然,這座橋上的資產似乎並不具有與以太坊區塊鏈相同的安全性。這違背了通常所說的Rollup安全性,那么這裏發生了什么?請記住,有效性橋和OP橋的作用與全節點類似,並且全節點可以分叉區塊鏈。

大多數Rollup都計劃了一些“逃生艙口”機制,這實際上只是一種自動分叉機制。在我們的示例中,如果近區塊鏈失敗,允許任何人更新橋的狀態,只要它附有有效性證明。如果 Near 區塊鏈隨後重新上线,它將具有與橋不同的狀態,從而強化了橋確實已從 Near 分叉的想法。這座橋實際上具有與以太坊相同的安全性,但至關重要的是,橋中計劃有一些分叉機制。

想象一下其他情況,以太坊和近區塊鏈都在工作,但只有 Coinbase 被允許更新橋的狀態(因爲這就是橋的設計方式)。如果 Coinbase 由於某種原因發生故障,並且橋中沒有分叉機制,那么橋將停止運行,所有資產將被卡住,即使近區塊鏈仍然存在。

現在我們可以很容易地看出有效性橋和部分有效性橋(即validiums)之間的區別。有效性橋始終保證擁有狀態數據(這當然是創建分叉所必需的),因爲它們將所有狀態更新發布到基礎鏈。部分有效性橋可能沒有該狀態數據,而是需要 validium 區塊鏈中誠實的少數驗證者來保證該數據的可用性。

總結這篇很長的文章,它就是區塊鏈和橋梁有許多不同類型的橋接器,但 L2 空間中更有趣的橋接器是:全節點橋接器、樂觀橋接器、有效性橋接器和部分有效性橋接器。

我們還可以將區塊鏈分爲兩種不同的類型:依賴型或獨立型,具體取決於它們是否使用另一個區塊鏈的共識和數據可用性作爲自己的共識和數據可用性。不過,這些是不同的概念,我們可以將任何類型的區塊鏈與幾乎任何數量和類型的橋配對。

標題:Matter Labs 共識負責人致 Jon Charbonneau 的公开信:關於 Rollup 的一些想法

地址:https://www.coinsdeep.com/article/31385.html

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

你可能還喜歡
熱門資訊