來源:?CryptoYCTech
Celestia是什么
Celestia前身叫LazyLedger。是一個專精于“數據可用性”的基礎設施。當然它自己本身就是一條鏈,但是卻不涉及狀態計算的問題。所以,這里就衍生出一系列先驗問題,例如:數據可用性的重要性以及和擴容的關系是什么。
這里就需要看下傳統區塊鏈的數據問題。以ETH為例,現在絕大多數的節點都是輕節點,本身不負責出塊,而是驗證區塊。但是,由于驗證的只是區塊頭,所以存在一種可能,就是區塊生產者發布一個正確有效的區塊頭,但是沒有包含/掩蓋了交易數據時,就會出現數據可用性的問題,輕節點很容易被欺騙或者接受無效區塊。
同時,由于全節點無法為輕節點生成數據可用性證明,以及無效區塊的欺詐證明,所以輕節點想要驗證區塊數據本身,就需要自己來進行。或者,假設絕大多數數據是誠實可信的。
明顯看出,如果為了安全,絕大多數節點必須下載全部交易數據并驗證數據可用性,這就進而引發了擴容問題。
說到這里,我們不難發現數據可用性的兩個瓶頸:
可用性證明:告訴其他節點,這個區塊的數據都是真實可用的
欺詐證明:區塊是否是有效的
這就是Celestia想要解決的兩個問題。
怎么做
kadhim:Celsius在未來3個月內平均燒掉4600萬美元:金色財經報道,英國金融時報記者kadhim在社交媒體上稱,破產的加密貨幣貸款機構Celsius的財務狀況的新細節。
1 / 公司在未來3個月內平均燒掉4600萬美元,即現金流嚴重為負。
2 / 客戶給了Celsius 100,000 BTC。它現在只有15,000 BTC和23,000 WBTC。
對此,律師wassie評論稱,Celsius預測在未來3個月內將有3300萬的重組相關費用(可能支付給法律和財務顧問)。在破產保護中,專業顧問總是贏家。[2022/8/16 12:27:18]
那么,Celestia是如何解決這兩個問題呢?很簡單:放棄鏈上執行,放棄鏈上狀態轉換,只通過二維Reed-Solomon糾刪碼以及專門的命名空間默克爾樹結構來確保數據的可用性,而執行的部分則交給終端用戶自己執行。所以,我們簡單看下這兩個東西。
二維R-S糾刪碼
這個東西概括來說,就是傳遞某個信息,不止是傳遞信息本身,還會加入一些可以容錯的冗余,舉個簡單的例子:
例如我想要給別人傳遞一個信息123,但是我知道在信息傳遞過程中可能出現信息部分丟失或錯誤的情況,所以我為了讓別人能最大概率的正確確認我傳遞的信息,會選擇傳遞onetwothree。
假如別人接受到的信息是on,to,thee,只要接受者知道內容格式是什么,這個例子里是數字,那就可以大概率確認原本的數據是123。
Celsius在Terra/Luna上損失1580萬美元:金色財經消息,英國金融時報記者kadhim發推文稱,Celsius自愿重組申請文件顯示,Celsius在Terra/Luna上損失了1580萬美元。
此外,文件顯示,Celsius一開始有一個特別委員會來處理其重組,但在11天后就更換了委員會和其律師,該文件還顯示,Celsius希望利用其挖礦業務來產生足夠的比特幣以“解決其當前的加密貨幣赤字”。[2022/7/15 2:15:18]
當然,這里面涉及到一個閾值問題,假設信息一共有n個片段,只要k個片段能夠正確傳輸,則完整信息就可以被還原,即成功傳遞的信息比例>k/n就可以。如果按照標準的Reed-Solomon糾刪碼,這個閾值就是50%。
具體到celestia,他們提出了一個新的采樣方式:二維采樣。將信息切分成橫縱數量一樣的二維分片。在驗證欺詐證明的時候,輕節點只需要下載橫向或縱向的數據即可,這樣需要下載的數據量直接成了√N?(假設數據分成n*n片)。
當然,因為沒有下載完整的數據,所以輕節點還需要下載每一行和每一列的默克爾樹根作為區塊頭的一部分進行驗證,以保證數據最大的可用性。這樣,整個celestia網絡就變成了一個基于P2P的種子下載網絡。用很少的數據,就可以大概率確認數據的可用性。
命名空間默克爾樹
Nexo CEO介紹其應對監管機構的計劃,以避免步BlockFi和Celsius后塵:9月21日消息,加密貨幣借貸機構Nexo的首席執行官Antoni Trenchev表示,雖然美國監管機構已經率先向美國的貸款平臺(BlockFi和Celsius)施壓,但包括總部位于倫敦的Nexo在內,任何在美國開展業務的這類公司最終都必須“走過同一座橋”。Trenchev沒有回答監管機構是否已經與Nexo接洽的問題。Trenchev說:“我們正在密切關注事態發展。這里的我們指的是Nexo內部的法律團隊,以及我們在美國保留的律師事務所。”
Trenchev介紹稱,該公司對于可能來臨的監管已有應對之策。首先,Nexo正在推進收購一家美國SEC授權的經紀公司,通過該公司可以提供Nexo產品的“改良版”。其次,該公司正在與可能愿意與Nexo合作、讓Nexo在銀行執照下提供產品的國家特許銀行進行談判。第三,Nexo將申請豁免向未經認證的投資者提供證券。Trenchev說:“我們還沒有完全決定豁免的具體變化,以及我們將如何構建它。”(CoinDesk)[2021/9/21 23:40:57]
我們都知道以太坊的狀態更新是全局同步的,每次狀態轉換會更新所有地址的狀態,舉個不恰當的例子:假設我在以太坊上更新了www.cryptoyc.com的數據,節點在更新狀態的時候不止是更新驗證cryptoyc的數據,還會把不相干的數據(例如www.123.com的狀態)也會更新和驗證顯然,這樣是不合理的。
HashQuark宣布作為節點加入Celer狀態守衛者網絡:4月14日消息,HashQuark今日宣布作為節點加入Celer狀態守衛者網絡,與Celer共同維護其二層擴容網絡的可用性和安全性。
加入Celer狀態守衛者網絡后,HashQuark將作為專業的基礎設施服務商,為其提供高標準的安全和節點服務。與此同時,HashQuark會將Celer Network引入其宣傳網絡和社區,深化雙方的合作與發展,并基于在全球范圍內的影響力與豐富的節點服務經驗,推動Celer網絡與生態發展。
Celer的狀態守衛者網絡(State Guardian Network,SGN)是一個可擴展的、去中心化的“瞭望塔”側鏈,通過一個分布式狀態監控網絡的架構,保證二層網絡在用戶離線時狀態的持續保存,確保了二層狀態通道網絡的可用性和安全性。[2021/4/14 20:20:19]
所以,Celestia在存儲數據的時候用的是一種namespacemerletree,為的是終端節點在執行應用時只用下載自己應用相關的數據,而不是和以太坊一樣需要下載全部區塊數據。所以通過這種結構,對應功能的節點可以將只包含終端應用需要的數據狀態返回給終端節點。
有關這個默克爾樹的詳細結構和組成規則以后有興趣的時候再說。概括來說,該結構是由命名空間hash(nsHash,以namespaceidentifer為前綴的warpperhash)為基本數據,根節點包含了所有子節點的相關命名數據。具體存的數據是json格式。而nsHah是由minNs,MaxNs,hash(x)三個元素組成。
Celo繁榮聯盟負責人:Libra協會成員同時加入Celo:Celo繁榮聯盟已宣布50個創始成員,包括Libra支持者Anchorage、Bison Trails Co.、Coinbase Ventures、a16z和Mercy Corps。該項目旨在提供人道主義援助、促進支付,并通過加密貨幣Celo Dollar提供小額貸款,計劃于4月推出。Facebook及合作伙伴考慮重新設計Libra,以應對全球監管和審查。Libra協會已失去幾個關鍵成員。通過支持Celo,Libra一些成員基本是對沖其賭注。繁榮聯盟負責人Chuck Kimble稱,在使命方面有相似之處,這就是為何有人同時加入兩個聯盟。Libra備受爭議,主要因為Facebook參與;Celo可能不會受到同樣的聲譽問題影響。但其缺乏Libra吸引力的關鍵部分:與Facebook每月20億活躍用戶的聯系。它還必須與PayPal等成熟支付網絡競爭。Kimble稱,Celo Dollar價值將與美元掛鉤,并由其他加密貨幣儲備支持。該計劃將在美國推出,但聯盟的重點是拉美、非洲和東南亞。“我們已會見全球各國政府以及央行,正不斷與我們希望服務的許多國家政府接觸。”(彭博社)[2020/3/12]
minNs:?其根節點所屬的子節點中的最小namespaceidentifier。
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!
編譯:深潮TechFlow/志愿者0xz作者:DelphiLabsDelphiLabs的成長之路或許值得許多從業機構學習研究,沒有高起點和光鮮的背景.
1900/1/1 0:00:00撰文:MichaeldelCastillo&MattSchifrin 來源:Forbes 編輯:南風 區塊鏈已經走了很長一段路了!自2019年首次發布區塊鏈50強以來.
1900/1/1 0:00:00原文標題:《阿貍NFT盲盒變「明盒」技術翻車引群嘲》原文作者:凱爾,蜂巢TechNFT浪潮的興起讓各大IP找到了新的市場,1月19日,國產知名動漫IP阿貍的官方社媒宣布進軍NFT領域.
1900/1/1 0:00:00鏈捕手消息,據美聯社消息,總部位于新加坡的足球元宇宙平臺FootballMetaverse近日宣布,已獲得日本知名動漫IP《足球小將》的全球獨家授權,將推出足球小將NFT和足球小將鏈游.
1900/1/1 0:00:00作者:ChelseaJiang,ForesightResearch 0.前言 2014年,Cosmos的雛形及源頭項目Tendermint成立,比特幣的白皮書發布僅5年.
1900/1/1 0:00:00原作者:TanyoGochev?原標題:《BitDAO:WhatYouNeedtoKnowAbouttheInvestmentDAOwithBillionsinAssets》 編譯:李澤祎.
1900/1/1 0:00:00