大多數使用 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 用戶在某個時間點的所有帳戶地址和代幣余額。
Azuki #4104 以 110 ETH 的價格在 X2Y2 上售出:金色財經報道,Azuki#4104以110 ETH(約14.4萬美元)的價格在X2Y2上售出。該NFT上次出售是在2022年1月21日,成交價為22.2222ETH。[2023/1/9 11:02:48]
Sequencers 是接收來自用戶的新 Rollup 交易的節點,將交易組合成一個區塊,并將該區塊發布到共識和數據可用性層。一個區塊由兩部分組成:區塊頭和實際的交易數據。除其他外,區塊頭包含對鏈狀態的加密承諾——通常是 Merkle 根。
Rollup 完整節點是下載所有 Rollup 區塊頭和交易數據、處理和驗證所有交易的節點,以計算 Rollup 的狀態并檢查所有交易是否有效。如果全節點在匯總區塊中遇到無效事務,它會拒絕并忽略該區塊。因此,Sequencers 無法創建具有無效交易的有效區塊,因為節點會從他們的視野中拒絕它們。
Rollup 輕客戶端只下載 rollup 區塊頭,不下載和處理任何交易數據,因此無法計算最新狀態或驗證 rollup 本身的狀態有效性。相反,他們可以從最新的 Rollup 區塊頭中了解最新的狀態承諾,并向 Rollup 完整節點詢問部分狀態。他們還使用欺詐證明或有效性證明等技術間接檢查 Rollup 交易的有效性。
當 Rollup 節點同步 Rollup 鏈時,它們使用共識和數據可用性層對 Rollup 區塊施加的排序。如果它是 Rollup 中要在數據可用性層上發布的第一個處于其高度的有效區塊,則它們將確認這個 Rollup 區塊的最總想 - 無論是直接檢查有效性(完整節點)還是間接檢查有效性(輕客戶端)。
有關 Rollup 的更詳細和技術性的解釋,我們建議讀者參閱 Celestia 論壇上有關 Rollup 的文章。
Reddit 在 Polygon 上推出免費 NFT 系列 Recap 2022:金色財經報道,據加密 KOL GiancarloChaux 推特消息,社交新聞論壇社區 Reddit 于 5 日前在 Polygon 上推出了另一款免費的 NFT 系列,名為 Recap 2022,目前,該 NFT 系列已有超 130 萬名所有者。[2022/12/21 21:57:24]
當前以太坊上的 Rollup 將其區塊直接發布到基于 EVM 的智能合約,也稱為橋合約。該合約有效地實現了一個用于 Rollup 的鏈上輕客戶端,該客戶端接收區塊頭并處理欺詐或有效性證明。在這個模型中,以太坊主鏈有一個神圣的、硬編碼的、信任最小化的橋。
使用橋合約,用戶可以在 Rollup 和橋合約所在的執行鏈之間以信任最小化的方式存取資產,因為由于欺詐或有效性證明,合約不會接受來自 Sequencers 的無效區塊。
以太坊鏈作為共識和數據可用性層,僅記錄和最終確定根據橋合約有效的區塊。因此,Rollup 完整節點和輕客戶端(智能合約之外)將以太坊鏈上輕客戶端視為關于什么是規范(正確)Rollup 鏈的真相的根本來源。在這個模型中,我們認為以太坊被奉為 Rollup 的耦合結算層,其中 Rollup 是以太坊的“嬰兒鏈”,而不是一種擁有自己權利的獨立鏈。
Celestia 上的主權 Rollup 不會將他們的區塊發布到智能合約中,而是直接作為原始數據發布到鏈上。Celestia 共識和數據可用性層不解釋或對 Rollup 區塊執行任何計算,也不為 Rollup 運行鏈上輕客戶端。
相反,Rollup 像第 1 層區塊鏈一樣有效地運行:完整節點和輕客戶端直接從 Rollup 自己的點對點網絡下載 Rollup 的區塊。主要區別在于,他們還通過 Merkle 證明驗證了 Rollup 區塊數據是否包含在 Celestia 數據可用性層上并對其進行排序。因此,與第 1 層區塊鏈類似,這個規范鏈由本地驗證分叉選擇規則和 Rollup 交易的節點確定,而不是由鏈上輕客戶端確定。
穩定幣總供應量在 3 個月內增加近 70%:最近幾個月,加密貨幣市場對穩定幣的需求出現了前所未有的增長。自今年 2 月 5 日以來,穩定幣總供應量從 56.8 億美元增至 96.2 億美元,增加了 69.4%。目前尚不清楚新供應量是否來源于新需求,還是用戶想要將現有的加密貨幣轉換為穩定幣。到目前為止,Tether 仍然是最受歡迎的穩定幣,目前占整個穩定幣供應量的 84%以上,USDC 和 PAX 分別占據 7.4%和 2.6%的份額。另外,由 Coin Metrics 發布的調整后的穩定幣交易量在 3 月創下歷史新高。(The Block)[2020/5/5]
欺詐和有效性證明的工作方式也類似于它們在第 1 層區塊鏈中的工作方式。欺詐證明通過點對點網絡直接傳遞給客戶端,有效性證明簡單地包含在區塊頭中(例如,參見 Mina 協議)。因為點對點網絡中的網絡同步延遲很可能遠小于獲取包含在鏈上的欺詐證明的延遲,這意味著點對點欺詐證明的挑戰期可能要短得多,從而為輕客戶端帶來更快的最終確定性。
在這個模型中,Rollup 和任何結算層之間沒有橋,因為 rollup 區塊只是直接發布到數據可用性層,而不是智能合約。這與 Cosmos 的設計理念相一致,在 Cosmos zones 中,通往 Cosmos Hub 的橋不是內置確定的,而是可選的,可以添加,同時仍允許 zones 保留其主權。Rollups 仍然可以以信任最小化的方式連接到其他 Rollup——我們將在下一節討論這個問題。
如果一條 Rollup 鏈沒有規定一個結算層來確定規范鏈和 Rollup 的交易有效性規則,則它是主權的。相反,Rollup 的規范鏈是由 Rollup 的點對點網絡中的節點確定的(前提是這些區塊在數據可用性層上可用)。這意味著結算層不能強制將交易包含在 Rollup 中。
分析 | EOS 超級節點盈虧平衡點為每枚價格在 4 美元以上:錢包 My EOS Wallet 開發者 altShiftDev 近期對 EOS 超級節點進行的一項調查顯示,排名 1~ 21 位的 EOS 超級節點的盈虧平衡點為每枚 EOS 價格在 4.04 美元以上,排名 22~ 42 位的 EOS 超級節點的盈虧平衡點為每枚 EOS 價格在 4.35 美元以上。排名 1~ 21 位的 EOS 超級節點中有 8 個團隊回應了該調查,排名 22~ 42 位的 EOS 超級節點中有 10 個團隊回應了調查。目前 EOS 價格已經跌破 2 美元。[2018/12/13]
“不設結算層”主要是社會區別,而不是技術區別,這意味著 Rollup 的社區之間存在社會合約,即 Rollup 的交易有效性規則由社區定義,而不是不可變的 L1 合約。在實踐中,這意味著到 Rollup 的橋(未被寫入)必須是可變的,以便有一條升級路徑來確認主權 Rollup 上的硬分叉(在下一節中討論)。
因此,這意味著 Rollup 社區可以通過硬分叉升級鏈,而無需對結算層或數據可用性層進行硬分叉,也無需嵌入破壞鏈的信任最小化性質的鏈上治理。如果有資產是在主權 Rollup 鏈上本地鑄造的,而不是所有資產都從其他鏈橋接,則這一點尤其重要。
主權 Rollups 也可以僅將以太坊用作數據可用性層,而無需將以太坊用于結算,但是與使用諸如 Celestia 之類的“純”數據可用性層相比,這會增加更多開銷,因為 Rollup 節點需要對數據的有效性感興趣以太坊結算層中的所有交易,以便為以太坊數據可用性層運行一個節點。
也可以在 Celestia 上構建一個“結算 Rollup?”,這是主權 Rollup 的一種。結算 Rollup 可以具有將其用作結算層的非主權 Rollup。然而,結算層是主權的,就像以太坊 L1 是主權一樣,因為它的社區經常通過社會共識用硬分叉升級它。
聲音 | BM:我們需要在 EOS 上達成共識以支持一個 UBI 提案:據 IMEOS 報道,EOS UBI 電報群討論沒有停止過,成員紛紛提出他們關于 UBI 的見解和想法。BM 早上在群里也說明了自己的一些想法:“我們需要在 EOS 上達成共識以支持這樣一個提案(指 UBI),并將其視為正在制定的其他支出提案的替代方案。
1.假設存在唯一 ID 的強加密證明。
2.假設不良分子會失去他們的 UBI, 并且 UBI 可以在仲裁中用以支付賠償金。
換句話說,一次性資格是不夠的。舉一個不良行為的例子:如果我們發現一個生成假 ID 的詐騙者,我們可以移除他獲得 UBI 的資格。這樣做的目的就是讓這種情況減少,消除詐騙帶來的傷害,而非一直忍受。假設我們花了 2 個月才發現有人制作并控制了 10 個假 ID,那么我們可以扣除操控 10 個假 ID 的那個真實的人 20 個月以上的 UBI。發現疑似的作假應該很大程度上自動化,舉證責任將由獨立個人去證明他們是真實的,證明真實的證據應該是微不足道的提供和驗證。”[2018/9/7]
如上所述,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 證明可能無法輕松或有效地處理。
2021年被稱為NFT元年。NFT是指基于區塊鏈技術的非同質化代幣(Non-Fungible Token),可以看作是一種運用了區塊鏈技術的數字資產所有權證明.
1900/1/1 0:00:00小牛APP:https://m.cryptopal.live/?name=b1??(鏈接復制到瀏覽器,打開下載~)6月26日14:48預警,價格約0.08美元附近,最高價格為3.091美元.
1900/1/1 0:00:001.DeFi代幣總市值:372.3億美元 DeFi總市值 數據來源:coingecko2.過去24小時去中心化交易所的交易量:31.
1900/1/1 0:00:00本輪加密資產熊市中,受Terra崩盤影響最大的兩大CeFi公司——Celsius和三箭資本先后出現流動性危機。借貸平臺Celsius至今仍未開放客戶提款渠道,對沖基金三箭資本面臨破產清算.
1900/1/1 0:00:00金色相對論 | 譚智勇表示:穩定幣在市場上對機構投資者的意義更大:本期金色相對論中,對于發行穩定幣的討論,歐鏈創始人譚智勇表示:我們在考慮區塊鏈場景的穩定幣時除了討論發幣機制和價值機制外.
1900/1/1 0:00:00彈性、抗脆弱性、透明。 這是個毫無爭議的假設:人們多是無知的、貪婪的,完全沒有能力在這個復雜的世界里通行.
1900/1/1 0:00:00