比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads
首頁 > Fil > Info

金色觀察 | 專注于數據可用層 一文讀懂新公鏈Celestia_CEL

Author:

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

你可能已經閱讀了許多區塊鏈正在研究從單體設計到模塊化設計的演變。你可能沒有聽說過Celestia,這是第一個以模塊化架構設計的區塊鏈。Celestia是整個加密領域中最令人興奮的項目之一,其即將推出的主網可能是重塑我們今天所知的區塊鏈建設的里程碑。

Celestia是一個簡單的權益證明區塊鏈,它提供了一個可插拔的數據可用性和共識層。它訂購數據并使其可用,但它不執行交易。Celestia被優化為專用執行環境例如Rollup的共享安全層。雖然Celestia將支持所有類型的rollup,但它最初專注于EVM和CosmosSDK。Celestia本身建立在CosmosSDK之上,并使用Tendermint作為其共識引擎。它背后的關鍵團隊成員每個人在該領域都有令人難以置信的令人印象深刻的記錄:

MustafaAl-Bassam?—首席執行官兼聯合創始人

IsmailKhoffi?—首席技術官兼聯合創始人

JohnAdler?—CRO和聯合創始人

NickWhite—首席運營官

模塊化與整體化區塊鏈設計

許多研究人員已經深入研究過這個主題,所以我會在這里保持簡短。從根本上講,當你將區塊鏈分解為其核心組件時,它們會做三件事:

1、執行——這是更新鏈所需的計算。獲取當前狀態,添加一堆新交易,然后過渡到新狀態。

2、共識/結算——這為交易及其排序提供了安全和協議。

3、數據可用性——你需要確保區塊頭后面的交易數據已經發布并可用,這樣任何人都可以輕松計算狀態并檢查狀態轉換。

看看目前的主要區塊鏈,你就有了一種將這三個核心組件放在一起的整體化方法。將它們拆分到專門的鏈中,你就有了一種模塊化的方法。模塊化設計是以太坊當前擴展路線圖的詳細記錄的方法,這也是Celestia團隊多年來一直在努力的方向。Celestia通過將執行與數據可用性和共識脫鉤,顛覆了當前的模型。將執行留給專門的環境,如Rollup。然后這些Rollup可以轉過來,將他們的任意數據發布到Celestia,并依靠它來獲得數據可用性和共識。

區塊空間是目前世界上需求量最大的商品之一,而以太坊等傳統區塊鏈正處于擴容性突破點。問題的核心歸結為整體化區塊鏈如何處理交易。目前,要讓共識節點驗證一個新區塊,你必須首先檢查該區塊是否達成共識。節點還必須下載并執行所有交易,以確保區塊在有計算需求的過程中有效。但是,將所有這些一起做并不能有效地擴容。

Celestia節點是不同的——它們根本不擔心執行。Celestia中的節點只需要檢查交易背后的數據是否已經發布,它們甚至不必關心它是否正確。他們只需訂購交易并驗證正在發布的數據是否可用,這是一項更具可擴展性的任務。

數據可用性問題

要正確分析Celestia,我們必須首先了解區塊鏈面臨的數據可用性問題以及它為何如此重要。問題的核心是節點如何確定當一個新區塊產生時,該區塊背后的所有數據是否都發布到網絡上?如果沒有這些數據,用戶將無法檢測到區塊中是否包含無效交易。

區塊鏈節點如何工作

區塊鏈中的節點參與者有兩種:

1、全節點?——全節點下載并驗證所有交易。這很資源密集型,但它們也更安全。例如,在發生51%攻擊的情況下,只有全節點能審查數據并且可以不相信雙花,因為他們會認為這是無效的。

金色午報|12月22日午間重要動態一覽:7:00-12:00關鍵詞:新華社、Coinbase、Visa、重慶

1.新華社將發行中國首套“新聞數字藏品”NFT;

2.Coinbase推出加密貨幣禮物;

3.Visa與60個加密貨幣平臺合作,消費者可在8000萬個商戶消費加密貨幣;

4.glassnode:比特幣的供應正以每月10萬美元的速度從流動狀態轉為非流動狀態;

5.重慶將建設國家級區塊鏈發展先導區;

6.Lancium簽署24億美元開發合作協議開采比特幣;

7.特朗普:加密貨幣是一件非常危險的事情,總有一天會爆炸;

8.國盛證券:虛擬人為元宇宙重要的賽道,關注虛擬人制作以及IP運營。[2021/12/22 7:55:54]

2、輕客戶端——輕客戶端是非完全驗證節點,因此它們更容易運行但安全性較低。他們只驗證區塊頭,而不是檢查所有底層交易。他們將依賴多數假設——他們假設大多數共識是誠實的,并且區塊鏈共識算法偏愛的鏈包含有效塊。因此,它們很容易受到51%攻擊并導致雙花。

這就提出了一個重要的問題——我們如何讓輕客戶端拒絕無效區塊,這樣他們就不必信任礦工?答案在于欺詐證明,這是特定交易無效的小證明。

欺詐證明

欺詐和數據可用性證明由MustafaAl-Bassam與他的合著者VitalikButerin和AlbertoSonnino于2018年正式確定。他們的論文描述了模塊化區塊鏈堆棧安全擴容的一些關鍵組件。使用這些技術,輕客戶端可以依靠全節點來查找無效交易,并在檢測到任何情況下向它們發送簡潔的欺詐證明。這也很容易做到,因為欺詐證明本質上只是由相關交易本身、前狀態樹、后狀態樹和該交易的見證組成。然后,他們可以將其發送給輕客戶端,輕客戶端可以輕松地重新計算該特定交易并檢測它是否無效,而無需知道整個區塊鏈的狀態。

數據可用性抽樣(DAS)

這就是數據可用性問題發揮作用的地方。為了讓全節點生成欺詐證明,所有底層數據都需要已經發布。如果數據不可用,那么沒有人能夠重新計算狀態或證明惡意活動。那么,我們真正需要的是一種讓輕客戶端在檢查區塊頭時檢查礦工是否已將交易數據發布到鏈上的方法。只要這被發布并且可供全節點使用,那么他們將能夠生成欺詐證明。輸入數據可用性證明。

數據可用性抽樣(DAS)的關鍵在于,用戶可以使用糾刪碼將一個區塊拆分為多個塊,隨機抽取該數據的一小部分,并在此過程中以統計確定性驗證整個塊已被發布。

更具體一點,運行這個輕節點有多容易?答案如下:

安全假設

使用數據可用性抽樣(DAS)允許輕客戶端驗證一個區塊中的所有數據實際上都可以下載,因此完全驗證節點將能夠在任何無效交易的情況下生成欺詐證明。結合這些技術,我們能夠依賴更弱的安全假設。現在讓我們回顧一下這三種情況:

1、全節點——仍然是最安全的場景,全節點不能被欺騙接受無效區塊。

金色熱搜榜:MANA居于榜首:根據金色財經排行榜數據顯示,過去24小時內,MANA搜索量高居榜首。具體前五名單如下:MANA、GNX、ONT、HT、NEO。[2020/9/30]

2、標準輕客戶端——因為他們不驗證區塊,他們假設多數共識是誠實的。

3、輕客戶端+欺詐證明——我們現在可以用更弱的誠實少數假設來代替誠實多數假設的狀態有效性。你現在只需要最少數量的輕客戶端發出足夠的樣本請求,這樣它們就可以一起重建整個區塊。

欺詐證明和概率數據采樣的結合是實現鏈上區塊鏈擴展同時保持數據可用性和有效性的強大保證的核心。Celestia的路線圖與以太坊的路線圖形成鮮明對比:

Celestia將與DAS一起啟動,并且沒有分片計劃

以太坊的路線圖在DAS之前實現分片

以太坊計劃使用隨機抽樣來實現分片,但它直到幾年后才擁有DAS。正如Vitalik自己指出的那樣,“通過隨機抽樣進行的分片比我們在以太坊生態系統中構建的分片形式具有更弱的信任屬性,但它使用了更簡單的技術。”?事實上,以太坊當前的路線圖早在其實施DAS之前就有分片,這一事實是一個微妙但重要的點,因為沒有DAS的分片不太安全。

區塊鏈擴容和Celestia擴容方法

區塊鏈通常具有基于最終用戶完整節點的資源需求的有限容量。例如,比特幣的理論最大大小為4兆字節,設置得非常低,因此任何普通用戶都可以在普通硬件上啟動節點并驗證鏈。以太坊也有類似的目標,讓普通用戶驗證鏈,盡管資源要求比比特幣略高。任何人都可以自己檢查鏈的這種能力對于自我主權的概念至關重要,即你不必信任任何第三方來驗證網絡。對于一組給定的硬件要求和運行完整節點的成本,這基本上限制了網絡的TPS。

在Solana可以看到一個值得注意的例外——這是一個尋求擴展而不進行模塊化的整體化鏈的主要例子。Solana的擴展很大程度上歸結為利用摩爾定律押注硬件成本將繼續下降,網絡將繼續增加其硬件要求,從而提高吞吐量。這樣做的結果是Solana的容量應該總是大于需求,并且不需要為區塊空間出現收費市場。因此,交易成本可以保持得非常低,剛好足以防止垃圾郵件攻擊。

Celestia路線圖與使用最少硬件的普通用戶應該能夠自己驗證鏈的理念非常一致,因此他們還打算通過使驗證更容易來擴展。因此,它不能保證容量總是超過需求。會有限制,會出現收費市場。Celestia所提供的是比其他當代區塊鏈設計更大的容量,這反過來將帶來令人難以置信的可擴展性和更低的費用。它可以做到這一點,因為它的設計使得驗證鏈在計算上很容易。

Celestia擴展的關鍵在于它需要亞線性工作來驗證鏈的區塊大小。更具體地說,客戶端只需要下載他們正在檢查的數據量的平方根數據量。例如,假設你在一個有10,000個chunk的區塊上執行DAS。你只需要下載并檢查其中的100個。你現在已經從節點需要下載并執行區塊中的每個交易的模型轉變為只需要下載并檢查區塊數據的平方根量的可用性的模型。

使驗證變得如此簡單是擴展的關鍵,因為你需要采樣的區塊數量與區塊大小無關,因此無論區塊大小如何,檢查區塊的成本大致恒定。這允許你增加區塊的大小,從而增加TPS,而不會增加最終用戶驗證鏈的成本。但是,區塊越大,你需要在網絡中下載隨機樣本的用戶就越多,以確保用戶已經對區塊中的所有內容進行了集體采樣。因此,安全托管更多數據的限制在于擁有更多節點。你現在已經創建了一個隨用戶數量線性擴展的區塊鏈,并且已經讓這件事變得異常容易。隨著越來越多的節點加入網絡,可以在不犧牲安全性或去中心化的情況下安全地增加區塊大小。增加傳統區塊鏈上的區塊大小會增加驗證的硬件要求,從而犧牲去中心化和安全性。位于Celestia之上的rollup依賴于它來提供數據可用性,因此通過提高基礎層的數據可用性,這將轉化為在他們自己的執行環境中增加擴展。這就是Celestia提供大規模可擴展性的方式。

金色數據丨Uniswap交易對24H交易量手續費收益播報:據金色數據顯示,Uniswap交易對24H交易量手續費收益如下:

昨日Uniswap推出治理代幣UNI,24H幣價+71.51%,流動性+58.75%,交易量+67.44%,對Uniswap各仿盤是重大利空。

UNI可以在Uniswap v2上的ETH/USDT、ETH/USDC、ETH/DAI、ETH/WBTC四個池中挖,每個池將向LP分配500萬個UNI。[2020/9/18]

事實上,我們已經在實踐中看到了類似的想法。BitTorrent是一種用于點對點文件共享的通信協議,它使用戶能夠通過Internet分發數據和電子文件。它一直是世界上最具可擴展性的去中心化協議之一,甚至曾一度處理超過四分之一的互聯網總流量。它如此可擴展的原因與Celestia的設計如此可擴展的原因大致相同。P2P用戶無需執行任何操作,他們只需與每個參與者共享存儲和分發,只貢獻和存儲網絡的一小部分。網絡中的用戶越多,它可以存儲和分發的數據就越多,直接與用戶群一起擴展。

Rollups

既然我們有了創建能夠安全地提供數據可用性的安全基礎層的方法,那么我們就有了一個可行的家園,可以在上面進行rollup。rollup是區塊鏈自身,具有自己的區塊生產者,可以優化為執行環境。然后,他們可以依靠Celestia等基礎層來提供數據可用性,以便他們可以轉儲交易。讓我們快速看一下兩種主要的rollup,以及它們為什么需要數據可用性和共識:

1、樂觀Rollup—樂觀rollup的聚合器或排序器首先將交易收集到rollup區塊中。在以太坊rollup情況下,聚合器隨后將該區塊發送回基礎層的智能合約,同時還發布債券。這些rollup是樂觀的,因為它們的區塊被認為是有效的。在無效交易的情況下,可以利用上述欺詐證明來證明。區塊發布后,有一個挑戰期,任何人都可以提交欺詐證明來挑戰區塊。如果欺詐證明挑戰成功,聚合者的保證金將被罰沒,區塊將被回滾。如果該周期結束時沒有挑戰,則區塊被最終確認。如前所述,提交這些欺詐證明需要數據可用性。

2.零知識rollup—ZKrollups反過來工作,需要一個稱為有效性證明的預先加密證明,以表明發布的區塊是有效的。雖然有效性證明本身不需要數據可用性,但它仍然是鏈安全所必需的。如果ZKrollup區塊生產者在不發布數據的情況下創建區塊,用戶將無法重新創建狀態。例如,想象一個場景,在以太坊之上的ZKrollup的區塊生產者開始審查交易。如果數據在主鏈上可用,rollup上的用戶可以重新創建狀態,證明他們的賬戶余額,并強制退出rollup到主鏈。或者,其他定序器也可以介入以重新創建狀態并開始生成區塊。

那么,Celestia之上的Rollup究竟會是什么樣子?

目前,Celestia希望通過兩種主要方式為rollup提供基礎:

1、“Celestia-nativeRollups”?——這些僅依賴于Celestia來實現數據可用性和共識。這是在Celestia之上通過客戶端執行構建rollup生態系統的最初愿景。從長遠來看,這仍然是主要目標,并且可能更具可擴展性。

2、“Ethereum-nativeRollups”?——這些是目前存在于以太坊主鏈之上,但也依賴于鏈下的rollup數據解決方案選項。以太坊上的數據可用性仍然非常昂貴,因此利用以太坊和Celestia的rollup混合解決方案在短期和中期可能很有意義。

Celestia-nativerollup

Celestia的主要愿景在高層次上非常簡單——提供可插拔的數據可用性和共識層,以便在其上運行rollup。與以太坊上的rollup相比,Celestia上的rollup的主要區別為Celestia沒有執行環境這一事實。這將在功能上影響應用程序,例如ZKrollup,這些應用程序以下列方式使用有效性證明:

金色晨訊|7月11日隔夜重要動態一覽:21:00-7:00關鍵詞:烏克蘭、標普500、以太坊2.0、Telegram

1.加密金融應用程序Plutus否認遭到黑客攻擊。

2.烏克蘭黑客通過出售政府數據庫信息換取加密貨幣。

3.比特幣與標普500指數的一年期相關性創歷史新高。

4.V神:不認為以太坊2.0第0階段2021年才能上線。

5.建設銀行中企云鏈首筆“區塊鏈再保理”落地

6.荷蘭鹿特丹港試點基于區塊鏈的海運集裝箱裝卸項目。

7.美國法官:Telegram敗訴對Kik案沒有約束力。[2020/7/11]

以太坊模型——ZKrollup將向以太坊發布有效性證明,以太坊上的智能合約將驗證它們。

Celestia模型——ZKrollup也會在Celestia上發布數據和有效性證明,但有效性證明需要在本地驗證,因為Celestia本身沒有執行環境來執行此操作。因此,Celestia將鎖定數據和有效性證明,但對它的驗證外包給rollup的執行環境。

在Celestia中,基礎層和rollup層之間沒有任何雙向橋梁。你沒有運行這兩條鏈的客戶端,因為Celestia對所有這些rollup基本上是不可知的,并且不理解來自這些rollup的數據的含義。在Celestia原生rollup的情況下,rollup排序器可能會運行Celestia主鏈的客戶端。它將跟隨區塊,使用rollup數據向Celestia提交交易,并支付包含該數據的費用。

以太坊原生rollup

雖然與以太坊一起工作的混合解決方案并不是最初的計劃,但這里已經形成了明確的產品市場契合度。因此,Celestia一直在討論具有不同以太坊ZKrollup的替代解決方案。首先,解釋一下以太坊當前的數據可用性瓶頸究竟是什么。在較高的層面上,以太坊主鏈仍然面臨擴容挑戰,即使在其上使用rollup,費用也會顯著增加。這是因為以太坊還遠未優化為具有數據可用性層的分片和DAS。因此,出現了其他鏈下數據可用性解決方案。以下是以太坊當前rollup情況的概述:

Celestia在Volitions的情況下變得非常有趣。正如StarkWare開創的那樣,Volitions是指用戶可以選擇在以下任一系統中操作的系統:

ZK-rollup模式——繼承以太坊的全部安全性,依靠它來實現結算和數據可用性。

Validium模式——一種較弱的安全模式,以太坊仍然是基礎結算層,但數據可用性被置于鏈下。

Volitions為用戶提供了極大的自由度,允許他們在單個交易的基礎上在更高的安全性和更低的成本之間進行權衡,同時保持完全的可組合性,因為兩種模式共享相同的狀態。StarkNet將提供其Validium解決方案,zkSync2.0將推出類似的zkPorter解決方案,以在今年繼續其發布路線圖時以類似的模式運行。當前版本的Validiums,如StarkWare的許可擴展引擎StarkEx,依賴于知名可信方的封閉委員會來證明數據在鏈下的可用性。這種類型的許可場景當然遠非理想,因為該Validium上的所有用戶都受這些中央委員會的擺布,這些中央委員會可以凍結狀態并扣留數據。展望未來,StarkWare和MatterLabs將推出他們的無許可rollup。zkSync還將包括zkPorter,它也將轉移到鏈下托管其數據可用性,使用由稱為Guardians的zkSync代幣質押者保護的權益證明進行保護,如下所示:

金色晨訊 | 4月14日隔夜重要動態一覽:21:00-7:00關鍵詞:新冠肺炎、區塊鏈應用、技術委員會、USDT增發

1.全球新冠肺炎確診病例超過190萬例。

2.全國區塊鏈和分布式記賬技術標準化技術委員會組建公示。

3.國家信息中心:區塊鏈等蓬勃發展催生了網絡媒體發展新態勢。

4.經濟參考報:推動區塊鏈技術與實體經濟融合。

5.深圳前海蛇口自由貿易試驗片區:推動區塊鏈等技術廣泛應用。

6.Tether向以太坊網絡增發1.2億枚USDT(已授權未發行)。

7.CME比特幣期貨4月合約收跌6.58%。

8.比特幣巨鯨:傳統市場高波動性或在短期內推低BTC。

9.比特幣夜間持續上漲,最高漲至6891.14美元。[2020/4/14]

如果他們的數據可用性委員會是安全的,這些Validiums仍然可以提供比側鏈或替代第一層區塊鏈更高的安全性。在最壞的情況下,惡意行為者控制了排序器并控制了超過2/3的總份額,他們能做的最壞的情況是簽署有效的狀態轉換但扣留數據,從而有效地凍結狀態。完全rollup模式的用戶可以免受此類攻擊,因為他們的數據在以太坊主鏈上可用,因此他們總是可以重新創建狀態以證明他們的賬戶余額并強制退出以太坊第一層。

這就是Celestia的用武之地。如果以太坊的主鏈數據可用性選項成本過高,那么ZKrollup目前可以選擇為數據可用性設置許可設置或需要引導一個新的安全委員會驗證者。Validiums可以選擇插入Celestia以實現鏈下數據可用性,同時仍然利用以太坊進行結算,而不是通過這個過程并在各種ZKrollup中分割安全性。

在實踐中,Celestia驗證者集可以向以太坊發布簽名,以證明給定以太坊原生Validium的數據實際上已在Celestia上可用。Celestia區塊使用所謂的命名空間默克爾樹進行組織,允許在以太坊智能合約上證明特定于給定Validium的數據。然后rollup客戶端可以在以太坊上讀取這些證明,并知道數據可供他們重新計算狀態。

在這種混合場景中,由于結構不同,Celestia將繼續在數據可用性成本和可擴展性方面削弱以太坊。在以太坊上,發布數據將繼續與大量智能合約的狀態執行競爭。以太坊的創新使自己成為一個非常適合的數據可用性層還有很長的路要走。Celestia將此證明發布到以太坊會增加一些成本,但這可以通過諸如可能為不同rollup的批處理證明等方式進行優化。更重要的是,你只是將簽名和Merkle樹從Celestia發布到以太坊,這比將完整的交易數據發布到以太坊要便宜得多。

需要說明的是,目前Celestia只能用于以太坊原生驗證而不是實際rollup的原因是因為以太坊目前不支持鏈下數據可用性證明。但是,前面提到的rollup客戶端僅驗證Celestia的簽名以證明數據可用性的場景確實符合他們的威脅模型。為了讓你擁有rollup的安全假設,你希望繼承基礎層的完整安全假設,而不是依賴于證明一個鏈下委員會。

因此,在這個同時依賴以太坊和Celestia的Validium示例中,應該注意的是,與完全rollup模式相比,這確實帶來了額外的安全假設。但是,它仍然應該比完全依賴于不太安全的第一層的rollup或許多Validium依賴自己較弱的數據可用性委員會的情況更安全。

一個完整的模塊化堆棧——利用Cevmos和遞歸rollup

Celestia目前正在與Evmos團隊合作構建Cevmos,這是一個令人難以置信的令人興奮的全模塊化堆棧,用于托管基于EVM的rollup。

作為背景,Evmos是一個與應用程序無關的鏈,可通過IBC與以太坊主網、EVM兼容環境和其他BFT鏈互操作。Evmos旨在成為Cosmos的EVM中心,使智能合約的部署和Cosmos生態系統內的通信變得容易。

Cevmos的核心將是一個基于CosmosSDK的優化結算層,它將運行一個受限的EVM。它將基于Evmo并構建為在其之上托管EVM遞歸rollup。這個結算層本身就是在Celestia之上運行EVM的rollup,因此我們可以將其稱為“結算匯總”。Cevmossettlementrollup將使用Optimint構建,而不是現有Cosmos鏈上使用的TendermintCore共識引擎。Optimint是TendermintBFT的替代品,使開發人員能夠部署使用現有共識和數據可用性層的新鏈。

從本質上講,為rollup構建的任何結算層都是一條鏈,該鏈具有與rollup的信任最小化雙向橋梁,在結算層上使用某種爭議解決合約。這允許代幣在兩者之間轉移,或者從一個rollup到另一個通過結算層路由,以信任最小化的方式在任一方向。

目前的問題是,以太坊主鏈不僅針對rollup結算進行了優化,因此rollup必須始終與其他應用競爭,這變得昂貴且不可擴展。相反,Cevmossettlementrollup將受到更多限制,僅允許:

Rollup智能合約——它必須處理有效性證明的驗證以及在其之上托管ZK和optimisticrollup所需的爭議

Rollup之間的簡單轉移

由于Cevmos結算匯總將與EVM完全等效,因此你將能夠輕松移植并在其上運行你最喜歡的EVMRollup。

回顧一下,完整的Cevmos堆棧可能包括:

1、Celestia——在底部提供數據可用性。

2、Cevmos結算匯總——這條基于Evmos的鏈將位于Celestia之上。它將僅作為基于EVM的rollup的結算層進行優化。

3、基于EVM的Rollups——處理執行,潛在的大量執行Rollup將位于堆棧頂部。

????????????與其他產品進行的比較:

QuantumGravityBridge

除了擁有一個非常酷的名字之外,QuantumGravityBridge是Celestia正在進行的更有趣的開發項目之一。該橋將成為從Celestia到EVM兼容鏈的中繼。這將允許你將那些證明Celestia上的數據可用的證明轉發到該EVM兼容鏈。這將用于那些構建在與EVM兼容的鏈上的Volitions,但還沒有完全準備好跳過在Cevmos上完全部署其代碼。但是,你仍然可以從Celestia在該混合系統中的可擴展數據可用性中受益,如下所示:

1、Celestia通過中繼提供數據

2、用于結算的EVM鏈

3、用于執行的EVM-nativerollup

橋將證明數據實際上已在Celestia上可用的EVM兼容鏈轉發,然后你可以繼續使用EVM兼容鏈進行結算。

CelestiaRollups的執行環境

盡管Celestia本身是基于CosmosSDK構建的,但它的美妙之處在于構建在它之上的rollup可以保持選擇他們想要的任何執行環境的能力。事實上,目前使用CosmosSDK進行rollup實際上是相當困難的,因為很難讓它們狀態欺詐可證明。這是因為CosmosSDK不是像EVM那樣非常具體或定義明確的執行環境。因此,單個交易可能會觸及所有狀態,因此很難為給定交易提供欺詐證明以供輕客戶端檢查。。

因此,Celestia實際上將CosmosSDK之外的其他環境視為一種默認執行環境。正在研究的一個是Arbitrum的VM,它是一個更受限制且定義更明確的執行環境。它使用交互式驗證游戲,而不是一般的狀態欺詐證明。在短期內,這可能是一個比讓CosmosSDK容易被欺詐證明更可行的解決方案。這仍然是一個最終目標,但該計劃可能會從現在最容易獲得的選項開始,并隨著時間的推移繼續添加新的執行環境。隨著時間的推移,要加入新的執行環境,他們需要兩個主要的東西:

1、當前的執行環境通常與共識相結合,因此你需要將它們解耦,并將共識部分替換為僅將數據轉儲到Celestia上的能力。

2、有效性證明或某種狀態欺詐證明的能力。

Celestia上rollup的主權

模塊化堆棧的關鍵愿景之一是為開發人員提供更大的靈活性,以優化他們想要的東西和應用程序用戶在結果中的發言權。Celestia為這一愿景提供了完美的中性和靈活的基礎層。如果你在當今世界計算機模型上運行rollup,你將在基礎鏈上部署智能合約橋。因此,你將遵循第一層的規則。如果沒有鏈上投票,這個rollup的邏輯和共識就不能輕易升級,所以沒有分叉的選擇。

在Celestia上rollup的情況下,你可以擁有一個本地橋接器,其中進行欺詐或ZK證明的邏輯是本地完成的,并且此代碼是裁決的。這可以在不影響數據可用性層的情況下進行升級。這就是Celestiarollups擁有更大主權的原因——它們無需獲得許可即可輕松進行硬分叉。這也是像Cosmos這樣的系統的優勢,其中各個區域可以依靠自己的治理來進行硬分叉,而不會同時對其他所有區域進行硬分叉。這里的問題是區域有點過于分離,因為它們分散了安全性。現在,如果你可以將主權提供給區域,但將Celestia的共享安全性作為公共基礎層,同時通過IBC進行交互,那會怎樣?

這些系統本質上是一種社會共識,而Celestia將權力交還給部署在其之上的鏈。假設你再次遇到像DAOhack這樣的情況,硬分叉的決定必須由整個以太坊基礎鏈做出。現在你可以在Celestia之上設想一個特定于應用程序的rollup世界,在類似的情況下,如果他們遭受黑客攻擊,無需硬分叉任何其他rollup,就可以自由地做他們想做的事情。

如何使用應用程序命名空間組織Celestia

當應用程序部署在Celestia上時,它們將能夠選擇自己的“命名空間”,然后它們的所有消息都將與之關聯。然后,Celestia使用按每筆交易的命名空間排序的Merkle樹來組織其區塊。這使得網絡中的用戶可以輕松地查詢Celestia的完整存儲節點以請求與其應用程序相關的交易,而無需關心與其他應用程序相關的數據。這與現有的區塊鏈相反,其中每個智能合約都在同一臺世界計算機上運行,共識和執行相結合。在這種情況下,智能合約用戶確實需要關注并檢查所有其他智能合約的交易。

代幣

Celestia確實會有一個代幣,但目前細節非常有限。它將用于使用權益證明來保護網絡并支付網絡上的交易費用。類似EIP-1559的費用消耗機制也在計劃中,隨著采用率的增長,產生通縮壓力以抵消新發行的壓力。

時間線

Celestia于2021年推出了其最小可行產品(MVP)和私有開發網。下一步將在2022年初推出一個測試網,隨后在2022年晚些時候推出主網。

總結性思考

總而言之,Celestia與傳統解決方案相比具有多種優勢:

可擴展性——通過將執行與共識和數據可用性分離,Celestia能夠根據網絡上的節點數量進行專業化和線性擴展。然后可以在上層自由優化執行環境。

簡單——Celestia將自己稱為一個可插拔的解決方案,希望能夠像單擊按鈕一樣輕松部署特定于應用程序的區塊鏈。可能無限數量的長尾區塊鏈將在Celestia之上擁有一個天然的家園。

共享安全性——不再需要將你自己的安全性和驗證者集引導為單獨的鏈。無論是針對原本獨立的鏈,還是需要引導數據可用性委員會的Validium,這些選項都更加困難和使安全碎片化。

主權——Celestia設計的簡潔之美在于為基于它構建的應用程序提供了極大的自由度。不再被所在的鏈的執行環境和治理決策緊緊束縛。

Celestia團隊在考慮數據可用性和模塊化區塊鏈堆棧方面遠遠領先于時代。其他諸如PolygonAvail或其他當前希望模塊化的Layer1區塊鏈剛剛意識到這種范式轉變的必然性。這越來越成為區塊鏈擴容的方向,Celestia將提供一流的解決方案。

原文鏈接

Tags:ELESTICELESTELEFcelestial幣還有希望嗎CelareWEST價格

Fil
祛魅元宇宙:一文看懂的投資邏輯和哲學思考_元宇宙

盡管距離Facebook改名為Meta已經過去了幾個月,有關元宇宙的討論依然熱度不減。2022年1月18日,微軟宣布以687億美元的現金交易收購視頻游戲巨頭動視暴雪.

1900/1/1 0:00:00
“水槽”和“水龍頭”:鏈游能從過往的游戲經濟模型中吸取哪些教訓?_EGO

為了讓虛擬游戲保持經濟平衡(即核心貨幣和道具的相對穩定性),必須使資產發行速率與資產消費/需求速率達到平衡.

1900/1/1 0:00:00
CertiK將CryptoCars識別為“rug pull”是一次誤警報_BAL

在市場低迷、加密貨幣禁令傳言和去中心化金融騙局期間,區塊鏈愛好者可能會對他們所關注的項目中最小的異常非常敏感,有時會錯誤地擔心情況惡化.

1900/1/1 0:00:00
預測2022:Gamefi帶領Web3「破圈」 玩家「覺醒」在即_GameFi

2021年的加密市場:共識擴大,加密出圈2021年的加密市場是一篇繁榮景象,社會對區塊鏈技術的共識不斷擴大,加密技術開始出圈,人們開始相信未來互聯網的發展將與加密技術不可分割.

1900/1/1 0:00:00
元宇宙人才爭奪戰開始 請HR上車_MINA

到2022年,還假裝不知道元宇宙,不太符合現實,來了解一下行業動態,人才需求吧。 先看大廠與官方動態 大廠的新動作 最近,微軟宣布史上最大一筆收購,用約4373億人民幣收購游戲大廠暴雪,這還是現.

1900/1/1 0:00:00
從紅魔布局元宇宙 看游戲手機的再思考_COIN

布局元宇宙,是游戲手機進入到下半場的一個信號。經過一系列前期預熱,1月20日中興正式宣布吳京成為品牌代言人.

1900/1/1 0:00:00
ads