来源:?CryptoYCTech
Celestia是什么
Celestia前身叫LazyLedger。是一个专精于“数据可用性”的基础设施。当然它自己本身就是一条链,但是却不涉及状态计算的问题。所以,这里就衍生出一系列先验问题,例如:数据可用性的重要性以及和扩容的关系是什么。
这里就需要看下传统区块链的数据问题。以ETH为例,现在绝大多数的节点都是轻节点,本身不负责出块,而是验证区块。但是,由于验证的只是区块头,所以存在一种可能,就是区块生产者发布一个正确有效的区块头,但是没有包含/掩盖了交易数据时,就会出现数据可用性的问题,轻节点很容易被或者接受无效区块。
同时,由于全节点无法为轻节点生成数据可用性证明,以及无效区块的欺诈证明,所以轻节点想要验证区块数据本身,就需要自己来进行。或者,假设绝大多数数据是诚实可信的。
明显看出,如果为了安全,绝大多数节点必须下载全部交易数据并验证数据可用性,这就进而引发了扩容问题。
说到这里,我们不难发现数据可用性的两个瓶颈:
可用性证明:告诉其他节点,这个区块的数据都是真实可用的
欺诈证明:区块是否是有效的
这就是Celestia想要解决的两个问题。
怎么做
Celer cBridge和IM已支持ConsenSys zkEVM测试网:金色财经报道,Celer Network发推称,cBridge和Celer链间消息传递技术 ( Celer IM ) 现已支持ConsenSys zkEVM测试网,BNB、BUSD、MATIC和AVAX代币的无缝跨链桥已上线。[2023/3/8 12:49:18]
那么,Celestia是如何解决这两个问题呢?很简单:放弃链上执行,放弃链上状态转换,只通过二维Reed-Solomon纠删码以及专门的命名空间默克尔树结构来确保数据的可用性,而执行的部分则交给终端用户自己执行。所以,我们简单看下这两个东西。
二维R-S纠删码
这个东西概括来说,就是传递某个信息,不止是传递信息本身,还会加入一些可以容错的冗余,举个简单的例子:
例如我想要给别人传递一个信息123,但是我知道在信息传递过程中可能出现信息部分丢失或错误的情况,所以我为了让别人能最大概率的正确确认我传递的信息,会选择传递onetwothree。
假如别人接受到的信息是on,to,thee,只要接受者知道内容格式是什么,这个例子里是数字,那就可以大概率确认原本的数据是123。
当然,这里面涉及到一个阈值问题,假设信息一共有n个片段,只要k个片段能够正确传输,则完整信息就可以被还原,即成功传递的信息比例>k/n就可以。如果按照标准的Reed-Solomon纠删码,这个阈值就是50%。
加密借贷平台Celsius资产拍卖日期已确定,投标截止日期为10月18日:10月4日消息,根据周一提交给纽约南区美国破产法院的文件,加密借贷平台Celsius已确定其资产拍卖日期,投标截止日期为北京时间10月18日4:00,如有必要,拍卖会在北京时间10月20日22:00进行,销售截止日期为北京时间10月26日4:00。文件称,将于北京时间11月1日23:00在美国首席破产法官Martin Glenn面前通过Zoom举行出售听证会,并补充说预计会有大量参与者。[2022/10/4 18:39:01]
具体到celestia,他们提出了一个新的采样方式:二维采样。将信息切分成横纵数量一样的二维分片。在验证欺诈证明的时候,轻节点只需要下载横向或纵向的数据即可,这样需要下载的数据量直接成了√N?(假设数据分成n*n片)。
当然,因为没有下载完整的数据,所以轻节点还需要下载每一行和每一列的默克尔树根作为区块头的一部分进行验证,以保证数据最大的可用性。这样,整个celestia网络就变成了一个基于P2P的种子下载网络。用很少的数据,就可以大概率确认数据的可用性。
命名空间默克尔树
我们都知道以太坊的状态更新是全局同步的,每次状态转换会更新所有地址的状态,举个不恰当的例子:假设我在以太坊上更新了www.cryptoyc.com的数据,节点在更新状态的时候不止是更新验证cryptoyc的数据,还会把不相干的数据(例如www.123.com的状态)也会更新和验证显然,这样是不合理的。
Celer与Solace达成合作,基于Celer IM扩展Solace跨链承保能力:4月28日消息,Celer Network 宣布与去中心化保险协议Solace达成合作,Solace将集成Celer消息跨链框架(Celer Inter-chain Message,以下简称 Celer IM),简化其在不同区块链上承保池的管理流程。
Celer近日上线了Celer IM主网,利用Celer IM SDK,开发者可构建在多个链之间共享流动性和状态的原生跨链 dApp;用户无需手动切换区块链即可一键享受多个区块链生态的流动性和应用。Celer表示接下来会进行更多的 Celer IM 集成合作,以更好地支持多链应用,提高区块链互操作性。[2022/4/28 2:36:07]
所以,Celestia在存储数据的时候用的是一种namespacemerletree,为的是终端节点在执行应用时只用下载自己应用相关的数据,而不是和以太坊一样需要下载全部区块数据。所以通过这种结构,对应功能的节点可以将只包含终端应用需要的数据状态返回给终端节点。
有关这个默克尔树的详细结构和组成规则以后有兴趣的时候再说。概括来说,该结构是由命名空间hash(nsHash,以namespaceidentifer为前缀的warpperhash)为基本数据,根节点包含了所有子节点的相关命名数据。具体存的数据是json格式。而nsHah是由minNs,MaxNs,hash(x)三个元素组成。
Cellframe Network发布2.6.0版本,包括钱包创建等功能:4月11日消息,Cellframe Network发推称,Backbone主网现已连接至Cellframe仪表盘。新版本2.6.0包括钱包创建、记账机制和交易佣金创建功能。[2022/4/11 14:17:43]
minNs:?其根节点所属的子节点中的最小namespaceidentifier。
maxNs:?其根节点所属的子节点中的最大namespaceidentifier。
hash(x):?就是子节点的hash值,和普通区块的类似。
整个结构可以用这个例图来表示:
白皮书:https://arxiv.org/pdf/1905.09274.pdf
整个流程就和AR的smartwave很相似:链负责存储数据+共识,执行交给终端。不限开发语言,也没有执行瓶颈,同时,支持节点在下载数据的时候只下载自己应用相关的数据,而不用将整个区块数据都下载下来,提高效率。
但是,二者的不同之处在于,celestia将存储和共识的角色再次分离,所以celestia网络里有三种角色:Consensusnodes,Storagenodes,Clientnodes。
角色分工及基本流程
开源支付网络Celo正式上线主网:开源支付网络Celo宣布现已正式上线主网,下一阶段Celo平台(Celo Platform)将会把链下的价格通过一系列预言机提供给Celo Gold链上、上线与美元挂钩的稳定币Celo Dollars以及在主网上发布Celo Wallet。[2020/5/19]
为了更好的理解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!
来源:区块链日报作者:董宇佳徐赐豪美国当地时间2月10日,福布斯宣布获得币安2亿美元的战略投资.
1900/1/1 0:00:00链捕手消息,以太坊ArgentL2钱包与LayerSwap合作,以解决用户从L1向L2充值资产时的高昂费用问题,用户可以直接从中心化交易所提款至Argent的L2账号.
1900/1/1 0:00:00原文作者:0x137还记得旷日持久的CurveWar吗?协议们为了话语权激烈厮杀。现在,「CurveWar」在Fantom链上被复制,受到YFI创始人AndrewCronje的号召,所有人的目光.
1900/1/1 0:00:00链捕手消息,DeFi治理平台Bribe完成400万美元种子轮融资,SpartanGroup领投.
1900/1/1 0:00:00原文作者:Sinclair原文标题:《TheRiseandDemiseofRSS》原文编译:姚昌林老一辈互联网人读这篇文章应该会很有感触,做区块链的新一代,也会看到很多熟悉的现象.
1900/1/1 0:00:00来源:区块律动作者:Coinbase只有Crypto领域才会出现的现象是:一个由匿名创始人在几周内建立起来的平台,就能与业内处于领先地位的平台进行抗衡.
1900/1/1 0:00:00