來源:?CryptoYCTech
Celestia是什么
Celestia前身叫LazyLedger。是一個專精于“數據可用性”的基礎設施。當然它自己本身就是一條鏈,但是卻不涉及狀態計算的問題。所以,這里就衍生出一系列先驗問題,例如:數據可用性的重要性以及和擴容的關系是什么。
這里就需要看下傳統區塊鏈的數據問題。以ETH為例,現在絕大多數的節點都是輕節點,本身不負責出塊,而是驗證區塊。但是,由于驗證的只是區塊頭,所以存在一種可能,就是區塊生產者發布一個正確有效的區塊頭,但是沒有包含/掩蓋了交易數據時,就會出現數據可用性的問題,輕節點很容易被欺騙或者接受無效區塊。
同時,由于全節點無法為輕節點生成數據可用性證明,以及無效區塊的欺詐證明,所以輕節點想要驗證區塊數據本身,就需要自己來進行。或者,假設絕大多數數據是誠實可信的。
明顯看出,如果為了安全,絕大多數節點必須下載全部交易數據并驗證數據可用性,這就進而引發了擴容問題。
說到這里,我們不難發現數據可用性的兩個瓶頸:
可用性證明:告訴其他節點,這個區塊的數據都是真實可用的
欺詐證明:區塊是否是有效的
這就是Celestia想要解決的兩個問題。
怎么做
Celsius尋求通過出售比特大陸優惠券籌集1400萬美元:金色財經報道,破產的加密貨幣貸款機構Celsius尋求通過出售比特大陸優惠券籌集1400萬美元,該交易包括為礦機購買者提供未來從比特大陸購買Antminer系列礦機10%-30%折扣的優惠券,以及購買者分期付款時產生的積分。Celsius的代金券總面值超過4800萬美元。根據臨時首席執行官克里斯托弗費拉羅的一份聲明,該公司估計它可以在二級市場上以740萬美元的價格出售優惠券和700萬美元的信用額度。該公司表示,正在與六個潛在買家討論,這些優惠券是通過礦業經紀人Bitooda、比特大陸和Celsius自己的聯系人獲得的。Celsius案的聽證會將于2月15日在紐約南區舉行。
此次交易與比特幣礦企Core Scientific出售比特大陸優惠券類似,該公司于2月1日獲得德克薩斯州南區法官的批準,出售比特大陸代金券以籌集100萬美元。[2023/2/10 11:59:18]
那么,Celestia是如何解決這兩個問題呢?很簡單:放棄鏈上執行,放棄鏈上狀態轉換,只通過二維Reed-Solomon糾刪碼以及專門的命名空間默克爾樹結構來確保數據的可用性,而執行的部分則交給終端用戶自己執行。所以,我們簡單看下這兩個東西。
二維R-S糾刪碼
這個東西概括來說,就是傳遞某個信息,不止是傳遞信息本身,還會加入一些可以容錯的冗余,舉個簡單的例子:
FTX、Celsius及Voyager數百名客戶正虧本出售其債權:12月29日消息,至少有數百名因FTX、Celsius Network LLC和Voyager Digital Ltd.倒閉而遭受損失的客戶正在尋求以大幅折扣出售他們的加密貨幣索賠,這樣他們就不必等待幾個月甚至幾年。不良資產投資公司Cherokee Acquisition表示,目前持有約10億美元FTX債權和約1億美元Celsius債權的客戶和其他債權人表示有興趣通過其運營的在線市場出售它們。專注于提供交易加密索賠的平臺Xclaim Inc.表示,FTX、Celsius和Voyager的近500名用戶已在其平臺上發布了價值約1.26億美元的待售索賠,其中FTX客戶出售其索賠的交易目前已累計達9170萬美元。[2022/12/29 22:14:26]
例如我想要給別人傳遞一個信息123,但是我知道在信息傳遞過程中可能出現信息部分丟失或錯誤的情況,所以我為了讓別人能最大概率的正確確認我傳遞的信息,會選擇傳遞onetwothree。
假如別人接受到的信息是on,to,thee,只要接受者知道內容格式是什么,這個例子里是數字,那就可以大概率確認原本的數據是123。
當然,這里面涉及到一個閾值問題,假設信息一共有n個片段,只要k個片段能夠正確傳輸,則完整信息就可以被還原,即成功傳遞的信息比例>k/n就可以。如果按照標準的Reed-Solomon糾刪碼,這個閾值就是50%。
模塊化區塊鏈網絡Celestia已啟動其首個測試網Mamaki:5月25日消息,模塊化區塊鏈網絡 Celestia 已啟動其首個測試網 Mamaki,測試網支持用戶操作節點、接收測試網 Token、從驗證者節點獲得授權以及在錢包之間發送交易。
Celestia(此前為 LazyLedger)是第一個模塊化區塊鏈網絡。它是一個可插拔的共識和數據可用性層,使任何人都可以快速部署去中心化的區塊鏈,而無需引導新的共識網絡的開銷。Celestia 首席運營官 Nick White 表示,Celestia 是一種用于 Web 3 的云計算網絡,用戶能夠在共享共識層的特定應用鏈上啟動去中心化應用程序。[2022/5/26 3:42:04]
具體到celestia,他們提出了一個新的采樣方式:二維采樣。將信息切分成橫縱數量一樣的二維分片。在驗證欺詐證明的時候,輕節點只需要下載橫向或縱向的數據即可,這樣需要下載的數據量直接成了√N?(假設數據分成n*n片)。
當然,因為沒有下載完整的數據,所以輕節點還需要下載每一行和每一列的默克爾樹根作為區塊頭的一部分進行驗證,以保證數據最大的可用性。這樣,整個celestia網絡就變成了一個基于P2P的種子下載網絡。用很少的數據,就可以大概率確認數據的可用性。
命名空間默克爾樹
我們都知道以太坊的狀態更新是全局同步的,每次狀態轉換會更新所有地址的狀態,舉個不恰當的例子:假設我在以太坊上更新了www.cryptoyc.com的數據,節點在更新狀態的時候不止是更新驗證cryptoyc的數據,還會把不相干的數據(例如www.123.com的狀態)也會更新和驗證顯然,這樣是不合理的。
Celsius將價值3000萬美元的ETH委托給Maple Finance:金色財經報道,加密貨幣借貸平臺Celsius 正式進軍 DeFi 市場,他們將價值 3000 萬美元的 WETH 委托到 Maple Finance 的流動性池。Maple 資本市場負責人 Daniel Kim 透露,Maple Finance 和 Celsius 在去年四季度接洽后達成合作伙伴關系,后續他們將會為 Celsius 之類的企業提供工具和智能合約套件,以及獲得貸款發放、貸款管理和實時績效報告解決方案。(coindesk)[2022/2/24 10:14:01]
所以,Celestia在存儲數據的時候用的是一種namespacemerletree,為的是終端節點在執行應用時只用下載自己應用相關的數據,而不是和以太坊一樣需要下載全部區塊數據。所以通過這種結構,對應功能的節點可以將只包含終端應用需要的數據狀態返回給終端節點。
有關這個默克爾樹的詳細結構和組成規則以后有興趣的時候再說。概括來說,該結構是由命名空間hash(nsHash,以namespaceidentifer為前綴的warpperhash)為基本數據,根節點包含了所有子節點的相關命名數據。具體存的數據是json格式。而nsHah是由minNs,MaxNs,hash(x)三個元素組成。
minNs:?其根節點所屬的子節點中的最小namespaceidentifier。
StarkWare聯合創始人:Celer Network即將在StarkWare上推出:9月27日,零知識證明研究機構StarkWare聯合創始人兼CEO Uri Kolodny在網友提問StarkWare上運行的協議時發推回應稱,以太坊二層擴容項目CelerNetwork即將在StarkWare上推出。[2021/9/27 17:09:36]
maxNs:?其根節點所屬的子節點中的最大namespaceidentifier。
hash(x):?就是子節點的hash值,和普通區塊的類似。
整個結構可以用這個例圖來表示:
白皮書:https://arxiv.org/pdf/1905.09274.pdf
整個流程就和AR的smartwave很相似:鏈負責存儲數據+共識,執行交給終端。不限開發語言,也沒有執行瓶頸,同時,支持節點在下載數據的時候只下載自己應用相關的數據,而不用將整個區塊數據都下載下來,提高效率。
但是,二者的不同之處在于,celestia將存儲和共識的角色再次分離,所以celestia網絡里有三種角色:Consensusnodes,Storagenodes,Clientnodes。
角色分工及基本流程
為了更好的理解Celestia角色分工和基本運作流程。我們需要從它想達到的目的來講。
首先,Celestia希望解耦數據可用性和狀態轉換/計算。為什么不說共識,是因為共識本身確認的就是數據可用性和真實性,所以很難和數據可用性再分開,否則也不算啥區塊鏈了。
其次,只下載自己要的信息用來計算。Celestia希望執行計算的節點在執行計算的時候只檢索自己所需要的信息,而不用下載整個區塊鏈的信息去做狀態轉換。
數據完整性。能夠發現數據被銷毀會隱藏。
應用狀態的主權獨立。和第二點類似,執行節點不需要執行其他不相關應用的信息,除非是該應用的依賴應用。
知道了它的目的,我們就可以來看它的分工。
為了保證區塊鏈的共識,所以有專門的共識節點。
為了數據可用性,有專門的存儲節點。
有了上面兩個,執行的任務就交給了終端用戶,這些都算執行節點。
這些節點以一種點對點的網狀拓補結構構成整個celestia網絡。需要注意的就是執行節點必須至少鏈接一個存儲節點,以用來執行自己應用的狀態轉換。
這里需要提一下驗證規則。通常來說分為兩種:
簡單驗證規則:通常區塊鏈的驗證方法,下載所有信息M,驗證Root(M)=mRoot。一旦驗證為true,就分發M和區塊頭h,并且需要存儲該M數據至少一定時間t’,確保其他節點可以接受到信息
概率驗證規則:這就是celestia主推的2DReed-Solomon。基本原理在上面已經說過。這里再舉個官方例子來看下效果。
如果糾刪碼閾值是1/4,一個塊被分為4096片,則每個節點?只需要下載15個樣本就可以有99%的概率確認數據是可用的。意思是每個節點只用下載0.4%的原始數據片段就可以大概率推斷數據是否可用。
當然,概率驗證規則要求所有節點下載的數據加起來是必須超過這個糾刪碼閾值的。例如閾值是50%的話,所有節點下載的數據加起來必須達到原始數據片段的50%以上,該數據可用性才能被確認,并最終參與出塊。
好了,基本的結構了解完畢,我們就需要來看下應用怎么跑在上面了。
應用節點如何工作
首先,我們上面講過,執行應用是由終端客戶來執行的。他們在這個網絡中不止是用戶,同時也是執行節點。通過傳遞參數,即對應的hash和nid,來獲取自己應用執行狀態轉換所需要的全部信息,在鏈下執行后將數據上傳到鏈上,以方便其他執行節點獲取執行。
當然,因為celestia不負責驗證執行結果,所以可能出現違反應用邏輯的交易,所以,這里會加入一個新的函數transition,應用可以調用這個函數,返回一個狀態,以這個狀態來確認交易的合法性。
如果交易違法,則整個交易會回滾到原始的state。只有合法的交易才會返回state’。
當然,這里就衍生出一個問題:應用升級。這點其實和smartwave的處理是一樣的:
如果一個交易使用了和現有應用不同的邏輯,導致交易沒有進行。這時候該節點執行的應用就會被算成一個新的應用,所以并不會影響其他使用原來應用的人。也就是說,不需要硬分叉,應用自己想要升級只要改變本地執行邏輯并且上傳注冊成新應用即可。不需要硬分叉也就不會影響到其他應用。
還有一個問題我們也需要解決:跨應用調用怎么辦?
跨應用調用
想象一下,如果我們使用一個域名注冊的合約,我們付費,然后購買域名。由于市面上的支付工具合約已經很多了,所以我們使用的域名注冊合約會調用第三方的支付合約來一起完成這個業務流程。
這時候,按照Celestia的方式,問題就出現了:由于應用的獨立主權,各個應用的狀態不會互相干涉,而我們的域名注冊應用明顯會干涉到其他應用,這時候應該怎么辦呢?
前置條件調用:在完成A合約之前,必須先完成B合約才行。這個時候B合約可以設置專門的函數允許其他合約調用。上面的域名注冊合約就屬于這一種。對于這種情況,celestia規定在執行A合約的時候不止需要下載A需要的數據,同時還要下載B的數據,執行完B后再執行A。因為A的執行需要依賴B的狀態。而執行B合約的節點則不需要下載A的數據,因為B的執行不依賴于A。
后置條件調用:完成A合約之后,需要修改B合約。例如郵件訂閱服務,訂閱郵件后,需要其他合約來按照訂閱服務的狀態發送郵件。這個時候就需要B合約在執行的時候下載A合約,執行A合約后再執行B合約。這種調用在celestia的設想里應該很少才對,因為直接修改另一個應用的狀態違背了獨立主權的初衷。這里就不可避免的需要下載全部數據了。
小結
至此,celestia的主體已介紹完畢。我們可以發現,它和smartwave的高度相似,或者說這也是現在除了常見區塊鏈結構的另一種結構,完全可組合結構。自己只保證數據可用性,不負責執行,也不驗證執行,可以和U盤一樣,即插即用,哪里需要去哪里。
天生可跨鏈,甚至兼容各類跨鏈原子交互。比AR強的一點在于驗證有效性的數據量上要少很多,所以還是很有前途的。目前不確定的一點在于代幣經濟。不知道代幣經濟會怎么樣。
當然,至于celestia+Optimint,Arweave+KYVE這兩者誰能笑到最后,還真不好說,畢竟這兩者都是筆者非常喜歡的項目,突出一個Nice
最后的最后,我們來看下對比圖,看下celestia的提升有多大。
白皮書:https://arxiv.org/pdf/1905.09274.pdf
果然Nice!
Tags:CELELESTIESTcel幣漲得起來嗎seele幣為什么突然這么低BROADCASTINGGroestlcoin
鏈捕手消息,區塊鏈公司Chiliz將對阿根廷足協與幣安的合作采取法律行動。AFA與Chiliz在2021年簽訂了冠名權協議,并在Socios平臺上推出了一款粉絲代幣.
1900/1/1 0:00:00原標題:Sinks&Faucets:LessonsonDesigningEffectiveVirtualGameEconomies作者:TerryChung.
1900/1/1 0:00:00鏈捕手消息,TokenPocket投資孵化的Web3.0社交協議5Degrees已正式上線,該協議兼容ERC-1155標準,兼備足夠易用、無需許可以及可組合性三大特點.
1900/1/1 0:00:00鏈捕手消息,據官方消息,菲律賓的加密貨幣交易所PDAX完成5000萬美元B輪融資,TigerGlobal領投.
1900/1/1 0:00:00鏈捕手消息,加密支付公司MoonPay推出用于NFT購買的信用卡結賬工具,MoonPay的客戶可以使用該工具為用戶提供在不使用加密貨幣的情況下購買NFT的方式.
1900/1/1 0:00:00鏈捕手消息,TRC20-USDT持有賬戶數為10,028,113,正式突破1000萬。此外,TRC20-USDT流通量也已突破367億枚.
1900/1/1 0:00:00