說明:本文是基于 Celestia 官方教程做的筆記整理和注釋。原文:Learn Modular
編譯:《深入探究模塊化區塊鏈》by Echoic
單鏈包含四個組件
執行層:確保所執行的交易進行正確的狀態更新。執行層必須確保被執行的交易是有效的,即交易的結果是有效的狀態機轉換。
結算層:確保有一個使得執行層能夠驗證證明、解決欺詐糾紛的環境,并作為執行層之間的橋梁。
共識層:確保交易的順序達成一致。
數據可用性層:確保交易數據的可用性。
單片區塊鏈在單個層上同時完成上述的所有事情。
單鏈的限制
低效的交易驗證:節點必須重新執行交易以檢查有效性。
資源約束:區塊鏈受單個節點的資源容量約束。
可擴展性:為了提高吞吐量,必須在一定程度上犧牲安全性或去中心化。
單鏈和模塊化區塊鏈的對比
(1) 模塊化區塊鏈是什么
指將「執行層、結算層、共識層、數據可用性層」四個組件中至少一個組件完全外包給外部鏈的區塊鏈。
由于在單片鏈上為數百萬或數十億用戶提供服務過于復雜且解決能力有限,人們提出了分片和Layer2 解決方案,后來逐漸演變成模塊化區塊鏈。模塊化的實現最初方案是rollups,后來這個概念進一步擴大成模塊化區塊鏈。
模塊化區塊鏈能夠最大限度地降低運行節點的成本。
(2) 模塊化區塊鏈的第一原則
Cosmos生態DEX Osmosis已集成Celestia數據可用性層:8月9日消息,Cosmos生態系統DEX Osmosis已集成Celestia數據可用性層。Osmosis表示,未來Rollup網絡可以在任何地方訪問流動性并在Celestia上使用Osmosis網絡上的任何代幣跨鏈支付DA費用。Osmosis還表示,很快將與跨鏈應用構建平臺Hyperlane集成。[2023/8/9 21:34:20]
去中心化:模塊化區塊鏈通過降低用戶操作節點和驗證網絡的成本來優先考慮網絡安全。
安全:在存在惡意驗證者的情況下,去中心化的用戶網絡最終負責維護區塊鏈的安全性。
可擴展:擴展使模塊化區塊鏈能夠增加容量,而不會增加用戶驗證和保護網絡的成本。
如果區塊鏈可以增加它處理的交易數量,而不會增加節點驗證交易的成本,那么它就是可擴展的。模塊化區塊鏈堆棧中使用的欺詐證明、有效性證明和數據可用性采樣等技術使節點能夠比完整節點更有效地驗證交易,同時保持同等的安全性。
可擴展性公式定義
(3) 模塊化區塊鏈的優勢
具有主權:盡管使用了其他層,但新的模塊化區塊鏈可以像Layer1 一樣具有主權。這允許區塊鏈在未經任何底層許可的情況下響應黑客攻擊并推送升級。
主權(Sovereignty):在代幣、協議的功能和升級、網絡和協議的治理、生態系統的建設和基礎設施具有更高的主動權
方便推出新的區塊鏈:由于模塊化區塊鏈不需要處理所有功能,新區塊鏈可以簡單地將現有的模塊化區塊鏈用于他們希望卸載的組件。
機構級數字資產管理公司Xalts完成600萬美元融資,Citi Ventures和Accel共同領投:金色財經報道,機構級數字資產管理初創公司Xalts完成600萬美元融資,Citi Ventures(花旗的風險投資集團)和Accel共同領投,Polygon聯合創始人Sandeep Nailwal等參投。
總部位于香港的Xalts由前匯豐銀行交易員Ashutosh Goel和前Meta Asia高管Supreet Kaur創立,預計將在多個全球交易所推出多種與數字資產相關的投資產品,包括共同基金和交易所交易基金,未來將與資產管理公司和質押基礎設施提供商建立合作伙伴關系,以推出和管理其他金融產品。
Xalts首席投資官、前匯豐銀行交易員Ashutosh Goel表示,“通過Xalts,我們正在構建創新的機構級投資產品和解決方案,這些產品和解決方案專注于高合規和控制標準,也是機構投資者關注的要點”。[2022/10/7 18:41:24]
像Optimint 這樣的Rollups “SDK”與Cosmos SDK 相結合將有助于促進新區塊鏈的創建,而無需引導安全驗證器集
提高可擴展性:通過模塊化可以在不犧牲安全性或去中心化的情況下實現擴展。
(4) 關于Celestia
Celestia 與之前的區塊鏈設計不同,后者將執行作為核心功能,但Celestia 設計者認為執行是新鏈的工作(指基于Celestia 創建的新鏈來負責處理執行),而Celestia 專注于基礎層(共識和數據可用性),這樣可以從基礎層緩解單片鏈的最大瓶頸:吞吐量和狀態膨脹。
Celsius CEO提議將Celsius改造為數字資產托管公司:金色財經報道,Celsius首席執行官Alex Masinsky最近提議將Celsius改造成一家數字資產托管公司。在9月8日的一次員工會議上,Alex Masinsky概述了一項振興公司的大膽計劃。他和另一位Celsius高管Oren Bronstein說,他們想重建公司,把重點放在托管上,為人們儲存加密貨幣,并對某些類型的交易收取費用。這個項目的代號為“Kelvin”。(紐約時報)[2022/9/14 13:27:39]
Rollups 和Celestia 的區別在于Rollups 專注于執行(無結算、共識和數據可用性層),Celestia 專注于共識和數據可用性(無執行和結算)。
數據可用性層對吞吐量的重要性:吞吐量分為數據吞吐量和交易吞吐量,數據吞吐量與數據可用性層密切相關,因為它們的主要工作是為數據提供高容量。狀態膨脹:指支付一次GAS費會讓你的數據在以太坊區塊鏈上永久保存,從而導致一個無限的、不斷增長的狀態,其中甚至有很多無用數據。
(1) Layer 1 & Layer 2
最初構建樸素的模塊化堆棧是為了向Layer1 提供可擴展性。在這個堆棧中, Layer1 提供所有關鍵功能,包括執行,而Layer2 只專注于執行。Layer1 允許Layer2 發布區塊,同時充當連接Layer2 的樞紐。
在大多數情況下, Layer2 的容量也取決于Layer1 的容量。因此, Layer1 和Layer2 堆棧的這種實現對于可擴展性來說不是最理想的。
加密借貸平臺Celsius驗證資產量超過100億美元:加密借貸平臺Celsius宣布已經通過第三方工具,驗證了超過100億美元的加密貨幣資產,目前的用戶數也超過了48.5萬名。Celcius表示其資產增長約有一半歸功于資產價格的增長,另一半歸功于用戶的增長和轉入資產的增長。
此前Celsius表示,“驗證資產”統計了Celsius網絡自2018年6月以來的總充值和總提款的歷史總額。[2021/3/11 18:37:11]
(2) 執行、結算和數據可用性
優化模塊化區塊鏈堆棧可以提供的更多好處,通過模塊化區塊鏈將各個功能解耦:
執行層
應用程序所在的環境和執行狀態更改的環境,位于模塊化堆棧的頂部,其作用與Layer2 相同。
結算層
執行層的可選中心,用于驗證證明、解決欺詐糾紛。用于在執行層和結算層之間建立信任最小化橋梁,并提供了一種執行層之間相互連接的方式。
執行層可以選擇將其完整的區塊發布到結算層,之后結算層將構建自己的區塊,包括來自執行層的交易,并將交易數據發布到共識和數據可用性層。這只是結算層在模塊化堆棧中發揮作用的多種方式之一。
因為沒有執行功能,所以結算層只發布交易數據,而不是整個區塊的內容。
信任最小化橋梁:兩個區塊鏈之間的橋梁不需要中間人、委員會或誠實的多數假設來確保資金不會被盜。例子是以太坊和建立在其之上的Rollups 之間的橋梁。
動態 | Celsius:目前為止沒有任何監管機構就CEL代幣問題與其聯系:加密貸款初創公司Celsius通過2018年ICO籌集5000萬美元的加密貨幣資金,出售借款人可以選擇賺取利息的CEL代幣。自那以來,貸款量激增,10415名Celsius用戶在鎖定加密抵押品后獲得法定貸款。托管服務提供商BitGo向CoinDesk證實,過去一年從Celsius獲得價值10億美元的加密存款。CEL代幣今天的交易價格與去年秋天代幣出售后不久的價格大致相同。Celsius表示,到目前為止,沒有任何監管機構就CEL代幣問題聯系過它。[2019/9/7]
共識和數據可用性層
共識就交易順序達成一致,數據可用性驗證交易數據是否可供下載。在多數情況下這兩層之間互相協作,例如專門研究數據可用性的模塊化區塊鏈需要達成共識才能對數據進行排序,否則無法確定數據的歷史記錄。
(3) 執行和數據可用性
在前兩個模塊化堆棧中,執行層只專注于執行,并將剩余的功能卸載到其他層。然而,由于模塊化區塊鏈的用途很靈活,因此執行層不僅限于將其塊發布到結算層。例如,可以創建一個不涉及結算層的模塊化堆棧,只涉及共識和數據可用性層之上的執行層。
由于不涉及結算層,因此只有數據可用性層負責為交易排序和數據可用性提供安全性。這使執行層能夠獲得將共識與執行分離的全部可擴展性優勢,因為沒有中間層將交易數據轉發到基礎層(共識和數據可用性層)。
由于模塊化區塊鏈僅處理一部分功能,因此可以進行更多的解耦,比如解耦出結算層,可以通過模塊化區塊鏈進行結算層的優化和專業化。
模塊化堆棧中的結算層可以專注于結算,同時將其余組件(如共識和數據可用性)外包給其他模塊化區塊鏈。通過引入欺詐或有效性證明,結算層可以增強輕客戶端的安全性,允許他們驗證有效或無效塊。
結算層為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
鏈得得
原文來源:DappRadar原文編譯:比推 BitpushNews Mary Liu2023 年第一季度的 dapp 行業經歷了高潮和低谷.
1900/1/1 0:00:004 月 11 日,香港 Web3.0 協會今日正式成立,典禮議程包括理事會會長及主禮嘉賓致辭、協會主要成員委任儀式、高峰論壇等議程.
1900/1/1 0:00:002022年9月15日,以太坊合并完成了以太坊網絡從工作量證明(POW)向權益證明(POS)的過渡.
1900/1/1 0:00:00機構:Mint Ventures 作者:Colin Li 在ETH流動性質押之外,BNB與ATOM質押市場開始獲得投資者的注意力.
1900/1/1 0:00:00演講:King Leung,InvestHK 金融科技負責人 大家好!今天非常榮幸和萬向、HashKey 有這個機會和大家分享一些香港政府的看法.
1900/1/1 0:00:002023年,圍繞“加密技術與人工智能”的爭論越來越多,但我認為我們不應該以消極的態度去看待這兩者的關系。對于所有的新興技術來說,這樣的爭論是不可避免的.
1900/1/1 0:00:00