買以太坊 買以太坊
Ctrl+D 買以太坊
ads
首頁 > Luna > Info

STI:金色觀察 | 專注于數據可用層 一文讀懂新公鏈Celestia_test幣價格

Author:

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

你可能已經閱讀了許多區塊鏈正在研究從單體設計到模塊化設計的演變。你可能沒有聽說過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%攻擊的情況下,只有全節點能審查數據并且可以不相信雙花,因為他們會認為這是無效的。

金色午報 | 7月21日午間重要動態一覽:7:00-12:00關鍵詞:上海監管沙箱、信標鏈、ETC、MakerDAO

1.上海監管沙箱試點公布首批8個金融創新項目。

2.以太坊測試網開發者:Ethereum2.0信標鏈將在11月發布。

3.韓國慶尚南道將向居民開放基于區塊鏈的綜合補貼運營平臺。

4.ETC首個L2擴展解決方案Connext狀態通道已于主網激活。

5.BitfinexCTO:Tether將繼續與CBDC共存。

6.39個地址所持BTC占總流通供應量的10.34%。

7.MakerDAO發起投票 計劃提高ETH和USDC債務上限。

8.灰度旗下關于BCH和LTC的單一基金獲得FINRA公開報價批準。

9. 波卡現已進入治理階段 未來24小時內將去除sudo許可模塊。[2020/7/21]

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

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

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

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

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

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

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

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

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

BTC減半倒計時|金色財經挖礦收益播報:金色財經報道,據OKEx礦池數據顯示,下一次BTC減半日期預計為2020年5月12日,今天距此還有12天。BTC當前塊高628227,下一次減半塊高630000。今日全網算力約113.33EH/s,全網難度約15.96T,預測下次難度16.08T(0.74%),距離調整還剩還有5天,今日BTC收益:0.00001576BTC/T/天。[2020/4/30]

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提供大規模可擴展性的方式。

金色相對論 | 金色財經合伙人佟揚:行情劇烈波動和穩定情況下對資產安全的重視程度都應該提到A+:在今日舉行的金色相對論中,針對“暴跌行情對區塊鏈安全產生了怎樣的影響”的問題,金色財經合伙人、CapitaIN佟揚表示,行情劇烈波動和行情穩定情況下,對資產安全的重視程度都應該提到A+,資產安全的概念,用戶主要是需要對錢包的安全隔離方式進行了解,例如錢包的安全方式是用密碼學方式實現的還是進行物理隔離了。因為我們真的看到在行情波動的時候,安全事件是最頻發的。這和選互聯網產品一樣,盡量選擇有背書、有支持、產品發展好的錢包品牌。其次就是大品牌下建立的更優惠的錢包,謹防小的中心化錢包,以及中心化理財的騙局。[2020/4/7]

事實上,我們已經在實踐中看到了類似的想法。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,這些應用程序以下列方式使用有效性證明:

金色晚報 | 火幣區塊鏈產業聯盟在海南落地 華爾街之狼全球數字貨幣交易大賽吸引了全球數百只參賽隊伍:交通銀行通過區塊鏈發行證券產品,總規模達93億元;日本投資加密貨幣的散戶占比達歷史最高;三星將開發10納米的采礦芯片。更多晚報內容,請查看圖片。[2018/9/28]

以太坊模型——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代幣質押者保護的權益證明進行保護,如下所示:

金色財經現場報道 硅谷創客資本創始人趙勝:區塊鏈可連接供應鏈節點 促進供應鏈健康發展:金色財經現場報道,在2018全球首屆萬國區塊鏈技術博覽會上,硅谷創客資本創始人趙勝發表《從技術到哲學——區塊鏈的下一個十年》主題演講,他指出:傳統供應鏈上的各個節點相互獨立,不能有效的鏈接在一起,而區塊鏈能夠將這些相互獨立的節點鏈接起來,形成完整的鏈條,有助于提高協作效率,或者防偽溯源,促進供應鏈的健康發展。區塊鏈技術可以應用于物聯網中:促進多方間安全、多中心化交易;基于賬本天然多中心化特質,區塊鏈對于處理特別多方參與的分布式交易尤其高效;基于多房間的加密確認和驗證流程,區塊鏈為每個交易都提供了高度的安全性。在區塊鏈世界中,第一階段是初創者,第二階段是主流部隊。[2018/4/21]

如果他們的數據可用性委員會是安全的,這些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:STIELEROLLESTSTIMMYelementiumTROLLBNB價格test幣價格

Luna
穩定幣:國際清算銀行總裁:誰會主導未來的貨幣體系?CBDC VS 比特幣VS穩定幣_被朋友騙去弄數字貨幣怎么辦

譯者/劉斌 中國(上海)自貿區研究院金融研究室主任本文為國際清算銀行總裁Agustín?Carstens?于2022 年 1 月 18 日.

1900/1/1 0:00:00
BIT:BitMEX 創始人再發文:《無底洞》_GMT

三周前,我寫了一篇名為《混亂局面》(Maelstrom) 的文章,在文中,我描述了一個將我的加密資產投資組合合理化的思維過程,即只持有比特幣、以太幣和一些我有信仰的山寨幣.

1900/1/1 0:00:00
AMA:中國傳媒大學打造國內首個“元宇宙大學” 太新穎了_數字藝術

近日,由中國傳媒大學動畫與數字藝術學院打造的虛擬中傳校園正式亮相百度希壤元宇宙平臺。虛擬中傳校園是中國首個開放于元宇宙平臺的“虛擬大學”.

1900/1/1 0:00:00
DEF:金色Web3.0日報 | “00后”和“90后”最關注NFT數字藏品_defi community

1.DeFi代幣總市值:1403.47億美元 DeFi總市值 數據來源:Coingecko2.過去24小時去中心化交易所的交易量:463.

1900/1/1 0:00:00
ENS:去中心化身份(DID)賽道 構建Web3的社交通行證_RamenSwap

導讀 在Web2世界里,我們習慣了以數十個用戶名密碼登錄不同應用,習慣了自己的瀏覽歷史、好友列表都被掌控在中心化的公司服務器手中.

1900/1/1 0:00:00
WEB3:谷歌云正在招聘大量區塊鏈專家 未來或接受加密貨幣支付_web3游戲平臺

比推消息,據CNBC報道,谷歌云(Google Cloud)正在招聘一個區塊鏈專家團隊,以利用向去中心化 Web 3 應用程序過渡的機會.

1900/1/1 0:00:00
ads