作者:Bec
修订:Evelyn
什么是DataAvailability
大家都知道,区块链技术的一个特点就是:存放在链上的数据是安全可靠的,不可篡改的。那数据可用性是指的什么呢?难道区块链的共识不能保证数据的安全了吗?显然不是,区块链数据的安全性,是大家都认可的,也是区块链一直持续发展的一个动力之一。那么DA层是什么,我们先来看看下面几种情况。
一个节点如果想验证某一笔交易或者某一个区块,这个节点需要下载所有的区块和交易数据。由于区块链的持续运行,区块和交易数据会持续增长,这个节点的成本也会越来越高。以至于越来越多的节点只能选择运行轻节点。这些轻节点,没有下载所有的交易数据,它们不能对交易和区块进行验证,只能相信它们选择的共识节点。因此,实际上这些轻节点是不知道获得的数据是否可用。
同时区块链网络为了提高效率,一直在尝试进行扩容。以太坊的L2就是以太坊的一种扩容方案,从而提高以太坊的吞吐量。但L1和L2在本质上还是两个网络,L1是不会参与L2的共识,也不会验证和执行L2的交易,同理L2也不会参与L1的共识,亦不会验证和执行L1的交易。但是在此时,L1与L2之间其实是有信任问题的,例如:Rollup要求将所有交易数据都记录到以太坊的交易中,那么Rollup的用户为了验证自己的交易是否存入以太坊,他还需要运行一个以太坊的全节点吗?
江苏法院积极推进执行工作与区块链等技术深度融合:7月15日消息,近日,江苏省高级人民法院召开全省法院执行管理体制改革推进会。会议要求,要不断深化智慧执行建设,积极推进执行工作与5G、大数据、区块链等现代技术深度融合,进一步完善涵盖所有财产形式的网络查控系统,提升查控系统的智能化水平。(人民法院报)[2020/7/15]
从目前区块链的工作机制当中我们可以知道,当一个节点不参与共识的时候,特别是没有存储所有交易数据的时候,对于它自己获得的数据是否有效它是无法验证的,这些节点目前都只能相信自己连接的共识节点不会自己,或者多连接几个共识节点,做一个小小的容错。
因此DA层解决的问题是,在不参与共识、以及不用存储所有交易数据的情况下,依然能够对交易进行验证,从而证明这个交易是否可用。
Celestia
在上面先介绍了什么是DA,接下来,我们再来看看Celestia项目是打算如何来解决这个问题的。
Celestia项目围绕二维Reed-Solomon纠删码,设计了一套随机抽样来验证数据、以及恢复数据的方案从而确保数据可用。
当一个全节点发现轻节点收到有问题的数据时,会构建一个欺诈证明并发送给这个轻节点,轻节点收到欺诈证明之后,从网络中通过随机抽样的方式,获得需要的数据,来验证这个欺诈证明是否有效,从而能够明确的知道自己之前获得的数据是否可用。轻节点不需要信任给自己发送数据的节点,也不需要信任给自己发送欺诈证明的节点,这是因为轻节点是通过随机抽样的方式,来获取进行此次验证所需要的数据,因此安全性能是由整个网络来提供的。这样也使得DA层的安全等级,能够接近共识层的安全等级。
经济日报:区块链等正在与各行各业深度融合:6月12日,经济日报刊文“筑牢新基建底座 加速数字化转型升级”。文章表示,以人工智能、云计算、区块链等为代表的新技术基础设施,正在与各行各业深度融合,突破供需物理限制、产业行业边界,优化配置要素资源,有效拓展数据应用的广度和深度。[2020/6/12]
接下来,我们来了解一下Celestia具体是如何工作的。由于Celestia项目还处于开发测试阶段,因此这里采用的都是现阶段的白皮书的介绍方案,可能会与实际的解决方案有出入。
准备
欺诈证明的验证,必须是高效的,并且不需要全部的交易数据,也不需要执行具体的交易,因此Celestia对于自己区块的数据,进行了一些扩展。
1.stateRoot
状态的稀疏默克尔树的根,这种默克尔树的叶节点,是一个key-value对。
定义了一种变量,状态见证(w):是一些key-value对,以及他们在默克尔树中的证明,组成的集合:
定义了一个函数,rootTransition:可以通过状态根、交易、以及这些交易的状态见证,转换得到交易执行后的状态的根。也就是每个交易执行后的状态的默克尔根stateRoot`可以通过rootTransition(stateRoot,t,w)得到
油气基金4月来最高涨23% 整体仍深度亏损:据Wind数据显示,4月份以来,合格境内机构投资者(QDII)基金全线收涨,超九成基金实现正收益,其中,油气基金表现最突出,在收益排名前十的QDII基金中,有7只是油气基金,前四名均为油气基金。表现最好的华宝标普油气4月份以来大涨23%。尽管近期有所反弹,但是,油气基金今年以来整体依然处于深度亏损中,多只QDII的净值下跌超30%,更有基金跌幅达50%。(证券时报)[2020/4/14]
2.dataRoot
将交易,以及这些交易执行的中间状态根,组合成一个固定大小与固定格式的shares?。这些所有的交易的shares?,按照二维RS纠删码,进行扩展,最后得到一个默克尔树的根,即dataRoot。
具体步骤
将初始的交易数据,按照?shares?的大小与格式进行封装。
将?shares?放入一个k×k的矩阵,如果数量不够,则填充补齐。
然后应用RS纠删码,按照行和列进行3次补齐,最终得到一个2k?2k的矩阵。
对这个矩阵的每一行和每一列,都构建一个默克尔树,得到2?k个行根和2?k个列根。
最后将这4?k个根,组成一个默克尔树,得到根dataRoot。
动态 | 全国法院民商事审判工作会议强调加快实现区块链技术等与民商事审判深度融合:据界面报道,全国法院民商事审判工作会议于7月3日召开,会上强调,进一步健全审判工作机制,大力推进多元化纠纷解决机制和现代化诉讼服务体系建设,加快实现人工智能、5G、区块链技术等现代科技与民商事审判深度融合。[2019/7/3]
shares
shares?是Celestia项目定义的一个固定大小和格式的数据结构。主要内容是交易,以及执行这些交易的中间状态根。
由于没有具体规定多少交易,需要生成对应的中间状态根,项目方设定了一个?Period变量,作为最大限制周期,这个限制可以是最大多少交易之内必须生成中间状态根,也可以是多少字节,或者多少GAS。
还定义了两个函数来帮助验证:
parseShares?函数:输入shares,得到消息m,可以是中间状态根,也可能是交易。
parsePeriod?函数:输入消息,得到前状态根,执行后状态根,以及交易列表。
设定的格式举例
固定256字节
0-80:开始的交易
81-170:包含的交易
中高会区块链产业联盟与挖时科技达成深度战略合作:据悉,于5月9日在北京,中国高科技产业化研究会区块链产业联盟与挖时科技达成深度战略合作。双方就海南打造区块链特色小镇项目进行深度交流洽谈。会后,挖时科技聘请联盟秘书长张正帅担任发展顾问;同时,联盟聘请挖时科技作为副秘书长单位。[2018/5/10]
171-190:中间状态根
191-256:下一批开始的交易
白皮书中,介绍了两种欺诈证明,下面将分别对此进行介绍:
3.状态转换无效的欺诈证明
这是一个针对?stateRoot?的一个欺诈证明。全节点利用?dataRoot?中的?shares,来帮助轻节点验证收到的区块头中的?stateRoot?是否有效。
状态转换无效的欺诈证明的组成:
对应块的blockhash
相关的?shares
这些?shares?在?dataRoot?对应的默克尔树中的默克尔证明
这些?shares?包含的交易的?状态见证。
证明的验证:
验证blockhash,确定是对于哪个区块的欺诈证明。
验证证明中的每个?shares?的默克尔证明是否有效。
通过?shares?的两个解析函数,可以正确得到对应的交易列表,以及这批交易的执行前状态根和执行后状态根。并且如果执行前状态根为空,则第一个交易一定是块的第一笔交易;同时如果执行后状态根为空,则最后一笔交易一定也是块的最后一笔交易。
根据rootTransition函数,来验证得到的两个状态根。
4.错误生成扩展数据的欺诈证明
这是一个针对?shares?在网络传播时,当一个全节点从网络中收到?shares?恢复的数据,与自己的数据不匹配时,会向网络回应欺诈证明。
错误生成扩展数据的欺诈证明的组成:
错误的?shares?所在行或列的默克尔根。
这个行或列的默克尔根,在?dataRoot?对应的默克尔树中的默克尔证明。
这足够恢复这一行或列的?shares。
每个shares?在?dataRoot对应的默克尔树中的默克尔证明。
证明的验证:
验证blockhash,确定是对于哪个区块的欺诈证明。
验证证明中行或列的默克尔根的默克尔证明是否有效。注:VerifyMerkleProof(行或列的默克尔根,行或列的默克尔根的默克尔证明,dataRoot,长度,位置索引)其中前面2个数据是证明携带的数据,后面3个是本地数据。
验证证明中每个?shares?的默克尔证明是否有效。注:VerifyShareMerkleProof(shares,shares?的默克尔证明,dataRoot,长度,位置索引)其中?dataRoot是本地数据,另外数据都是从证明中获得。
通过收到的?shares,恢复这一行或列的所有数据,并验证其默克尔根是否等于自己之前收到的对应行或列的默克尔根。
数据可用性
通过2维RS纠删码,Celestia的轻节点通过随机抽样的方式,来获取区块数据,以及验证欺诈证明的相关数据。同时随机抽样的数据,并在网络中传播,当达到一定的数量时,也可以帮助网络恢复区块数据。下面介绍一下具体的工作流程:
轻节点从任意一个连接的全节点中获取一个新区块的块头,以及2k个行和2k个列的默克尔根。先用这些默克尔根与区块头中的?dataRoot?进行初步校验。如果错误则拒绝这个区块头。
在这个2k×2k的矩阵中,轻节点随机挑选一组不重复的坐标,将这些坐标发送给与自己相连的全节点们。
如果一个全节点拥有这些坐标所对应的所有数据,就会将这个坐标对应的?shares,以及?shares?的行或列的默克尔证明,回应给轻节点。
轻节点对于每一个收到的?shares,都会验证其默克尔证明是否有效。注:VerifyMerkleProof其中前面2个数据是证明携带的数据,后面3个是本地数据。
如果一个全节点没有回应某一个坐标的?shares,轻节点则会将自己收到的对应的shares、以及它的默克尔证明发送给这个全节点,这个全节点也会将收到的数据转发给相连的其他全节点。
如果步骤4中的验证都没有问题,并且步骤2中抽样的坐标都有收到回应,同时在一个设定的时间段内没有收到关于这个区块的欺诈证明,则轻节点认为这个区块是数据可用的。
親愛的ZT用戶:ZT創新板即將上線</article><divclass="news_detail_footer-ojvw"><divclass="detail_top-ojvw"&g.
1900/1/1 0:00:00一、项目介绍CreoEngine是一个游戏区块链平台,致力于为全球游戏开发者发布他们的游戏,类似于Steam商店分发其游戏库的方式,我们将平台命名为“CreoPlay”.
1900/1/1 0:00:00金色财经报道,加密贷款平台BlockFi已从Arnold&PorterKayeScholerLLP聘请说客,为数字资产金融服务提供商制定监管和税收政策.
1900/1/1 0:00:00尊敬的CloudExchange用户:CloudExchange即将上线TOWN、API3/USDT交易对.
1900/1/1 0:00:006月17日消息,波卡生态NFT公链UniqueNetwork宣布已在以太坊网络上购入CryptoPunk#3042,将把该NFT引入其KusamaNFT链Quartz.
1900/1/1 0:00:00活动时间:2022.06.1715:00—2022.06.2311:59(UTC8)参与条件:注册用户即可参与活动简介:赢碎片合成拼图,即可抽取价值200,000U的生日礼盒.
1900/1/1 0:00:00