來源:?CryptoYCTech
Celestia是什么
Celestia前身叫LazyLedger。是一個專精于“數據可用性”的基礎設施。當然它自己本身就是一條鏈,但是卻不涉及狀態計算的問題。所以,這里就衍生出一系列先驗問題,例如:數據可用性的重要性以及和擴容的關系是什么。
這里就需要看下傳統區塊鏈的數據問題。以ETH為例,現在絕大多數的節點都是輕節點,本身不負責出塊,而是驗證區塊。但是,由于驗證的只是區塊頭,所以存在一種可能,就是區塊生產者發布一個正確有效的區塊頭,但是沒有包含/掩蓋了交易數據時,就會出現數據可用性的問題,輕節點很容易被欺騙或者接受無效區塊。
同時,由于全節點無法為輕節點生成數據可用性證明,以及無效區塊的欺詐證明,所以輕節點想要驗證區塊數據本身,就需要自己來進行。或者,假設絕大多數數據是誠實可信的。
明顯看出,如果為了安全,絕大多數節點必須下載全部交易數據并驗證數據可用性,這就進而引發了擴容問題。
說到這里,我們不難發現數據可用性的兩個瓶頸:
可用性證明:告訴其他節點,這個區塊的數據都是真實可用的
欺詐證明:區塊是否是有效的
這就是Celestia想要解決的兩個問題。
怎么做
Celsius應用程序將在90天內關閉,確定PayPal負責BTC分銷:金色財經報道,破產的加密借貸平臺Celsius發布修訂后的披露聲明,透露其計劃在90天內關閉其應用程序。在聲明中,Celsius概述了其為債權人提供加密貨幣大幅追償的計劃。該公司打算向符合條件的債權人分發流動性加密貨幣,包括比特幣(BTC)和以太坊(ETH)。預計分配金額約為20.3億美元,價值受BTC和ETH價值潛在波動的影響。
此外,為了有效管理,Celsius選擇與第三方分銷代理合作,認為PayPal是向美國個人債權人進行某些分配的潛在代理。對于其他發行版,Celsius正在積極尋找其他發行代理。如果找不到合適的代理人,Celsius將在生效日期后九十天保持其平臺開放,以方便向特定債權人進行分配。[2023/8/12 16:22:33]
那么,Celestia是如何解決這兩個問題呢?很簡單:放棄鏈上執行,放棄鏈上狀態轉換,只通過二維Reed-Solomon糾刪碼以及專門的命名空間默克爾樹結構來確保數據的可用性,而執行的部分則交給終端用戶自己執行。所以,我們簡單看下這兩個東西。
二維R-S糾刪碼
這個東西概括來說,就是傳遞某個信息,不止是傳遞信息本身,還會加入一些可以容錯的冗余,舉個簡單的例子:
例如我想要給別人傳遞一個信息123,但是我知道在信息傳遞過程中可能出現信息部分丟失或錯誤的情況,所以我為了讓別人能最大概率的正確確認我傳遞的信息,會選擇傳遞onetwothree。
Celsius已將7400萬美元的山寨幣轉移到與做市商Wintermute相關的新錢包:金色財經報道,破產的加密貨幣借貸平臺Celsius Network 已將包括 SNX、UNI 和 ZRX 在內的約 7400 萬美元山寨幣和穩定幣 USDT、USDC 轉移到與做市商 Wintermute 相關的新錢包。此前紐約南區法官已批準 Celsius 自 7 月 1 日起將山寨幣兌換為 BTC 與 ETH。
目前 Celsius 錢包共有約 6.15 億美元的加密貨幣,其中包括 2.96 億美元的比特幣和 1.2 億美元的 ETH,還擁有 1 億美元的代幣 CEL 和約 3000 萬美元的穩定幣,剩下的山寨幣價值約 6900 萬美元。[2023/7/6 22:20:31]
假如別人接受到的信息是on,to,thee,只要接受者知道內容格式是什么,這個例子里是數字,那就可以大概率確認原本的數據是123。
當然,這里面涉及到一個閾值問題,假設信息一共有n個片段,只要k個片段能夠正確傳輸,則完整信息就可以被還原,即成功傳遞的信息比例>k/n就可以。如果按照標準的Reed-Solomon糾刪碼,這個閾值就是50%。
具體到celestia,他們提出了一個新的采樣方式:二維采樣。將信息切分成橫縱數量一樣的二維分片。在驗證欺詐證明的時候,輕節點只需要下載橫向或縱向的數據即可,這樣需要下載的數據量直接成了√N?(假設數據分成n*n片)。
加密借貸平臺Celsius在本周早些時候從Anchor Protocol中撤出5億美元:5月13日消息,加密借貸平臺Celsius在本周早些時候從Anchor Protocol中撤出了5億美元。根據The Block Research和區塊鏈數據公司Hoptrail進行的分析,在過去五個月中,Celsius控制的錢包至少向Anchor Protocol發送了261,000ETH(按當前價格計算為5.35億美元)。The Block Research的研究員Igor Igamberdiev表示,Celsius以Lidos tETH的形式把從Anchor協議中提取的資金發送到另一個借貸協議Aavev2。(TheBlock)[2022/5/13 3:14:18]
當然,因為沒有下載完整的數據,所以輕節點還需要下載每一行和每一列的默克爾樹根作為區塊頭的一部分進行驗證,以保證數據最大的可用性。這樣,整個celestia網絡就變成了一個基于P2P的種子下載網絡。用很少的數據,就可以大概率確認數據的可用性。
命名空間默克爾樹
我們都知道以太坊的狀態更新是全局同步的,每次狀態轉換會更新所有地址的狀態,舉個不恰當的例子:假設我在以太坊上更新了www.cryptoyc.com的數據,節點在更新狀態的時候不止是更新驗證cryptoyc的數據,還會把不相干的數據(例如www.123.com的狀態)也會更新和驗證顯然,這樣是不合理的。
KuCoin上線Celo (CELO) ,現已開放充值:據 KuCoin(庫幣)官方公告,KuCoin宣布上線Celo (CELO)項目并支持交易對CELO/USDT和CELO/BTC 交易對 ,目前已開啟CELO的充值服務,于5月12日18:00正式開放交易。Celo是一個移動優先的區塊鏈,它僅使用移動電話號碼來進行點對點支付優化。 以“全民的交易所”著稱,KuCoin(庫幣)旨在發掘全球優質區塊鏈項目,為來自207個國家的800萬用戶提供幣幣、法幣、杠桿、合約、礦池、借貸等一站式服務。[2021/5/11 21:49:27]
所以,Celestia在存儲數據的時候用的是一種namespacemerletree,為的是終端節點在執行應用時只用下載自己應用相關的數據,而不是和以太坊一樣需要下載全部區塊數據。所以通過這種結構,對應功能的節點可以將只包含終端應用需要的數據狀態返回給終端節點。
有關這個默克爾樹的詳細結構和組成規則以后有興趣的時候再說。概括來說,該結構是由命名空間hash(nsHash,以namespaceidentifer為前綴的warpperhash)為基本數據,根節點包含了所有子節點的相關命名數據。具體存的數據是json格式。而nsHah是由minNs,MaxNs,hash(x)三個元素組成。
minNs:?其根節點所屬的子節點中的最小namespaceidentifier。
加密貸款公司Celsius希望增加對其他代幣化的非相關資產和商品的支持:加密貸款公司Celsius創始人AlexMashinsky表示,其對TetherGold(XAUT)的支持為用戶提供了從法幣到非相關和去中心化資產的橋梁。展望未來,Mashinsky表示,Celsius希望增加對其他代幣化的非相關資產和商品的支持,如白銀,甚至一些大宗商品。(Cointelegraph)[2020/5/11]
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:CELELEESTSTIcelsius幣最新元一seele幣合法嗎Haodestar TokenPLASTIK價格
作者:RichardLee 編輯:龔荃宇 邁入1月,Solana、Harmony、Arbitrum等多條公鏈/Layer2出現停止出塊的網絡宕機現象,以太坊側鏈Polygon則出現嚴重擁堵現象.
1900/1/1 0:00:00作者:Denis 原標題:《EVMcompatibilityandthefutureofblockchains》 編譯:谷昱,鏈捕手 以太坊在第一波“以太坊殺手”中幸存下來.
1900/1/1 0:00:00鏈捕手消息,據慢霧區情報,近期AToken錢包(atoken.com)疑似遭受到攻擊,用戶在使用AToken錢包后,幣被偷偷轉移走。目前已經有較多的用戶反饋錢包中的資產被盜.
1900/1/1 0:00:00作者:RichardLee,鏈捕手在加密發展早期,資本和投資人是市場關注的一大重點。去年12月,硅谷加密投資明星、a16z前普通合伙人KatieHaun宣布離開a16z,成立自己的加密和Web3.
1900/1/1 0:00:00來源:TheDefiant 編譯:DeFi之道 VitalikButerin在19歲時撰寫了以太坊白皮書.
1900/1/1 0:00:00鏈捕手消息,波卡平行鏈AstarNetwork宣布推出1億美元的AstarBoostProgram基金,用于提供流動性、財務支持和激勵計劃.
1900/1/1 0:00:00