比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads

在 Celestia 上 Rollup 是如何被用作主權鏈的?_ROLL

Author:

Time:1900/1/1 0:00:00

大多數使用 Celestia 作為其共識和數據可用性層的應用程序都將托管在 Rollup 上。作為一種新的第 2 層解決方案,最初提出以提高交易吞吐量,Rollup 可能是幾乎所有區塊鏈應用程序的未來家園,無論是使用 Celestia、以太坊還是其他平臺來實現共識和數據可用性。

在這篇文章中,我們將討論什么是 Rollup,它們目前如何在以太坊上運行以及它們將如何在 Celestia 上運行。

在當前的以太坊 Rollup 中,以太坊鏈被奉為 Rollup 的結算層,使 Rollup 有效地成為以太坊的“嬰兒鏈”,其中 Rollup 鏈由以太坊上的智能合約定義。這也可以與 Polkadot 平行鏈模型相媲美,其中中繼鏈被奉為平行鏈的結算層。

然而在 Celestia 中,我們設想了一種新型的 Rollup:主權 Rollup 鏈。這些是獨立的主權鏈,其中 Rollup 鏈由 Rollup 子網絡本身定義,類似于獨立的 L1,并且可以選擇與其他鏈或結算層一起擁有受信任或信任最小化的橋梁。

目錄

什么是 Rollup?

以太坊上的 Rollup(結算層)

Celestia(主權)上的 Rollup

主權交叉 Rollup 通信

為什么是主權的?

Rollup 是將其區塊發布到另一個區塊鏈的區塊鏈,并繼承該區塊鏈的共識和數據可用性(稱為一個“共識和數據可用性層”)。

典型的 Rollup 由三個主要方維護:排序器(sequencers)、Rollup 完整節點、Rollup 輕客戶端。所有 Rollup 都有一個狀態,例如,可能是 Rollup 用戶在某個時間點的所有帳戶地址和代幣余額。

比特幣礦企 Cathedra Bitcoin 計劃在 360 Mining 的德克薩斯州站點部署比特幣礦機:金色財經報道,比特幣礦企 Cathedra Bitcoin(CBIT)與離網比特幣礦企 360 Mining 建立合作伙伴關系,計劃在 360 Mining 擁有的德克薩斯州站點部署移動數據中心與比特幣礦機。360 Mining 提供天然氣和發電基礎設施,為 Cathedra 的比特幣礦機提供持續電力。Cathedra 將向 360 Mining 支付每兆瓦時 55 美元的耗電量,外加該站點開采的比特幣總量的 10%。雙方還保留在經濟上有利的情況下放棄比特幣挖礦以將天然氣出售給市場的選擇權。該合作伙伴關系使 Cathedra 擁有 2.0 兆瓦發電能力的權利,并在未來 60 天內完成 0.3 兆瓦的初始部署。[2023/6/2 11:55:14]

Sequencers 是接收來自用戶的新 Rollup 交易的節點,將交易組合成一個區塊,并將該區塊發布到共識和數據可用性層。一個區塊由兩部分組成:區塊頭和實際的交易數據。除其他外,區塊頭包含對鏈狀態的加密承諾——通常是 Merkle 根。

Rollup 完整節點是下載所有 Rollup 區塊頭和交易數據、處理和驗證所有交易的節點,以計算 Rollup 的狀態并檢查所有交易是否有效。如果全節點在匯總區塊中遇到無效事務,它會拒絕并忽略該區塊。因此,Sequencers 無法創建具有無效交易的有效區塊,因為節點會從他們的視野中拒絕它們。

Rollup 輕客戶端只下載 rollup 區塊頭,不下載和處理任何交易數據,因此無法計算最新狀態或驗證 rollup 本身的狀態有效性。相反,他們可以從最新的 Rollup 區塊頭中了解最新的狀態承諾,并向 Rollup 完整節點詢問部分狀態。他們還使用欺詐證明或有效性證明等技術間接檢查 Rollup 交易的有效性。

數據:Lido近29% 的以太坊質押在 Eth2 信標鏈上:金色財經報道,根據Dune Analytics 的數據,質押協議Lido是最大的以太坊質押服務商,幾乎29% 的以太坊質押在 Eth2 信標鏈上。該協議在流動性質押領域擁有 90% 的主導地位。第二大質押提供商是 Kraken,占比 8.75%,其次是Staked.us,占比 3.35%。?目前約有340 萬ETH通過 Lido 進行質押,該協議代表 51754 名儲戶。Rocketpool 是第二大流動質押服務,擁有 166K ETH 或占該行業總量的 4.4%,其次是 Stakehound,擁有 63K ETH 或 1.7%。

根據 DeFi Llama的數據,Lido 現在是以太坊的第四大DeFi協議,總價值鎖定 (TVL)為 107億 美元。它也是跨鏈 TVL 的第二大 DeFi 協議,價值190億美元。價值近80億美元的Terra也通過Lido進行質押。[2022/4/22 14:40:42]

當 Rollup 節點同步 Rollup 鏈時,它們使用共識和數據可用性層對 Rollup 區塊施加的排序。如果它是 Rollup 中要在數據可用性層上發布的第一個處于其高度的有效區塊,則它們將確認這個 Rollup 區塊的最總想 - 無論是直接檢查有效性(完整節點)還是間接檢查有效性(輕客戶端)。

有關 Rollup 的更詳細和技術性的解釋,我們建議讀者參閱 Celestia 論壇上有關 Rollup 的文章。

當前以太坊上的 Rollup 將其區塊直接發布到基于 EVM 的智能合約,也稱為橋合約。該合約有效地實現了一個用于 Rollup 的鏈上輕客戶端,該客戶端接收區塊頭并處理欺詐或有效性證明。在這個模型中,以太坊主鏈有一個神圣的、硬編碼的、信任最小化的橋。

Frax Finance將提供 200 萬 FRAX 在 Sifchain 提供流動性:2月20日消息,去中心化穩定幣協議 Frax Finance 今日在 Snopshot 正式通過提案,將與 Sifchain 合作并為 FRAX 建立進入 Cosmos 生態系統的門戶,使 FRAX 可以通過 IBC 進行轉移,并計劃在第二季度使 FRAX 能夠用作保證金交易頭寸的抵押品,以做空或做多通過 Sifchain 的 EVM 橋接的任何代幣。同時,Frax Finance 將提供200萬枚 FRAX 用于在 Sifchain 上提供流動性。

據悉,Sifchain 是 Cosmos SDK 構建的 DEX,主要價值主張是通過兩個功能實現資本高效的跨鏈交易:omni-EVM 和深度保證金。[2022/2/20 10:04:07]

使用橋合約,用戶可以在 Rollup 和橋合約所在的執行鏈之間以信任最小化的方式存取資產,因為由于欺詐或有效性證明,合約不會接受來自 Sequencers 的無效區塊。

以太坊鏈作為共識和數據可用性層,僅記錄和最終確定根據橋合約有效的區塊。因此,Rollup 完整節點和輕客戶端(智能合約之外)將以太坊鏈上輕客戶端視為關于什么是規范(正確)Rollup 鏈的真相的根本來源。在這個模型中,我們認為以太坊被奉為 Rollup 的耦合結算層,其中 Rollup 是以太坊的“嬰兒鏈”,而不是一種擁有自己權利的獨立鏈。

Celestia 上的主權 Rollup 不會將他們的區塊發布到智能合約中,而是直接作為原始數據發布到鏈上。Celestia 共識和數據可用性層不解釋或對 Rollup 區塊執行任何計算,也不為 Rollup 運行鏈上輕客戶端。

相反,Rollup 像第 1 層區塊鏈一樣有效地運行:完整節點和輕客戶端直接從 Rollup 自己的點對點網絡下載 Rollup 的區塊。主要區別在于,他們還通過 Merkle 證明驗證了 Rollup 區塊數據是否包含在 Celestia 數據可用性層上并對其進行排序。因此,與第 1 層區塊鏈類似,這個規范鏈由本地驗證分叉選擇規則和 Rollup 交易的節點確定,而不是由鏈上輕客戶端確定。

動態 | fix1578已經在 在XRP Ledger上啟用:據ripple官網博客,3月23日,fix1578已經在 在XRP Ledger上啟用。礦工應立即升級到1.2.0以上版本,不升級將導致:無法確定分類帳的有效性;無法提交或處理交易;不參與共識過程;不對未來的修正案投票;可能依賴于潛在的無效數據。[2019/3/24]

欺詐和有效性證明的工作方式也類似于它們在第 1 層區塊鏈中的工作方式。欺詐證明通過點對點網絡直接傳遞給客戶端,有效性證明簡單地包含在區塊頭中(例如,參見 Mina 協議)。因為點對點網絡中的網絡同步延遲很可能遠小于獲取包含在鏈上的欺詐證明的延遲,這意味著點對點欺詐證明的挑戰期可能要短得多,從而為輕客戶端帶來更快的最終確定性。

在這個模型中,Rollup 和任何結算層之間沒有橋,因為 rollup 區塊只是直接發布到數據可用性層,而不是智能合約。這與 Cosmos 的設計理念相一致,在 Cosmos zones 中,通往 Cosmos Hub 的橋不是內置確定的,而是可選的,可以添加,同時仍允許 zones 保留其主權。Rollups 仍然可以以信任最小化的方式連接到其他 Rollup——我們將在下一節討論這個問題。

如果一條 Rollup 鏈沒有規定一個結算層來確定規范鏈和 Rollup 的交易有效性規則,則它是主權的。相反,Rollup 的規范鏈是由 Rollup 的點對點網絡中的節點確定的(前提是這些區塊在數據可用性層上可用)。這意味著結算層不能強制將交易包含在 Rollup 中。

“不設結算層”主要是社會區別,而不是技術區別,這意味著 Rollup 的社區之間存在社會合約,即 Rollup 的交易有效性規則由社區定義,而不是不可變的 L1 合約。在實踐中,這意味著到 Rollup 的橋(未被寫入)必須是可變的,以便有一條升級路徑來確認主權 Rollup 上的硬分叉(在下一節中討論)。

動態 | Tapatalk 將在 EOS 上構建錢包和獎勵系統:據 IMEOS 報道,移動社群平臺 Tapatalk 宣布將在 EOS 區塊鏈上構建其 Gold Point 錢包和獎勵系統,通過區塊鏈技術可以讓終端用戶實現微支付更加可行并且消除通過外部支付渠道所帶來的交易費。[2019/2/22]

因此,這意味著 Rollup 社區可以通過硬分叉升級鏈,而無需對結算層或數據可用性層進行硬分叉,也無需嵌入破壞鏈的信任最小化性質的鏈上治理。如果有資產是在主權 Rollup 鏈上本地鑄造的,而不是所有資產都從其他鏈橋接,則這一點尤其重要。

主權 Rollups 也可以僅將以太坊用作數據可用性層,而無需將以太坊用于結算,但是與使用諸如 Celestia 之類的“純”數據可用性層相比,這會增加更多開銷,因為 Rollup 節點需要對數據的有效性感興趣以太坊結算層中的所有交易,以便為以太坊數據可用性層運行一個節點。

也可以在 Celestia 上構建一個“結算 Rollup?”,這是主權 Rollup 的一種。結算 Rollup 可以具有將其用作結算層的非主權 Rollup。然而,結算層是主權的,就像以太坊 L1 是主權一樣,因為它的社區經常通過社會共識用硬分叉升級它。

如上所述,Celestia Rollup 在 Rollup 和任何結算層之間沒有一座設置的橋梁。Rollup 的結算層和執行層因此被解耦和模塊化。那么 Celestia Rollups 如何連接到其他鏈呢?因為沒有結算層,這讓我們有更廣闊的跨鏈橋設計空間。我們在下面探索設計空間和各種選項。

讓我們假設某個主權 Rollup 鏈 A 想要與另一個鏈 B 橋接——我們將假設它也是一個 Rollup。

鏈 A 和 B 可以直接在兩個鏈的輕客戶端中相互嵌入一個輕客戶端。例如,兩條鏈都將為鏈 A 和 B 運行一個輕客戶端。輕客戶端因此將通過點對點網絡直接接收區塊頭和任何相關的欺詐或有效性證明。我們將此稱為點對點結算。

兩個鏈上都存在一個橋合約,這將允許資產被提取并存入任一鏈(例如通過鎖定和鑄造機制?),并由每個鏈的 sequencers 或驗證者監控(通過中繼器直接或間接實現)以執行轉移。

另一方面,輕客戶端也可以實現為鏈上智能合約,將區塊頭和欺詐/ZK 證明提交給鏈上智能合約。這就是以太坊 Rollup 的現狀。我們將此稱為鏈上結算。

目前,預計 Rollup 將連接到充當結算中心的單個結算層,例如以太坊(中心輻射橋接)。如果 Rollup 鏈 A 和 B 都連接到同一個中心(hub),那么它們可以使用 hub 作為結算的中介來將資產相互連接起來。

但是,就像 IBC 一樣,Rollup 也可以選擇直接相互橋接,而不是使用中間 Hub 鏈(點對點橋接)。

根據 Rollup 鏈的執行環境,可能需要鏈升級或硬分叉來橋接新鏈。這是因為鏈 A 和 B 必須支持彼此的執行環境,才能支持彼此的欺詐或 ZK 證明。

讓我們假設 Optimistic Rollup 鏈 A 的狀態機是直接用 Golang 編寫的(例如使用 Cosmos SDK),而不是像 EVM 或 CosmWasm 這樣的智能合約環境。為了與鏈 B 橋接,鏈 B 需要升級其節點軟件,以便將鏈 A 的狀態機作為庫,以驗證鏈 A 的欺詐證明。這是因為鏈 B 無法自動添加鏈 A 的狀態機代碼,因為它可能是惡意的或不確定的,從而構成安全風險。因此,需要社會共識或治理來增加這樣的橋。在使用鏈 B 不理解的 ZK 證明結構的有效性 Rollup 的情況下,這也同樣需要。我們將其稱為靜態橋接,因為必須通過鏈升級顯式添加橋接。這樣的橋可以實現為 IBC 輕客戶端?。

另一方面,如果 Optimistic Rollup 鏈 A 是在 EVM 或 CosmWasm 等沙盒智能合約環境中編寫的,那么鏈 B 可以允許將鏈 A 的狀態機代碼直接添加到鏈 B 的狀態機中,而無需任何必要用于社會共識或治理,例如使用智能合約。同樣,如果鏈 A 是 ZK 匯總,它可以動態橋接到鏈 B,只要鏈 B 能夠理解鏈 A 的 ZK 證明。我們將此稱為動態橋接。

如果 Rollup 鏈將其區塊和證明發布到充當結算中心(如以太坊)的結算層,則我們說如果規范鏈及其交易有效性規則由結算層確定,則結算層是 enshrined(神圣或完美)的。

另一方面,如果 Rollup 將其區塊和證明發布到結算層,但 Rollup 的規范鏈最終由 Rollup 網絡本身決定,我們就說結算層是非 enshrined。為了使非 enshrined 的結算層有意義,它應該有一種不需要硬分叉結算層的方式來升級 Rollup。

為了使兩條 Rollup 鏈之間的跨鏈橋的信任最小化,Rollup 鏈必須驗證彼此的欺詐或 ZK 證明,這意味著它們必須了解彼此的狀態機(基于證明的橋梁)。

但是,也存在基于委員會的橋(例如今天的 IBC 橋),該橋不依賴于狀態有效性的證明,而是依靠委員會來證明區塊的有效性。這樣的橋梁并沒有最小化信任,因為委員會可以竊取資金。然而,這樣的橋可能具有較低的復雜性,因為目標鏈不需要具有處理源鏈的欺詐或 ZK 證明的功能。

在當前的 IBC 橋中,委員會是源鏈的驗證者集。然而,人們可以設想這樣一個世界,委員會由證明多個鏈的專業跨鏈橋提供商運營。這可以被認為是僅用于橋的鏈間安全性,而不是區塊生產。在這樣的設置中,橋委員會與源鏈的驗證者集解耦。

當前以太坊 Rollup 的最終目標是 Rollup 不應由多重簽名或委員會進行升級,因為如果可以,它們不會被信任最小化,因為資金可能會通過升級被盜。在這個模型中,Rollup 只能通過硬分叉 L1 來升級,因為規范鏈是由 L1 的結算層定義的,這意味著 Rollup 沒有主權。

然而,為了使主權 Rollup 變得實用,應該有一個升級路徑,承認 Rollup 是主權的而不是神圣的結算層的。有幾種方法可以考慮,這些方法會影響橋是否最小化信任。假設一條 Rollup 鏈 A 是硬分叉,而鏈 B 需要為鏈 A 升級其輕客戶端:

對于靜態橋,鏈 B 也需要硬分叉。這樣的升級路徑將意味著橋的信任最小化,因為不涉及多重簽名或委員會。

對于動態橋,由鏈 A 控制的委員會(例如 DAO)可以升級鏈 B 上的輕客戶端。這將是一個可信的橋。

對于動態橋,由鏈 B 控制的委員會(例如 DAO)可以升級鏈 B 上的輕客戶端。如果鏈 B 是結算層,這使結算層有責任實施升級,這可能是可取的,如果結算層有專門的治理,或具有較高的經濟安全性。這也將是一個值得信賴的橋。

Rollup 的核心是簡單的區塊鏈,而 Rollup 橋只是這些區塊鏈的輕客戶端。以太坊推廣的 Rollup 的當前現狀旨在具有神圣的結算層的不可升級的匯總。這等效于為永遠無法升級的區塊鏈運行客戶端,其區塊只有在被輕客戶端的一個神圣的鏈上實例接受以進行 Rollup 時才有效。如上所示,這只是 Rollup 設計空間的一小部分。

在 Celestia Labs,我們對沒有固定結算層的主權 Rollup 感興趣,因為我們相信區塊鏈中最重要的層是社會共識。特別是,區塊鏈是一種允許社區以主權方式進行社會協調的工具,而不會受到現狀的負擔。這意味著將硬分叉視為一項功能,而不是錯誤,因為硬分叉賦予主權社區強制執行社會共識的能力。當出現問題時,這作為一種社會追索機制尤其重要,例如在 DAO 黑客攻擊后以太坊分叉時。

主權 Rollups 將成為主權社區擁有社區計算機來跟蹤和執行社會經濟價值和協議的有效方式,無需引導或維護自己的共識層和驗證者集的開銷,也無需服從于一個他們支持或不支持的神圣的結算層的社會共識。

主權 Rollups 還為開發人員在其執行環境中提供了更大的靈活性,因為他們不受必須為其 Rollup 處理欺詐或 ZK 證明的神圣結算層的限制,因為在許多情況下,某些結算層存在欺詐或 ZK 證明可能無法輕松或有效地處理。

Tags:ROLROLL以太坊STITROLLBankRoll以太坊幣最新價格今日價格行情justice幣在哪個交易所可以買

酷幣下載
Web3的啟示:暴力強權對經濟的意義?_QUO

譯者語 “不存在什么財產,不存在什么支配,也沒有我的和你的之分;每個人能得到的就是他的,只要他能保得住.

1900/1/1 0:00:00
看得見、摸不著的NFT數字藏品版權如何保護_元宇宙

NFT數字藏品發行日漸火熱,也暴露出侵權等問題。“看得見,摸不著”的NFT數字藏品,版權如何得到有效保護?日前,由中國版權協會在京主辦的“NFT數字藏品著作權問題研討會”上,專家表示,NFT數字.

1900/1/1 0:00:00
VC 月報:6 月融資金額環比下降 18% 機構債務融資金額上升_API

吳說作者 | 吳卓鋮 根據 Dove Metrics 統計,本月加密 VC 公開的投資項目共 191 個,環比下降 15%(2022 年 5 月共 225 個項目).

1900/1/1 0:00:00
晚間必讀5篇 | 北京首例“比特幣挖礦案”宣判_區塊鏈

1.金色觀察|Uniswap V3的“漏洞”風云公鏈上是原始森林,對于錢包團隊以及defi等團隊無法提前識別是否有安全問題,只能提示會有安全風險,同時,也無法控制用戶行為.

1900/1/1 0:00:00
生活在文明的火山上 Web3.0之法律挑戰_比特幣

摩根溪聯合創始人:我的生活中需要更多的比特幣:今日,摩根溪聯合創始人Jason A. Williams發推稱:“我的生活中需要更多的比特幣.

1900/1/1 0:00:00
一圖讀懂 | 上海:到2025年 元宇宙相關產業規模達到3500億元_DEF

據上海市人民政府7月8日消息,經市政府同意,《上海市培育“元宇宙”新賽道行動方案(2022&——2025年)》于近日印發.

1900/1/1 0:00:00
ads