說明:本文是基于 Celestia 官方教程做的筆記整理和注釋。原文:Learn Modular
編譯:《深入探究模塊化區塊鏈》by Echoic
單鏈包含四個組件
執行層:確保所執行的交易進行正確的狀態更新。執行層必須確保被執行的交易是有效的,即交易的結果是有效的狀態機轉換。
結算層:確保有一個使得執行層能夠驗證證明、解決欺詐糾紛的環境,并作為執行層之間的橋梁。
共識層:確保交易的順序達成一致。
數據可用性層:確保交易數據的可用性。
單片區塊鏈在單個層上同時完成上述的所有事情。
單鏈的限制
低效的交易驗證:節點必須重新執行交易以檢查有效性。
資源約束:區塊鏈受單個節點的資源容量約束。
可擴展性:為了提高吞吐量,必須在一定程度上犧牲安全性或去中心化。
單鏈和模塊化區塊鏈的對比
(1) 模塊化區塊鏈是什么
指將「執行層、結算層、共識層、數據可用性層」四個組件中至少一個組件完全外包給外部鏈的區塊鏈。
由于在單片鏈上為數百萬或數十億用戶提供服務過于復雜且解決能力有限,人們提出了分片和Layer2 解決方案,后來逐漸演變成模塊化區塊鏈。模塊化的實現最初方案是rollups,后來這個概念進一步擴大成模塊化區塊鏈。
模塊化區塊鏈能夠最大限度地降低運行節點的成本。
(2) 模塊化區塊鏈的第一原則
Celsius Network創始人在公司宣布破產前曾提走1000萬美元:金色財經報道,據英國媒體消息,加密借貸平臺Celsius Network創始人Alex Mashinsky在公司凍結客戶賬戶并宣布破產前幾周從該公司提走1000萬美元存款。(《金融時報》)[2022/10/3 18:37:51]
去中心化:模塊化區塊鏈通過降低用戶操作節點和驗證網絡的成本來優先考慮網絡安全。
安全:在存在惡意驗證者的情況下,去中心化的用戶網絡最終負責維護區塊鏈的安全性。
可擴展:擴展使模塊化區塊鏈能夠增加容量,而不會增加用戶驗證和保護網絡的成本。
如果區塊鏈可以增加它處理的交易數量,而不會增加節點驗證交易的成本,那么它就是可擴展的。模塊化區塊鏈堆棧中使用的欺詐證明、有效性證明和數據可用性采樣等技術使節點能夠比完整節點更有效地驗證交易,同時保持同等的安全性。
可擴展性公式定義
(3) 模塊化區塊鏈的優勢
具有主權:盡管使用了其他層,但新的模塊化區塊鏈可以像Layer1 一樣具有主權。這允許區塊鏈在未經任何底層許可的情況下響應黑客攻擊并推送升級。
主權(Sovereignty):在代幣、協議的功能和升級、網絡和協議的治理、生態系統的建設和基礎設施具有更高的主動權
方便推出新的區塊鏈:由于模塊化區塊鏈不需要處理所有功能,新區塊鏈可以簡單地將現有的模塊化區塊鏈用于他們希望卸載的組件。
像Optimint 這樣的Rollups “SDK”與Cosmos SDK 相結合將有助于促進新區塊鏈的創建,而無需引導安全驗證器集
美國加州監管機構命令Celcius停止在該州出售證券:8月10日消息,據Cointelegraph報道,美國加州金融保護與創新部(DFPI)已下令加密貨幣借貸平臺 Celcius 停止在加州銷售證券、營銷等。DFPI 認為 Celcius 和 CEO Alex Mashinsky 在提供加密利息賬戶時做出了重大失實陳述和遺漏,沒有向消費者正確解釋購入數字資產的風險。
上個月,DFPI 曾下令 BlockFi 和 Voyager 停止在該州提供服務。[2022/8/10 12:15:47]
提高可擴展性:通過模塊化可以在不犧牲安全性或去中心化的情況下實現擴展。
(4) 關于Celestia
Celestia 與之前的區塊鏈設計不同,后者將執行作為核心功能,但Celestia 設計者認為執行是新鏈的工作(指基于Celestia 創建的新鏈來負責處理執行),而Celestia 專注于基礎層(共識和數據可用性),這樣可以從基礎層緩解單片鏈的最大瓶頸:吞吐量和狀態膨脹。
Rollups 和Celestia 的區別在于Rollups 專注于執行(無結算、共識和數據可用性層),Celestia 專注于共識和數據可用性(無執行和結算)。
數據可用性層對吞吐量的重要性:吞吐量分為數據吞吐量和交易吞吐量,數據吞吐量與數據可用性層密切相關,因為它們的主要工作是為數據提供高容量。狀態膨脹:指支付一次GAS費會讓你的數據在以太坊區塊鏈上永久保存,從而導致一個無限的、不斷增長的狀態,其中甚至有很多無用數據。
派盾:兩筆共4277枚ETH轉入Celsius錢包地址:6月14日消息,據PeckShield監測,1小時前有兩筆共4277枚ETH(約合500萬美元)轉入Celsius錢包地址。[2022/6/14 4:26:31]
(1) Layer 1 & Layer 2
最初構建樸素的模塊化堆棧是為了向Layer1 提供可擴展性。在這個堆棧中, Layer1 提供所有關鍵功能,包括執行,而Layer2 只專注于執行。Layer1 允許Layer2 發布區塊,同時充當連接Layer2 的樞紐。
在大多數情況下, Layer2 的容量也取決于Layer1 的容量。因此, Layer1 和Layer2 堆棧的這種實現對于可擴展性來說不是最理想的。
(2) 執行、結算和數據可用性
優化模塊化區塊鏈堆棧可以提供的更多好處,通過模塊化區塊鏈將各個功能解耦:
執行層
應用程序所在的環境和執行狀態更改的環境,位于模塊化堆棧的頂部,其作用與Layer2 相同。
結算層
執行層的可選中心,用于驗證證明、解決欺詐糾紛。用于在執行層和結算層之間建立信任最小化橋梁,并提供了一種執行層之間相互連接的方式。
執行層可以選擇將其完整的區塊發布到結算層,之后結算層將構建自己的區塊,包括來自執行層的交易,并將交易數據發布到共識和數據可用性層。這只是結算層在模塊化堆棧中發揮作用的多種方式之一。
Celer Network宣布與Flow達成合作,以實現Flow生態資產及NFT跨鏈橋接:據官方消息,區塊鏈互操作性協議Celer Network宣布與Web3底層平臺Flow公鏈達成合作,將實現Flow生態資產及NFT與cBridge支持的鏈之間的跨鏈橋接。
在合作初始階段,cBridge將對Flow上有原生資產的項目進行橋接,并將WETH、WBTC、DAI、Frax、USDT、UST等藍籌資產引入Flow生態。在下一階段,cBridge將支持Flow生態的NFT跨鏈橋接,如NBA Top Shot、NFL All Day和 UFC Strike等。[2022/4/7 14:10:45]
因為沒有執行功能,所以結算層只發布交易數據,而不是整個區塊的內容。
信任最小化橋梁:兩個區塊鏈之間的橋梁不需要中間人、委員會或誠實的多數假設來確保資金不會被盜。例子是以太坊和建立在其之上的Rollups 之間的橋梁。
共識和數據可用性層
共識就交易順序達成一致,數據可用性驗證交易數據是否可供下載。在多數情況下這兩層之間互相協作,例如專門研究數據可用性的模塊化區塊鏈需要達成共識才能對數據進行排序,否則無法確定數據的歷史記錄。
(3) 執行和數據可用性
在前兩個模塊化堆棧中,執行層只專注于執行,并將剩余的功能卸載到其他層。然而,由于模塊化區塊鏈的用途很靈活,因此執行層不僅限于將其塊發布到結算層。例如,可以創建一個不涉及結算層的模塊化堆棧,只涉及共識和數據可用性層之上的執行層。
cLabs工程師:Celo跨鏈協議Optics的恢復模式被不明人士激活,并且覆蓋了多簽權限:11月23日消息,cLabs工程師Tim Moreton表示,Celo上跨鏈通信協議Optics的多簽權限被替換是由于有人激活了以太坊GovernanceRouter合約上的Optics恢復模式(recovery mode),導致現在恢復賬戶接管了Optics協議,覆蓋掉了原本多簽的權限。Tim Moreton表示,他認為目前跨鏈橋上的資金沒有風險。Tim Moreton還表示,該情況發生在cLabs開除了James Prestwich后的15分鐘內,目前團隊正在與James Prestwich聯系來尋找解決方案,且正在努力退出恢復模式,并恢復社區的多簽治理。
James Prestwich在推特上回應稱,他從來就沒有恢復模式的啟動權限,并且對cLabs和Celo損害其聲譽的行為表示遺憾。[2021/11/23 22:12:10]
由于不涉及結算層,因此只有數據可用性層負責為交易排序和數據可用性提供安全性。這使執行層能夠獲得將共識與執行分離的全部可擴展性優勢,因為沒有中間層將交易數據轉發到基礎層(共識和數據可用性層)。
由于模塊化區塊鏈僅處理一部分功能,因此可以進行更多的解耦,比如解耦出結算層,可以通過模塊化區塊鏈進行結算層的優化和專業化。
模塊化堆棧中的結算層可以專注于結算,同時將其余組件(如共識和數據可用性)外包給其他模塊化區塊鏈。通過引入欺詐或有效性證明,結算層可以增強輕客戶端的安全性,允許他們驗證有效或無效塊。
結算層為rollups 提供的功能
Proof Verification 和Dispute Resolution:rollups 發布其證明以供外部驗證的地方,這對于依賴交互式欺詐證明的OP-Rollups 特別有用。
促進橋接的中心:如果rollups 通過一個共同的結算層,它們可以相互橋接。
流動性來源:存在于同一個結算層的流動性可以被頂部的所有rollups 使用。
模塊化堆棧中的結算
站在可擴展性的角度,可以進行執行層、數據可用性層、結算層的模塊化劃分。
Rollups 本身就是一種區塊鏈,將其塊發布到基礎層以確保有效性和數據可用性。隨著時間的推移,出現了兩種主要的Rollup 設計,optimistic 和zk-rollups。
(1) Optimistic Rollups
Optimistic Rollups 將其區塊發布到基礎層,基礎層接收區塊并樂觀地假設交易是正確的。為了允許在懷疑區塊無效的情況下挑戰Rollups 塊,提供了一個爭議窗口(dispute window),如果一個塊受到挑戰,則使用欺詐證明(fraud proof)來驗證它是否無效。一旦爭議窗口關閉,就不能對區塊提出挑戰。
Optimistic Rollups 提供的可擴展性:
將執行從Layer1 移走,一旦交易在Optimistic Rollups 上執行, Layer1 就不需要重新執行它們,因為它們自動被假定為正確的,從而減輕了Layer1 執行的負擔。
減輕Layer1 的狀態增加。通過將應用程序和交易轉移到不同的鏈上, Layer1 可以降低其狀態增長的速度。大量的狀態增加會增加對節點的硬件要求,這會對去中心化產生負面影響。
(2) ZK-Rollups
對于發布到Layer1 的每個Rollups 區塊都會附帶一個有效性證明(validity proof),以證明該區塊的正確性。一旦驗證了有效性證明,交易就被認為是最終的,不需要爭議窗口來判斷Rollups 區塊的有效性。
ZK-Rollups 提供的可擴展性:
減輕Layer1 的執行瓶頸和狀態增長,提供與Optimistic rollups 類似的可擴展性優勢。此外,ZK-Rollups 還通過使用有效性證明為計算驗證提供可擴展性。
在大多數區塊鏈中,區塊生產者執行交易并將它們放入一個區塊中,隨后由節點重新執行以驗證正確性。有效性證明允許節點有效地驗證交易而無需重新執行它們——它們只需驗證有效性證明。
通過分離共識和執行,數據可用性層也可以進行可擴展性優化,而不受提供結算層功能的限制。關鍵技術是數據可用性采樣,通過多輪抽樣小隨機塊,它允許節點無需下載整個塊來驗證可用,從而減少輕節點的帶寬。
現在的結算層仍然承受著應用程序及其相應的基于用戶的交易活動的負擔,這導致結算層擠滿了來自個人用戶和執行層的交易。結算層可以使用與執行層和數據可用性層相同的技術進行擴展,但目前結算層的擴展效果還不理想。
隨著Cosmos SDK 及其相應的共識引擎Tendermint 等SDK 的興起,與之前的區塊鏈相比,現在已經可以更輕松地創建新的區塊鏈,而區塊鏈創建的下一次演變將由模塊化架構實現。例如,一個新的區塊鏈將能夠使用SDK 創建,并且能夠立即使用現有的模塊化區塊鏈。新的區塊鏈可以使用在數據可用性層之上啟動的結算層,由于執行層不需要共識機制,因此它們不需要大量的驗證集或進行代幣分配。新的區塊鏈將能夠毫不費力地啟動,而無需花費大量時間或金錢成本。
在數據可用性層上啟動結算層的區塊鏈像獨立的區塊鏈一樣具有主權,而結算層之上的 Rollups 不具有主權,它們依賴結算層來驗證他們的交易。
原始的Rollups 類型的執行層在部署到結算層時,需要對以太坊虛擬機進行兼容。而現在解耦了數據可用性層,可以不處理來自執行層的任何交易或狀態更新,僅發布原始交易數據,使得新的Rollups 可以很快地部署到沒有兼容限制的數據可用性層。
主權區塊鏈(Sovereign blockchain):通過社會共識對自身及其應用進行獨立控制的區塊鏈。主權鏈有能力應對黑客攻擊并推動升級。
金色財經 善歐巴
金色早8點
白話區塊鏈
歐科云鏈
Odaily星球日報
Arcane Labs
MarsBit
深潮TechFlow
BTCStudy
鏈得得
早在2016年,consensys就試圖將比特幣和以太坊這兩條區塊鏈連接起來,開發了BTC Relay這個項目,實現讓以太坊鏈能夠知曉比特幣的特定交易,從而實現了在無需托管BTC的前提下.
1900/1/1 0:00:00出品:Bruce 編輯:Yaoyao, Lisa2022年,DODO Research 發布了《流動性不是全部:整體視角看 10 個穩定幣項目》的研究報告,提出了一個穩定幣綜合分析框架.
1900/1/1 0:00:00▌Twitter將網頁Logo改為狗狗表情頭像金色財經報道,據金色財經發現,Twitter將網頁Logo改成了狗狗表情頭像。Elon Musk過去曾表示,狗狗幣可能提供比比特幣更好的支付功能.
1900/1/1 0:00:00原文作者:Rui, SevenX Ventures2022 年底我共同發起了 DeSci NYC 社區,在紐約定期舉辦聚會,內容涵蓋從 AI 驅動的蘑菇科學、蜜蜂神經研究到區塊鏈技術.
1900/1/1 0:00:00原文作者:Thor Hartvigsen原文編譯:深潮 TechFlow加密研究員 Thor Hartvigsen 總結了最近 30 天內一些知名風險投資基金、投資者以及交易者在加密貨幣市場上的.
1900/1/1 0:00:00虛擬幣相關犯罪涉案金額認定尤其是違法所得金額的認定一直以來是實務界爭議的難題,這一難題基本上涵蓋了虛擬幣相關犯罪的所有罪名。其中財產犯罪的虛擬幣金額認定問題爭議尤為明顯.
1900/1/1 0:00:00