以太坊價格 以太坊價格
Ctrl+D 以太坊價格
ads

CEL:Celestia 會成為DA模塊的頭牌嗎?

Author:

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

來源:?CryptoYCTech

Celestia是什么

Celestia前身叫LazyLedger。是一個專精于“數據可用性”的基礎設施。當然它自己本身就是一條鏈,但是卻不涉及狀態計算的問題。所以,這里就衍生出一系列先驗問題,例如:數據可用性的重要性以及和擴容的關系是什么。

這里就需要看下傳統區塊鏈的數據問題。以ETH為例,現在絕大多數的節點都是輕節點,本身不負責出塊,而是驗證區塊。但是,由于驗證的只是區塊頭,所以存在一種可能,就是區塊生產者發布一個正確有效的區塊頭,但是沒有包含/掩蓋了交易數據時,就會出現數據可用性的問題,輕節點很容易被欺騙或者接受無效區塊。

同時,由于全節點無法為輕節點生成數據可用性證明,以及無效區塊的欺詐證明,所以輕節點想要驗證區塊數據本身,就需要自己來進行。或者,假設絕大多數數據是誠實可信的。

明顯看出,如果為了安全,絕大多數節點必須下載全部交易數據并驗證數據可用性,這就進而引發了擴容問題。

說到這里,我們不難發現數據可用性的兩個瓶頸:

可用性證明:告訴其他節點,這個區塊的數據都是真實可用的

欺詐證明:區塊是否是有效的

這就是Celestia想要解決的兩個問題。

怎么做

Celsius前CEO保釋金為4000萬美元:金色財經報道,Celsius前CEO Alex Mashinsky在周四因欺詐指控被捕后,美國地區法官確定其保釋金為4000萬美元。

此前今日凌晨報道,Celsius前CEO Alex Mashinsky被捕,Mashinsky否認美國政府對其的指控,律師稱相關指控毫無根據。[2023/7/14 10:55:05]

那么,Celestia是如何解決這兩個問題呢?很簡單:放棄鏈上執行,放棄鏈上狀態轉換,只通過二維Reed-Solomon糾刪碼以及專門的命名空間默克爾樹結構來確保數據的可用性,而執行的部分則交給終端用戶自己執行。所以,我們簡單看下這兩個東西。

二維R-S糾刪碼

這個東西概括來說,就是傳遞某個信息,不止是傳遞信息本身,還會加入一些可以容錯的冗余,舉個簡單的例子:

例如我想要給別人傳遞一個信息123,但是我知道在信息傳遞過程中可能出現信息部分丟失或錯誤的情況,所以我為了讓別人能最大概率的正確確認我傳遞的信息,會選擇傳遞onetwothree。

假如別人接受到的信息是on,to,thee,只要接受者知道內容格式是什么,這個例子里是數字,那就可以大概率確認原本的數據是123。

當然,這里面涉及到一個閾值問題,假設信息一共有n個片段,只要k個片段能夠正確傳輸,則完整信息就可以被還原,即成功傳遞的信息比例>k/n就可以。如果按照標準的Reed-Solomon糾刪碼,這個閾值就是50%。

Celsius還清Compound剩余債務,釋放近2億美元的wBTC:金色財經消息,據Etherscan的數據顯示,Celsius Network全額償還了其借貸協議Compound的剩余債務,釋放了近2億美元的質押代幣wBTC。與Celsius相關的錢包在兩筆交易中將5000萬個DAI(MakerDAO與美元掛鉤的穩定幣)轉移到了Compound,隨后,Compound分別向Celsius釋放了6,900wBTC和3,100wBTC。[2022/7/14 2:11:53]

具體到celestia,他們提出了一個新的采樣方式:二維采樣。將信息切分成橫縱數量一樣的二維分片。在驗證欺詐證明的時候,輕節點只需要下載橫向或縱向的數據即可,這樣需要下載的數據量直接成了√N?(假設數據分成n*n片)。

當然,因為沒有下載完整的數據,所以輕節點還需要下載每一行和每一列的默克爾樹根作為區塊頭的一部分進行驗證,以保證數據最大的可用性。這樣,整個celestia網絡就變成了一個基于P2P的種子下載網絡。用很少的數據,就可以大概率確認數據的可用性。

命名空間默克爾樹

我們都知道以太坊的狀態更新是全局同步的,每次狀態轉換會更新所有地址的狀態,舉個不恰當的例子:假設我在以太坊上更新了www.cryptoyc.com的數據,節點在更新狀態的時候不止是更新驗證cryptoyc的數據,還會把不相干的數據(例如www.123.com的狀態)也會更新和驗證顯然,這樣是不合理的。

以太坊二層擴容項目Celer發起提案CIP-3,以通過組合協議策略實現最優收益:官方消息,以太坊二層擴容項目Celer Network社區發起提案CIP-3,旨在通過組合協議策略實現最優收益。提案表示,Celer目前僅有單一協議的策略,用戶需要手動將余額重新分配到另一個收益更高的策略,因而提出一種通過組合多個協議來實現最佳收益的策略。[2021/5/29 22:54:56]

所以,Celestia在存儲數據的時候用的是一種namespacemerletree,為的是終端節點在執行應用時只用下載自己應用相關的數據,而不是和以太坊一樣需要下載全部區塊數據。所以通過這種結構,對應功能的節點可以將只包含終端應用需要的數據狀態返回給終端節點。

有關這個默克爾樹的詳細結構和組成規則以后有興趣的時候再說。概括來說,該結構是由命名空間hash(nsHash,以namespaceidentifer為前綴的warpperhash)為基本數據,根節點包含了所有子節點的相關命名數據。具體存的數據是json格式。而nsHah是由minNs,MaxNs,hash(x)三個元素組成。

minNs:?其根節點所屬的子節點中的最小namespaceidentifier。

maxNs:?其根節點所屬的子節點中的最大namespaceidentifier。

hash(x):?就是子節點的hash值,和普通區塊的類似。

歐易OKEx即將上線Celsius Network (CEL):4月13日,歐易OKEx官方公告宣布上線Celsius Network (CEL),現已開放充值,CEL/USDT市場將于今日13:00開放交易,并于4月14日18:00開放提現。

據悉,歐易OKEx將啟動十萬美金CEL限時回饋活動,在4月13日-4月20日活動期間,用戶參與CEL答題挑戰或進行CEL充值和交易,符合活動規則即可瓜分十萬美金CEL獎勵。

公開資料顯示,Celsius是一個中心化的借貸平臺,用戶可以借貸加密資產,并獲得收益。借貸過程在支持多達 33 種不同的加密貨幣的Celsius App上完成。[2021/4/13 20:13:35]

整個結構可以用這個例圖來表示:

白皮書:https://arxiv.org/pdf/1905.09274.pdf

整個流程就和AR的smartwave很相似:鏈負責存儲數據+共識,執行交給終端。不限開發語言,也沒有執行瓶頸,同時,支持節點在下載數據的時候只下載自己應用相關的數據,而不用將整個區塊數據都下載下來,提高效率。

但是,二者的不同之處在于,celestia將存儲和共識的角色再次分離,所以celestia網絡里有三種角色:Consensusnodes,Storagenodes,Clientnodes。

Bithumb已上線Celer Network(CELR):4月6日消息,韓國加密交易平臺Bithumb已在比特幣交易市場上線CelerNetwork(CELR)。以太坊二層擴容方案CelerNetwork致力于以鏈下擴容技術為基石構建匹配互聯網規模的區塊鏈應用入口平臺,讓所有人都能夠在該平臺上便捷快速地開發、運行與使用高性能的分布式區塊鏈應用。[2021/4/6 19:49:50]

角色分工及基本流程

為了更好的理解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:CELELESTIESTcelt幣還能漲回來嗎USELESSSTILTON價格harvestfinance

萊特幣最新價格
區塊鏈:Sino Global Capital:為什么我們看好印度加密貨幣市場?

原文標題:《WhywearebullishoncryptoinIndia》原文作者:SinoGlobalCapital編譯:TechFlow深潮 前言 印度進入2022年,擁有龐大的經濟規模.

1900/1/1 0:00:00
NOC:Messari:詳解 CeDeFi 聚合器 OpenOcean 的產品特點與市場前景

作者:StevenBiekens原標題:《AnOceanofLiquidity:OpenOceanandtheQuesttoBecometheCeDeFiAggregator》 編譯:胡韜.

1900/1/1 0:00:00
TAL:P2E 鏈游 Galaxy Fight Club 完成 700 萬美元融資,Animoca、紅杉資本等領投

鏈捕手消息,首款跨IP、多平臺的玩家對戰游戲平臺GalaxyFightClub宣布完成了700萬美元的種子輪及私募輪融資.

1900/1/1 0:00:00
區塊鏈:一文讀懂 Aleo:模塊化的零知識隱私應用平臺

作者:CYCLabs Aleo致力于構建模塊化且合規的零知識隱私應用平臺,用于構建私有應用的最終工具包。其利用去中心化系統、零知識加密技術,保護Web上的用戶數據以實現這?目標.

1900/1/1 0:00:00
CHA:Web3 財務管理工具 Multis 完成700萬美元融資,紅杉資本領投

鏈捕手消息,Web3財務管理工具Multis完成700萬美元融資,紅杉資本領投,LongJourneyVentures、SoundVentures、MakerDAO等機構以及PaulVeradi.

1900/1/1 0:00:00
PUM:Stader Labs 以4.5億估值完成1250萬美元私募融資,三箭資本領投

鏈捕手消息,加密貨幣抵押管理平臺StaderLabs周四宣布以4.5億估值完成1250萬美元私募融資,三箭資本領投.

1900/1/1 0:00:00
ads