你可能已經閱讀了許多區塊鏈正在研究從單體設計到模塊化設計的演變。你可能沒有聽說過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%攻擊的情況下,只有全節點能審查數據并且可以不相信雙花,因為他們會認為這是無效的。
金色財經挖礦數據播報 | BTC今日全網算力上漲1.28%:金色財經報道,據蜘蛛礦池數據顯示:
BTC全網算力128.550EH/s,挖礦難度16.79T,目前區塊高度656684,理論收益0.00000823/T/天。
ETH全網算力265.012TH/s,挖礦難度3391.46T,目前區塊高度11246542,理論收益0.00664198/100MH/天。
BSV全網算力1.060EH/s,挖礦難度0.15T,目前區塊高度661025,理論收益0.00084910/T/天。
BCH全網算力1.703EH/s,挖礦難度0.25T,目前區塊高度661290,理論收益0.00052859/T/天。[2020/11/13 14:11:28]
2、輕客戶端(即SPV客戶端的簡化支付驗證)——輕客戶端是非完全驗證節點,因此它們更容易運行但安全性較低。他們只驗證區塊頭,而不是檢查所有底層交易。他們將依賴多數假設——他們假設大多數共識是誠實的,并且區塊鏈共識算法偏愛的鏈包含有效塊。因此,它們很容易受到51%攻擊并導致雙花。
這就提出了一個重要的問題——我們如何讓輕客戶端拒絕無效區塊,這樣他們就不必信任礦工?答案在于欺詐證明,這是特定交易無效的小證明。
欺詐和數據可用性證明由Mustafa Al-Bassam與他的合著者Vitalik Buterin和Alberto Sonnino于2018年正式確定。他們的論文描述了模塊化區塊鏈堆棧安全擴容的一些關鍵組件。使用這些技術,輕客戶端可以依靠全節點來查找無效交易,并在檢測到任何情況下向它們發送簡潔的欺詐證明。這也很容易做到,因為欺詐證明本質上只是由相關交易本身、前狀態樹(pre-state root)、后狀態樹(post-state root)和該交易的見證組成。然后,他們可以將其發送給輕客戶端,輕客戶端可以輕松地重新計算該特定交易并檢測它是否無效,而無需知道整個區塊鏈的狀態。
這就是數據可用性問題發揮作用的地方。為了讓全節點生成欺詐證明,所有底層數據都需要已經發布。如果數據不可用,那么沒有人能夠重新計算狀態或證明惡意活動。那么,我們真正需要的是一種讓輕客戶端在檢查區塊頭時檢查礦工是否已將交易數據發布到鏈上的方法。只要這被發布并且可供全節點使用,那么他們將能夠生成欺詐證明。輸入數據可用性證明。
數據可用性抽樣 (DAS)的關鍵在于,用戶(輕客戶端)可以使用糾刪碼(erasure coding)將一個區塊拆分為多個塊,隨機抽取該數據的一小部分,并在此過程中以統計確定性驗證整個塊已被發布。
更具體一點,運行這個輕節點有多容易?答案如下:
使用數據可用性抽樣 (DAS)允許輕客戶端驗證一個區塊中的所有數據實際上都可以下載,因此完全驗證節點將能夠在任何無效交易的情況下生成欺詐證明。結合這些技術,我們能夠依賴更弱的安全假設。現在讓我們回顧一下這三種情況:
1、全節點——仍然是最安全的場景,全節點不能被欺騙接受無效區塊。
2、標準輕客戶端——因為他們不驗證區塊,他們假設多數共識是誠實的。
金色相對論 | BeeDApp Community創始人子贏:優質的DApp項目底層經濟系統都應該是良性循環:在本期金色相對論中,BeeDApp Community創始人子贏表示,之所以出現大多數DApp短期一波暴熱,后期用戶大量流失的現象,歸根結底還在于Token激勵方式的設計。一個真正優質的DApp項目,不管承載著何種內容,其底層的經濟系統都應該是良性循環。BeeDApp作為最接觸一線用戶的社群,從現階段需求來看,大部分DApp用戶的逐利性遠高于對內容的選擇性。因此對于DApp項目開發者而言,無論面對的是投機或投資者還是內容消費者,如何合理的設計跑得通的Token流轉機制才是關鍵。[2018/10/19]
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提供大規模可擴展性的方式。
金色相對論 | 美國 ACM Practitioner Board 委員黃連金:區塊鏈監管應該興利除弊:這期金色相對論上,美國 ACM Practitioner Board 委員黃連金表示,政府對區塊鏈技術是大力支持的。但對于加密貨幣目前的政策是禁止的。特別是禁止它的貨幣的屬性和利用加密貨幣進行融資的手段。主要目的是防范金融風險。建議監管要考慮到以下兩個因素:1,加密貨幣難以完全禁絕,部分項目可能轉到地下或者出海,更加難以監管、稅收、定價、清算,也無法有效的保護投資者;2,加密貨幣作為融資工具,可以極大的提高融資效率,優秀的項目可以比較容易的獲得全世界投資者的支持,但如果被壞人利用,可以造成極大的金融風險。所以如何使用好這個工具是監管必須解決的問題。我們需要有這樣的監管條例,這樣傳銷幣,空氣幣,不敢用加密貨幣這個工具。[2018/8/31]
事實上,我們已經在實踐中看到了類似的想法。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混合解決方案在短期和中期可能很有意義。
金色財經現場報道 哈希投行創始人葉京:打通六個布局 形成六個生態:金色財經現場報道,在“2018聯盟鏈的未來暨瑞鏈科技區塊鏈產品發布會”上,進行以《聯盟鏈的未來》為題的圓桌論壇,哈希投行創始人葉京指出:我們經過總結,認為區塊鏈行業有六個賽道,每個賽道都有機會。第一是交易所環節,綜合性的交易所其實已經沒有機會了,但垂直領域的交易所有機會;第二是礦場,包括礦機芯片;第三是公鏈,關于聯盟鏈等底層技術,公鏈領域有巨大的機會,每個垂直的行業和場景都會細化出自己的公鏈;第四是投行,目前投行有很多服務型的價值,很多行業對于區塊鏈的理解和設計還不是很清晰,區塊鏈領域中尚沒有頂尖投行,我們希望成為第一家;第五是DApp應用,目前的大部分應用還不是十分的落地,這塊未來面臨很大的機會;第六是媒體和社群的布局。我們希望能打通六個布局,形成六個生態。[2018/5/31]
Celestia的主要愿景在高層次上非常簡單——提供可插拔的數據可用性和共識層,以便在其上運行rollup。與以太坊上的rollup相比,Celestia上的rollup的主要區別為Celestia沒有執行環境這一事實。這將在功能上影響應用程序,例如ZK rollup,這些應用程序以下列方式使用有效性證明:
以太坊模型——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代幣質押者保護的權益證明進行保護,如下所示:
金色財經訊:11月10日,迅雷推出玩客幣錢包IOS版。[2017/11/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:STIROLLESTROL加密貨幣行情INVESTINGroll幣是什么Request NetworkTROLLBNB價格
本文由公號"老雅痞"(laoyapicom)授權轉載無監管的加密貨幣將成為歷史.
1900/1/1 0:00:00QQ秀的故事還很長很長。在豆瓣上,有個11萬人的“假裝活在1980-2000年”小組,一群80與90后用充滿年代感的照片、語言風格和生活方式來懷念自己的青春.
1900/1/1 0:00:00本文由公號"老雅痞"(laoyapicom)授權轉載你有沒有想過,也許很快就有一天,你的今日頭條,你的微博個人首頁,甚至微信個人資料上,都能看到NFT的身影?在老雅痞看來.
1900/1/1 0:00:00在行業快速步入多鏈生態后,用戶對跨鏈橋的需求也愈發強烈。然而目前的市場上,各公鏈的官方橋往往支持的鏈有限,因此,第三方跨鏈協議憑借著更廣泛的公鏈支持數量成為了用戶跨鏈的主流選擇.
1900/1/1 0:00:00近日,2022《中國元宇宙白皮書》在北京中關村正式全網發布。該白皮書由國科創新研究院首席科學家,中關村數字媒體產業聯盟常務副秘書長,中關村數字媒體產業聯盟元宇宙實驗室執行主任龔才春主編.
1900/1/1 0:00:00周四,美聯儲發布了一份新的央行數字貨幣白皮書。雖然該白皮書在很大程度上回避了加密貨幣的話題,但它暗示,美國 CBDC 可能與“私人數字貨幣”競爭.
1900/1/1 0:00:00