你可能已經閱讀了許多區塊鏈正在研究從單體設計到模塊化設計的演變。你可能沒有聽說過Celestia(以前稱為 LazyLedger),這是第一個以模塊化架構設計的區塊鏈。Celestia是整個加密領域中最令人興奮的項目之一,其即將推出的主網可能是重塑我們今天所知的區塊鏈建設的里程碑。
Celestia是一個簡單的權益證明區塊鏈,它提供了一個可插拔的數據可用性和共識層。它訂購數據并使其可用,但它不執行交易。Celestia被優化為專用執行環境例如Rollup的共享安全層。雖然Celestia將支持所有類型的rollup,但它最初專注于EVM 和Cosmos SDK。Celestia 本身建立在Cosmos SDK之上,并使用Tendermint作為其共識引擎。它背后的關鍵團隊成員每個人在該領域都有令人難以置信的令人印象深刻的記錄:
Mustafa Al-Bassam?— 首席執行官兼聯合創始人
Ismail Khoffi?— 首席技術官兼聯合創始人
John Adler?— CRO 和聯合創始人
Nick White— 首席運營官
許多研究人員已經深入研究過這個主題(特別是Polynya有很多帖子),所以我會在這里保持簡短。從根本上講,當你將區塊鏈分解為其核心組件時,它們會做三件事:
1、執行——這是更新鏈所需的計算。獲取當前狀態,添加一堆新交易,然后過渡到新狀態。
2、共識/結算——這為交易及其排序提供了安全和協議。
3、數據可用性——你需要確保區塊頭后面的交易數據已經發布并可用,這樣任何人都可以輕松計算狀態并檢查狀態轉換。
看看目前的主要區塊鏈,你就有了一種將這三個核心組件放在一起的整體化方法。將它們拆分到專門的鏈中,你就有了一種模塊化的方法。模塊化設計是以太坊當前擴展路線圖的詳細記錄的方法,這也是Celestia團隊多年來一直在努力的方向。Celestia通過將執行與數據可用性和共識脫鉤,顛覆了當前的模型。將執行留給專門的環境,如Rollup。然后這些Rollup可以轉過來,將他們的任意數據發布到Celestia,并依靠它來獲得數據可用性和共識。
區塊空間(Blockspace)是目前世界上需求量最大的商品之一,而以太坊等傳統區塊鏈正處于擴容性突破點。問題的核心歸結為整體化區塊鏈如何處理交易。目前,要讓共識節點驗證一個新區塊,你必須首先檢查該區塊是否達成共識(例如,在中本聰共識下的工作量證明PoW中,這是完成工作量最多的有效鏈嗎?)。節點還必須下載并執行所有交易,以確保區塊在有計算需求的過程中有效。但是,將所有這些一起做并不能有效地擴容。
Celestia節點是不同的——它們根本不擔心執行。Celestia中的節點只需要檢查交易背后的數據是否已經發布,它們甚至不必關心它是否正確。他們只需訂購交易并驗證正在發布的數據是否可用,這是一項更具可擴展性的任務。
要正確分析Celestia,我們必須首先了解區塊鏈面臨的數據可用性問題以及它為何如此重要。問題的核心是節點如何確定當一個新區塊產生時,該區塊背后的所有數據是否都發布到網絡上?如果沒有這些數據,用戶將無法檢測到區塊中是否包含無效交易。
區塊鏈中的節點參與者有兩種:
1、全節點(又名全驗證節點)?——全節點下載并驗證所有交易。這很資源密集型,但它們也更安全。例如,在發生51%攻擊的情況下,只有全節點能審查數據并且可以不相信雙花,因為他們會認為這是無效的。
金色晨訊 | 12月25日隔夜重要動態一覽:21:00-7:00關鍵詞:貝萊德、XRP、USDT增發、Livecoin
1.貝萊德正在招聘區塊鏈副總裁;
2.以太坊持幣地址總數已超5000萬個;
3.香港比特幣協會吁監管機構重新考慮加密貨幣法規;
4.邁阿密市長:正在探索以使邁阿密成為以加密為中心的市政府;
5.美股三大指數齊收漲 區塊鏈概念股普遍收跌;
6.加密交易所Livecoin遭到攻擊并失去服務器控制權;
7.11月以來已有價值超15億美元的XRP期貨合約被清算;
8.Tether在以太坊網絡增發2億枚USDT(已授權未發行);
9.SEC專員:加密貨幣支持者EladRoisman被任命為美SEC主席;
10.美SEC針對Ripple訴訟提交文件顯示R3曾于2019年購買10.4億個XRP。[2020/12/25 16:27:19]
2、輕客戶端(即SPV客戶端的簡化支付驗證)——輕客戶端是非完全驗證節點,因此它們更容易運行但安全性較低。他們只驗證區塊頭,而不是檢查所有底層交易。他們將依賴多數假設——他們假設大多數共識是誠實的,并且區塊鏈共識算法偏愛的鏈包含有效塊。因此,它們很容易受到51%攻擊并導致雙花。
這就提出了一個重要的問題——我們如何讓輕客戶端拒絕無效區塊,這樣他們就不必信任礦工?答案在于欺詐證明,這是特定交易無效的小證明。
欺詐和數據可用性證明由Mustafa Al-Bassam與他的合著者Vitalik Buterin和Alberto Sonnino于2018年正式確定。他們的論文描述了模塊化區塊鏈堆棧安全擴容的一些關鍵組件。使用這些技術,輕客戶端可以依靠全節點來查找無效交易,并在檢測到任何情況下向它們發送簡潔的欺詐證明。這也很容易做到,因為欺詐證明本質上只是由相關交易本身、前狀態樹(pre-state root)、后狀態樹(post-state root)和該交易的見證組成。然后,他們可以將其發送給輕客戶端,輕客戶端可以輕松地重新計算該特定交易并檢測它是否無效,而無需知道整個區塊鏈的狀態。
這就是數據可用性問題發揮作用的地方。為了讓全節點生成欺詐證明,所有底層數據都需要已經發布。如果數據不可用,那么沒有人能夠重新計算狀態或證明惡意活動。那么,我們真正需要的是一種讓輕客戶端在檢查區塊頭時檢查礦工是否已將交易數據發布到鏈上的方法。只要這被發布并且可供全節點使用,那么他們將能夠生成欺詐證明。輸入數據可用性證明。
數據可用性抽樣 (DAS)的關鍵在于,用戶(輕客戶端)可以使用糾刪碼(erasure coding)將一個區塊拆分為多個塊,隨機抽取該數據的一小部分,并在此過程中以統計確定性驗證整個塊已被發布。
更具體一點,運行這個輕節點有多容易?答案如下:
使用數據可用性抽樣 (DAS)允許輕客戶端驗證一個區塊中的所有數據實際上都可以下載,因此完全驗證節點將能夠在任何無效交易的情況下生成欺詐證明。結合這些技術,我們能夠依賴更弱的安全假設。現在讓我們回顧一下這三種情況:
金色晨訊 | 美國國會于13日討論推出兩項加密相關法案 三星否認提供加密貨幣冷錢包:1.IBM將在非洲測試區塊鏈農業系統
2.CFTC尋求公眾置評加密資產機制和市場
3.三星駁斥在Galaxy S10智能手機提供加密貨幣冷錢包傳聞
4.美國國會將于13日討論推出兩項加密相關法案
5.中國信通院推出《區塊鏈的技術發展與應用》 研究報告
6.深圳稅務局正式推出“微信支付區塊鏈電子發票”功能
7.全國首筆區塊鏈保險理賠在臺州誕生
8. 85萬枚BTC轉移確認為Coinbase交易所進行的正常資金整理
9.區塊鏈專利數京深滬排名前三 東部沿海成黃金地區[2018/12/12]
1、全節點——仍然是最安全的場景,全節點不能被欺騙接受無效區塊。
2、標準輕客戶端——因為他們不驗證區塊,他們假設多數共識是誠實的。
3、輕客戶端 + 欺詐證明——我們現在可以用更弱的誠實少數假設來代替誠實多數假設的狀態有效性。你現在只需要最少數量的輕客戶端發出足夠的樣本請求,這樣它們就可以一起重建整個區塊。
欺詐證明和概率數據采樣的結合是實現鏈上區塊鏈擴展(例如通過分片或區塊大小增加)同時保持數據可用性和有效性的強大保證的核心。Celestia的路線圖與以太坊的路線圖形成鮮明對比:
Celestia將與DAS一起啟動,并且沒有分片計劃
以太坊的路線圖在DAS之前實現分片
以太坊計劃使用隨機抽樣來實現分片(在驗證不同區塊的驗證者列表中隨機洗牌shuffling),但它直到幾年后才擁有DAS。正如Vitalik自己指出的那樣,“通過隨機抽樣進行的分片比我們在以太坊生態系統中構建的分片形式具有更弱的信任屬性,但它使用了更簡單的技術。”?事實上,以太坊當前的路線圖早在其實施DAS之前就有分片,這一事實是一個微妙但重要的點,因為沒有DAS的分片不太安全。
區塊鏈通常具有基于最終用戶完整節點的資源需求的有限容量。例如,比特幣的理論最大大小為4兆字節,設置得非常低,因此任何普通用戶都可以在普通硬件上啟動節點并驗證鏈。以太坊也有類似的目標,讓普通用戶驗證鏈,盡管資源要求比比特幣略高。任何人都可以自己檢查鏈的這種能力對于自我主權的概念至關重要,即你不必信任任何第三方來驗證網絡。對于一組給定的硬件要求和運行完整節點的成本,這基本上限制了網絡的TPS。
在Solana可以看到一個值得注意的例外——這是一個尋求擴展而不進行模塊化的整體化鏈的主要例子。Solana的擴展很大程度上歸結為利用摩爾定律押注硬件成本將繼續下降,網絡將繼續增加其硬件要求,從而提高吞吐量。這樣做的結果是Solana的容量應該總是大于需求,并且不需要為區塊空間出現收費市場。因此,交易成本可以保持得非常低,剛好足以防止垃圾郵件攻擊。
Celestia路線圖與使用最少硬件的普通用戶應該能夠自己驗證鏈的理念非常一致,因此他們還打算通過使驗證更容易(而不是通過增加硬件假設)來擴展。因此,它不能保證容量總是超過需求。會有限制,會出現收費市場。Celestia所提供的是比其他當代區塊鏈設計更大的容量,這反過來將帶來令人難以置信的可擴展性和更低的費用。它可以做到這一點,因為它的設計使得驗證鏈在計算上很容易(不必擔心執行)。
Celestia擴展的關鍵在于它需要亞線性(sub-linear)工作來驗證鏈的區塊大小。更具體地說,客戶端只需要下載他們正在檢查的數據量的平方根數據量。例如,假設你在一個有10,000個chunk的區塊上執行DAS。你只需要下載并檢查其中的100 個。你現在已經從節點需要下載并執行區塊中的每個交易的模型轉變為只需要下載并檢查區塊數據的平方根量的可用性的模型。
使驗證變得如此簡單是擴展的關鍵,因為你需要采樣的區塊數量與區塊大小無關,因此無論區塊大小如何,檢查區塊的成本大致恒定。這允許你增加區塊(或分片)的大小,從而增加 TPS,而不會增加最終用戶驗證鏈的成本。但是,區塊越大,你需要在網絡中下載隨機樣本的用戶就越多,以確保用戶已經對區塊中的所有內容進行了集體采樣。因此,安全托管更多數據的限制在于擁有更多節點。你現在已經創建了一個隨用戶數量(輕節點)線性擴展的區塊鏈,并且已經讓這件事變得異常容易。隨著越來越多的節點加入網絡,可以在不犧牲安全性或去中心化的情況下安全地增加區塊大小。增加傳統區塊鏈上的區塊大小會增加驗證的硬件要求,從而犧牲去中心化和安全性。位于Celestia之上的rollup依賴于它來提供數據可用性,因此通過提高基礎層的數據可用性,這將轉化為在他們自己的執行環境中增加擴展。這就是Celestia提供大規模可擴展性的方式。
金色晨訊 | 石油幣將于11月5日向委內瑞拉公眾出售:1.Ripple:大規模采用區塊鏈的轉折點正快速逼近
2.韓國國家政策委員會主席呼吁ICO合法化
3.石油幣將于11月5日正式向委內瑞拉公眾出售
4.票務平臺Big Tickets接受BCH付款
5.圣路易斯聯儲副主席:私有加密貨幣或解決“特里芬難題”
6.IBM、英特爾等助力UCSD建立區塊鏈研究中心
7.立陶宛財政部長:將于明年發布加密行業監管修正案
8.IMF副總法律顧問:加密資產可使全球金融體系更高效
9.比特幣ATM在美國猶他州涌現[2018/10/3]
事實上,我們已經在實踐中看到了類似的想法。BitTorrent是一種用于點對點文件共享的通信協議,它使用戶能夠通過Internet分發數據和電子文件。它一直是世界上最具可擴展性的去中心化協議之一,甚至曾一度處理超過四分之一的互聯網總流量。它如此可擴展的原因與 Celestia的設計如此可擴展的原因大致相同。P2P用戶無需執行任何操作,他們只需與每個參與者共享存儲和分發,只貢獻和存儲網絡的一小部分。網絡中的用戶越多,它可以存儲和分發的數據就越多,直接與用戶群一起擴展。
既然我們有了創建能夠安全地提供數據可用性的安全基礎層的方法,那么我們就有了一個可行的家園,可以在上面進行rollup。rollup是區塊鏈自身,具有自己的區塊生產者,可以優化為執行環境。然后,他們可以依靠Celestia等基礎層來提供數據可用性,以便他們可以轉儲交易。讓我們快速看一下兩種主要的rollup,以及它們為什么需要數據可用性和共識:
1、樂觀Rollup—樂觀rollup的聚合器或排序器首先將交易收集到rollup區塊中。在以太坊rollup情況下,聚合器隨后將該區塊發送回基礎層的智能合約,同時還發布債券。這些rollup是樂觀的,因為它們的區塊被認為是有效的(在被證明有罪之前是無辜的)。在無效交易的情況下,可以利用上述欺詐證明來證明。區塊發布后,有一個挑戰期,任何人都可以提交欺詐證明來挑戰區塊。如果欺詐證明挑戰成功,聚合者的保證金將被罰沒,區塊將被回滾。如果該周期結束時沒有挑戰,則區塊被最終確認。如前所述,提交這些欺詐證明需要數據可用性。
2.零知識(ZK)rollup— ZK rollups反過來工作,需要一個稱為有效性證明的預先加密證明,以表明發布的區塊是有效的(有罪直到被證明是無辜的)。雖然有效性證明本身不需要數據可用性,但它仍然是鏈安全所必需的。如果ZK rollup區塊生產者在不發布數據的情況下創建區塊,用戶將無法重新創建狀態。例如,想象一個場景,在以太坊之上的ZK rollup的區塊生產者開始審查交易。如果數據在主鏈上可用,rollup上的用戶可以重新創建狀態,證明他們的賬戶余額,并強制退出rollup到主鏈。或者,其他定序器也可以介入以重新創建狀態并開始生成區塊。
目前,Celestia希望通過兩種主要方式為rollup提供基礎:
1、 “Celestia-native Rollups”?——這些僅依賴于Celestia來實現數據可用性和共識。這是在 Celestia之上通過客戶端執行構建rollup生態系統的最初愿景。從長遠來看,這仍然是主要目標,并且可能更具可擴展性。
2、 “Ethereum-native Rollups”?——這些是目前存在于以太坊主鏈之上,但也依賴于鏈下的rollup(或者更準確地說,在這種情況下是“Volitions”,我們稍后會介紹)數據解決方案選項。以太坊上的數據可用性仍然非常昂貴,因此利用以太坊和Celestia的rollup混合解決方案在短期和中期可能很有意義。
Celestia的主要愿景在高層次上非常簡單——提供可插拔的數據可用性和共識層,以便在其上運行rollup。與以太坊上的rollup相比,Celestia上的rollup的主要區別為Celestia沒有執行環境這一事實。這將在功能上影響應用程序,例如ZK rollup,這些應用程序以下列方式使用有效性證明:
金色財經現場報道 孫建認為區塊鏈企業目前最大問題就是落地難:九鼎區塊鏈實驗室創始人孫建在第三屆中國股權轉讓論壇暨上表示,區塊鏈企業目前遇到一個非常大的問題,就是沒有落地,可以說目前大部分區塊鏈企業都沒有落地。[2018/4/13]
以太坊模型——ZK rollup將向以太坊發布有效性證明,以太坊上的智能合約將驗證它們。
Celestia模型——ZK rollup也會在Celestia上發布數據和有效性證明,但有效性證明需要在本地驗證,因為Celestia本身沒有執行環境來執行此操作。因此,Celestia將鎖定數據和有效性證明,但對它的驗證外包給rollup的執行環境。
在Celestia中,基礎層和rollup層之間沒有任何雙向橋梁。你沒有運行這兩條鏈的客戶端,因為 Celestia對所有這些rollup基本上是不可知的,并且不理解來自這些rollup的數據的含義。在 Celestia原生rollup的情況下,rollup排序器可能會運行Celestia主鏈的客戶端。它將跟隨區塊,使用rollup數據向Celestia提交交易,并支付包含該數據的費用。
雖然與以太坊一起工作的混合解決方案并不是最初的計劃,但這里已經形成了明確的產品市場契合度。因此,Celestia一直在討論具有不同以太坊ZK rollup的替代解決方案。首先,解釋一下以太坊當前的數據可用性瓶頸究竟是什么。在較高的層面上,以太坊主鏈仍然面臨擴容挑戰,即使在其上使用rollup,費用也會顯著增加。這是因為以太坊還遠未優化為具有數據可用性層的分片和DAS。因此,出現了其他鏈下數據可用性解決方案。以下是以太坊當前rollup情況的概述:
Celestia在Volitions的情況下變得非常有趣。正如StarkWare開創的那樣,Volitions是指用戶可以選擇在以下任一系統中操作的系統:
ZK-rollup模式——繼承以太坊的全部安全性,依靠它來實現結算和數據可用性。
Validium模式——一種較弱的安全模式,以太坊仍然是基礎結算層,但數據可用性被置于鏈下。
Volitions為用戶提供了極大的自由度,允許他們在單個交易的基礎上在更高的安全性(rollup)和更低的成本(Validiums)之間進行權衡,同時保持完全的可組合性,因為兩種模式共享相同的狀態。StarkNet將提供其Validium解決方案,zkSync 2.0將推出類似的zkPorter解決方案,以在今年繼續其發布路線圖時以類似的模式運行。當前版本的Validiums,如StarkWare的許可擴展引擎StarkEx,依賴于知名可信方(如ConsenSys和Nethermind)的封閉委員會來證明數據在鏈下的可用性。這種類型的許可場景當然遠非理想,因為該Validium上的所有用戶都受這些中央委員會的擺布,這些中央委員會可以凍結狀態并扣留數據。展望未來,StarkWare 和Matter Labs將推出他們的無許可rollup(分別為StarkNet和zkSync 2.0)。zkSync還將包括 zkPorter(Validium解決方案),它也將轉移到鏈下托管其數據可用性,使用由稱為 Guardians的zkSync代幣質押者保護的權益證明進行保護,如下所示:
金色財經現場報道,天馳君泰律師事務所高級合伙人孫志勇:區塊鏈生態的基礎要素分為三個要素:金色財經現場報道,天馳君泰律師事務所高級合伙人孫志勇在GoldenBlock 共識·鏈上未來論壇上表示,區塊鏈生態的基礎要素分為三個要素,第一個為外部賦能,這包括初始社群,團隊等;二是內部價值,如相對傳統商業的價值提升,或者創造新的價值;三是自身演進的機制,從邏輯自洽,到Token的閉環、流暢、穩定負反饋機制,以及共有、共治、共享的機制。[2018/4/10]
如果他們的數據可用性委員會是安全的,這些Validiums仍然可以提供比側鏈或替代第一層區塊鏈更高的安全性。在最壞的情況下,惡意行為者控制了排序器并控制了超過2/3的總份額,他們能做的最壞的情況是簽署有效的狀態轉換但扣留數據,從而有效地凍結狀態。完全rollup模式的用戶可以免受此類攻擊,因為他們的數據在以太坊主鏈上可用,因此他們總是可以重新創建狀態以證明他們的賬戶余額并強制退出以太坊第一層。
這就是Celestia的用武之地。如果以太坊的主鏈數據可用性選項成本過高,那么ZK rollup目前可以選擇為數據可用性設置許可設置(例如現在在StarkEx中)或需要引導一個新的安全委員會驗證者(zkPorter的方法)。Validiums可以選擇插入Celestia以實現鏈下數據可用性,同時仍然利用以太坊進行結算,而不是通過這個過程并在各種ZK rollup中分割安全性。
在實踐中,Celestia驗證者集可以向以太坊發布簽名,以證明給定以太坊原生Validium的數據實際上已在Celestia上可用。Celestia區塊使用所謂的命名空間(Nanespace)默克爾樹進行組織(稍后將對此進行更詳細的描述),允許在以太坊智能合約上證明特定于給定Validium的數據。然后rollup客戶端可以在以太坊上讀取這些證明,并知道數據可供他們重新計算狀態。
在這種混合場景中,由于結構不同,Celestia將繼續在數據可用性成本和可擴展性方面削弱以太坊。在以太坊上,發布數據將繼續與大量智能合約的狀態執行競爭。以太坊的創新使自己成為一個非常適合的數據可用性層(數據分片,最終是DAS)還有很長的路要走。Celestia將此證明發布到以太坊會增加一些成本,但這可以通過諸如可能為不同rollup的批處理證明等方式進行優化。更重要的是,你只是將簽名和Merkle樹從Celestia發布到以太坊,這比將完整的交易數據發布到以太坊要便宜得多。
需要說明的是,目前Celestia只能用于以太坊原生驗證而不是實際rollup的原因是因為以太坊目前不支持鏈下數據可用性證明。但是,前面提到的rollup客戶端僅驗證Celestia的簽名以證明數據可用性的場景確實符合他們的威脅模型。為了讓你擁有rollup的安全假設,你希望繼承基礎層的完整安全假設(即,讓以太坊通過支持鏈下數據可用性證明來實際驗證數據可用性),而不是依賴于證明一個鏈下委員會。
因此,在這個同時依賴以太坊和Celestia的Validium示例中,應該注意的是,與完全rollup模式相比,這確實帶來了額外的安全假設。但是,它仍然應該比完全依賴于不太安全的第一層的rollup或許多Validium依賴自己較弱的數據可用性委員會的情況更安全(并且比僅依賴以太坊的rollup更便宜且更具可擴展性)。
Celestia目前正在與Evmos團隊合作構建Cevmos(C?elestia/?EVM?os/ Cosm?OS),這是一個令人難以置信的令人興奮的全模塊化堆棧,用于托管基于EVM的rollup。
作為背景,Evmos是一個與應用程序無關的鏈,可通過IBC與以太坊主網、EVM兼容環境和其他BFT鏈互操作。Evmos旨在成為Cosmos的EVM中心,使智能合約的部署和Cosmos生態系統內的通信變得容易。
Cevmos的核心將是一個基于Cosmos SDK的優化結算層,它將運行一個受限的EVM。它將基于Evmo并構建為在其之上托管EVM遞歸rollup(rollup中的rollup)。這個結算層本身就是在 Celestia之上運行EVM的rollup,因此我們可以將其稱為“結算匯總(settlement rollup)”。Cevmos settlement rollup將使用Optimint(Optimistic Tendermint)構建,而不是現有 Cosmos鏈上使用的Tendermint Core共識引擎。Optimint是Tendermint BFT的替代品,使開發人員能夠部署使用現有共識和數據可用性層(如Celestia)的新鏈。
從本質上講,為rollup構建的任何結算層都是一條鏈,該鏈具有與rollup的信任最小化雙向橋梁,在結算層上使用某種爭議解決合約。這允許代幣在兩者之間轉移,或者從一個rollup到另一個通過結算層路由,以信任最小化的方式在任一方向。
目前的問題是,以太坊主鏈不僅針對rollup結算進行了優化,因此rollup必須始終與其他應用競爭,這變得昂貴且不可擴展。相反,Cevmos settlement rollup將受到更多限制,僅允許:
Rollup智能合約——它必須處理有效性證明的驗證以及在其之上托管ZK和optimistic rollup所需的爭議
Rollup之間的簡單轉移
由于Cevmos結算匯總將與EVM完全等效,因此你將能夠輕松移植并在其上運行你最喜歡的 EVM Rollup(Fuel、Optimism、Arbitrum、StarkNet等)。
回顧一下,完整的Cevmos堆棧可能包括:
1、Celestia——在底部提供數據可用性。
2、Cevmos結算匯總——這條基于Evmos的鏈將位于Celestia之上。它將僅作為基于EVM的rollup的結算層進行優化。
3、基于EVM的Rollups——處理執行,潛在的大量執行Rollup將位于堆棧頂部。
除了擁有一個非常酷的名字之外,Quantum Gravity Bridge是Celestia正在進行的更有趣的開發項目之一。該橋將成為從Celestia到EVM兼容鏈(例如,以太坊、Avalanche、BSC等)的中繼。這將允許你將那些證明Celestia上的數據可用的證明轉發到該EVM兼容鏈。這將用于那些構建在與EVM兼容的鏈上的Volitions,但還沒有完全準備好跳過在Cevmos上完全部署其代碼。但是,你仍然可以從Celestia在該混合系統中的可擴展數據可用性中受益,如下所示:
1、Celestia通過中繼提供數據
2、用于結算的EVM鏈(替代Cevmos結算匯總)
3、用于執行的EVM-native rollup
橋將證明數據實際上已在Celestia上可用的EVM兼容鏈轉發,然后你可以繼續使用EVM兼容鏈進行結算。
盡管Celestia本身是基于Cosmos SDK構建的,但它的美妙之處在于構建在它之上的rollup可以保持選擇他們想要的任何執行環境的能力。事實上,目前使用Cosmos SDK進行rollup實際上是相當困難的,因為很難讓它們狀態欺詐可證明。這是因為Cosmos SDK不是像EVM那樣非常具體或定義明確的執行環境。因此,單個交易可能會觸及所有狀態,因此很難為給定交易提供欺詐證明以供輕客戶端檢查。(在Cevmos結算匯總的情況下,你之前會注意到一個例外,盡管這應該可以工作,因為它的環境更加嚴格和受限)。
因此,Celestia實際上將Cosmos SDK之外的其他環境視為一種默認執行環境。正在研究的一個是Arbitrum的VM,它是一個更受限制且定義更明確的執行環境。它使用交互式驗證游戲,而不是一般的狀態欺詐證明。在短期內,這可能是一個比讓Cosmos SDK容易被欺詐證明更可行的解決方案。這仍然是一個最終目標,但該計劃可能會從現在最容易獲得的選項開始,并隨著時間的推移繼續添加新的執行環境。隨著時間的推移,要加入新的執行環境,他們需要兩個主要的東西:
1、當前的執行環境通常與共識相結合,因此你需要將它們解耦,并將共識部分替換為僅將數據轉儲到Celestia上的能力。
2、有效性證明或某種狀態欺詐證明的能力(這里的選項是前面提到的那兩個——交互式驗證游戲或一般狀態欺詐證明)。
模塊化堆棧的關鍵愿景之一是為開發人員提供更大的靈活性,以優化他們想要的東西和應用程序用戶在結果中的發言權。Celestia為這一愿景提供了完美的中性和靈活的基礎層。如果你在當今世界計算機模型(例如以太坊)上運行rollup,你將在基礎鏈上部署智能合約橋。因此,你將遵循第一層的規則。如果沒有鏈上投票,這個rollup的邏輯和共識就不能輕易升級,所以沒有分叉的選擇。
在Celestia上rollup的情況下,你可以擁有一個本地橋接器,其中進行欺詐或ZK證明的邏輯是本地完成的,并且此代碼是裁決的。這可以在不影響數據可用性層的情況下進行升級。這就是 Celestia rollups擁有更大主權的原因——它們無需獲得許可即可輕松進行硬分叉。這也是像 Cosmos(不是世界計算機模型)這樣的系統的優勢,其中各個區域可以依靠自己的治理來進行硬分叉,而不會同時對其他所有區域進行硬分叉。這里的問題是區域有點過于分離,因為它們分散了安全性。現在,如果你可以將主權提供給區域,但將Celestia的共享安全性作為公共基礎層,同時通過IBC進行交互,那會怎樣?
這些系統本質上是一種社會共識,而Celestia將權力交還給部署在其之上的鏈。假設你再次遇到像DAO hack這樣的情況,硬分叉的決定必須由整個以太坊基礎鏈做出。現在你可以在 Celestia之上設想一個特定于應用程序的rollup世界,在類似的情況下,如果他們遭受黑客攻擊,無需硬分叉任何其他rollup,就可以自由地做他們想做的事情。
當應用程序部署在Celestia上時,它們將能夠選擇自己的“命名空間”,然后它們的所有消息都將與之關聯。然后,Celestia使用按每筆交易的命名空間排序的Merkle樹來組織其區塊。這使得網絡中的用戶可以輕松地查詢Celestia的完整存儲節點以請求與其應用程序相關的交易,而無需關心與其他應用程序相關的數據。這與現有的區塊鏈相反,其中每個智能合約都在同一臺世界計算機上運行,共識和執行相結合。在這種情況下,智能合約用戶確實需要關注并檢查所有其他智能合約的交易。
代幣
Celestia確實會有一個代幣,但目前細節非常有限。它將用于使用權益證明來保護網絡并支付網絡上的交易費用。類似EIP-1559的費用消耗機制也在計劃中,隨著采用率的增長,產生通縮壓力以抵消新發行的壓力。
時間線
Celestia于2021年推出了其最小可行產品 (MVP) 和私有開發網。下一步將在2022年初推出一個測試網(計劃建立一個激勵性測試網),隨后在2022年晚些時候推出主網。
總而言之,Celestia與傳統解決方案相比具有多種優勢:
可擴展性——通過將執行與共識和數據可用性分離,Celestia能夠根據網絡上的節點數量進行專業化和線性擴展。然后可以在上層自由優化執行環境。
簡單——Celestia將自己稱為一個可插拔的解決方案,希望能夠像單擊按鈕一樣輕松部署特定于應用程序的區塊鏈。可能無限數量的長尾區塊鏈將在Celestia 之上擁有一個天然的家園。
共享安全性——不再需要將你自己的安全性和驗證者集引導為單獨的鏈。無論是針對原本獨立的鏈,還是需要引導數據可用性委員會的Validium,這些選項都更加困難和使安全碎片化。
主權——Celestia設計的簡潔之美在于為基于它構建的應用程序提供了極大的自由度。不再被所在的鏈的執行環境和治理決策緊緊束縛。
Celestia團隊在考慮數據可用性和模塊化區塊鏈堆棧方面遠遠領先于時代。其他諸如Polygon Avail或其他當前希望模塊化的Layer1區塊鏈剛剛意識到這種范式轉變的必然性。這越來越成為區塊鏈擴容的方向,Celestia將提供一流的解決方案。
原文鏈接
Tags:STIESTELEROLStick ManDogestributeDefiskeletonsControl2XY
元宇宙的開拓者是我們針對元宇宙的發展而設立的專欄,主要面向那些深挖元宇宙產業或者在元宇宙進行淘金的從業者,分享這些企業或者創業者們的故事,以獨特的視角窺見那些引領全球元宇宙發展的企業或個人.
1900/1/1 0:00:00自2017年成立以來,Polygon已從一個簡單的2層以太坊擴展解決方案轉變為一個蓬勃發展的流行Web3項目生態系統,使其成為可持續的運營基礎設施.
1900/1/1 0:00:00自從中本聰十多年前創造出比特幣后,這一市場基本都由中國、日本和韓國等東亞國家的投資者主導。然而從 2020 年開始,北美力量崛起.
1900/1/1 0:00:00不知道你是否還記得早前看到Facebook改名Meta時的心情,我是記得的。盡管那個時候元宇宙依然是非常火爆的,無論是在資本圈,還是在創業者眼中,元宇宙都是一片全新的熱土.
1900/1/1 0:00:00近日,adidas副總裁、Runtastic首席執行官Scott Dunlap在社交媒體上發文表示“很高興可以見證Move to Earn的起源,我認為在2022年.
1900/1/1 0:00:00原標題:《Yearn Finance Vaults: Knockin’ on DeFi’s Door》Yearn Finance的目標是為了開啟一個能便捷地投資DeFi的大門.
1900/1/1 0:00:00