火星链 火星链
Ctrl+D收藏火星链
首页 > 酷币 > 正文

ICE:数据可用性问题将如何影响以太坊发展?

作者:

时间:1900/1/1 0:00:00

本文来自Polygon,星球日报经授权转载。在这篇文章中,我们深入研究了数据可用性问题的细节以及它如何影响以太坊的扩展。什么是数据可用性问题?

数据可用性问题:区块链网络中的节点如何确保新提议区块的所有数据实际上是可用的?如果数据不可用,则该块可能包含被块生产者隐藏的恶意交易。举个例子,假设Alice是ZK-Rollup(ZKR)的运营商。她在以太坊上提交了经过验证的ZK证明。如果她没有在以太坊上提交所有交易数据,尽管她的证据证明rollup中进行的所有状态转换都是有效的,但rollup的用户仍然可能对其当前账户余额一无所知。由于提交的证明的零知识性质,提交的证明没有说明当前状态。OptimisticRollup(OPR)设置中有一个类似的例子,Alice在以太坊上提交了一个断言,但OPR的任何参与者都不能挑战它,因为交易数据不可用,因此他们无法重新计算或挑战该断言.为了应对上述情况,OPR和ZKR的设计都要求operator将以太坊上的所有交易细节作为“calldata”提交。虽然这使他们在短期内避免了DA问题,但随着rollup内部交易数量的增长,需要提交的数据量也会增加,从而限制了这些rollup可以提供的扩展量。这对如今的区块链有何影响?

以太坊基金会在Github发起数据可用性采样需求建议书:5月20日消息,以太坊基金会(EF)在Github发起数据可用性采样(DAS)的需求建议书(RPF),涉及数据可用性采样网络的研究、设计、调查、实现等。根据需求建议书,以太坊基金会希望可以获得旨在设计、完善、构建、分析和测试理论和实践DAS技术的建议,目前以太坊基金会已为该提案提供了150万美元资金。[2022/5/20 3:30:39]

为了回答这个问题,让我们首先回顾一下类似以太坊的区块链的一般区块结构以及任何区块链网络上存在的客户端类型。一个块可以分为两个主要部分:?区块头:一个小区块头包含与区块中包含的交易相关的摘要和元数据。?块体:它包含所有交易数据并占块大小的大部分。在传统的区块链协议中,所有节点都被视为同步整个区块并验证所有状态转换的完整节点。所有节点花费大量资源来检查交易有效性并存储区块。从好的方面来说,这些节点不会接受任何无效的交易。可能还有另一类节点没有资源来验证每笔交易。相反,他们主要对了解区块链的当前状态以及与他们相关的某些交易是否包含在链中感兴趣。这些轻客户端依靠全节点来检查所有交易是否有效。因此,在安全性方面,它们依赖于可信的全节点。但是如果区块生产者没有透露区块背后的全部数据呢?这可以防止全节点验证所有交易。这反过来又阻止了轻节点绝对确定它所看到的由所有合法交易支持的区块头。为了解决这个问题,我们需要一种轻客户端机制来验证数据可用性。这将确保区块生产者无法通过说服轻客户端来隐藏数据。它还将迫使区块生产者公开部分数据,使整个网络以协作的方式访问整个区块。让我们借助一个例子更深入地探讨这个问题。假设区块生产者Alice用交易tx1、tx2、……、txn构造了一个区块B。让我们假设tx1是恶意交易。如果tx1被广播,任何完整节点都可以验证它是恶意的,并将其发送给轻客户端,轻客户端会立即知道该块是不可接受的。但是,如果Alice想隐藏tx1,她会显示标头和除tx1之外的所有交易数据。全节点无法验证tx1的正确性。让轻节点查询任意一笔交易,均匀随机。轻客户端查询tx1的概率为1n。因此,Alice能够以压倒性的可能性轻客户端接受恶意交易。由于不可归因的性质,全节点无法以任何方式证明tx1不可用。那么,我们该怎么办呢?

Ciara Sun:区块链与分布式存储互相赋能,提升效率及数据可信度:2020年6月22日,由金色财经主办,节点咨询、IPFS100.com承办,星际特工、麦客存储联合主办的“星际漫游指南——IPFS技术与应用研讨论坛”在深圳拉开帷幕。论坛上Ciara, Vice President of Global Business of Huobi,在题为《审视行业新赛道和存储机会》的主题演讲中指出,预计2025年我国的数据量达到48.6ZB,传统的云存储系统很难保证数据安全和节点信任,存在泄露和被修改的风险,区块链和分布式存储可以保证数据安全、一致、不可篡改。未来区块链分布式存储主要的应用场景,有存储基础设施和点对点内容分发。[2020/6/22]

该问题的解决方案在于在块中引入冗余。总的来说,有大量关于编码理论的文献,特别是擦除编码,可以帮助我们解决这个问题。简而言之,纠删码允许我们将任何n个数据块扩展为2个数据块,其中2n个数据块中的任何一个都足以重建原始数据块。如果我们强制区块生产者擦除交易tx1、tx2、...、txn的代码,然后隐藏单个交易,则需要隐藏n+1个交易,因为任何足以构建整个交易集的交易。在这种情况下,恒定数量的查询使轻客户端足以确信底层数据确实可用。哇,原来如此?

金色相对论 | BSN副秘书长李慧:区块链主要解决的是数据可追溯、多方互信等问题:在今日举行的金色相对论中,针对“区块链落地的爆发点会在哪儿”的问题,火币区块链研究院副院长区块链服务网络(BSN)副秘书长李慧表示,区块链主要解决的是数据可追溯、多方协同以及多方互信等问题,涉及到多方的问题,通常都是比较复杂的问题,需要大家一起来配合。但在实际落地实施的过程中总会碰到这样那样的问题,如果没有一个强有力的执行方和推动方,很可能一个很好的项目就会搁置起来,难以落地,我们也不难从很多失败的区块链项目看到这样的情景再现。最好的落地场景,我认为在当前阶段如要满足以下几个特点,才有较高的落地成功概率。

1.有真实的业务痛点和需求,除了区块链技术其它技术是很难解决的;

2.应用场景业务复杂度不高,能够快速做试点,并有良好的可复制性;

3.参与各方利益目标一致,可以实现“共赢”;

4.有实际的推动方,有促成项目成功的强烈愿望和需求。[2020/6/3]

不。虽然这个简单的技巧使隐藏工作变得更加困难,但区块生产者仍有可能故意以错误的方式执行擦除编码。然而,一个完整的节点可以验证这个擦除编码是否正确完成,如果没有,它可以向轻客户端证明这一点。这被称为欺诈证明。有趣的是,轻客户端需要有一个诚实的全节点邻居才能确定如果编码错误,那么它将收到欺诈证明。这确保了轻客户端以极高的概率访问没有恶意交易的链。但是存在一个问题!如果简单地实现,欺诈证明的大小可以按照块本身的大小排序。但我们对轻客户端的资源预设禁止我们使用这样的设计。通过使用多维擦除编码技术,可以在这方面有所改进,该技术以可接受的大小减少欺诈证明的大小。为简洁起见,我们不涉及这些,但该文献对其进行了详细分析。基于欺诈证明的解决方案的问题在于,轻客户端永远无法完全确定尚未收到欺诈证明的任何块。此外,他们一直相信其全节点对等方是诚实的。还需要激励诚实的节点不断保持审计区块。有没有办法避免欺诈证明?

研究人员称Zcash元数据可能存在隐私性漏洞 但暂未对区块链构成威胁:5月13日消息,近日隐私协议Hush开发人员发布一份报告称,Zcash的元数据中可能存在漏洞,使得攻击者可能利用该协议而使用其中某些程序。研究称,如果有足够多的资金,攻击者可以分析源自Zcash协议的短时数据和交易输出,从而形成可链接的漏洞,该漏洞可以将交易与某些用户行为联系起来,进而可以联系到用户个人身份。而其他诸如比特币分叉币和基于MimbleWimble协议的加密货币也面临着类似的威胁。

但同时研究指出,Zcash的zk-snark协议仍然是可靠的,并且在数学上不会对区块链构成重大威胁。不过,不良行为者可能会潜在地利用该机制,特别是其共识规则和事务格式协议来发掘用户的信息并取消匿名。(CryptoSlate)[2020/5/13]

最近,向量承诺重新引起了区块链领域的关注。这些向量承诺,尤其是对多项式的恒定大小的KZG/Kate承诺,可用于设计简洁的DA方案,而无需欺诈证明。简而言之,Kate承诺允许我们使用单个组元素提交多项式。此外,该方案支持我们证明在某个点i使用恒定大小的见证,多项式评估为。承诺方案在计算上是隐藏和绑定的,也是同态的,使我们能够巧妙地避免欺诈证明。我们强制块生产者获取原始交易数据并将其排列在大小为n,m的二维矩阵中。它使用多项式插值将大小为n的每一列扩展为大小为2n的列。对于这个扩展矩阵的每一行,它都会生成一个多项式承诺,并将这些承诺作为区块头的一部分发送。下面给出了该块的示意图。轻客户端查询这个扩展矩阵的任何单元格以获得见证,这使它能够立即根据块头验证它。恒定大小的成员证明使抽样非常有效。承诺的同态性质确保只有在正确构造块的情况下才验证证明,并且多项式插值确保成功样本的恒定数量意味着数据以非常高的概率可用。

动态 | 面向智慧城市数据可信交换的区块链产品“城市链”在物博会首发:据新华网消息,2018世界物联网博览会期间,26份研究报告和61项新技术新产品新应用成果集中展现。Gartner《物联网助推数字经济新发展——世界物联网发展蓝皮书》、中国经济信息社《2017-2018中国物联网发展年度报告》以及全球首个面向未来智慧城市的数据可信交换的区块链产品——“城市链”的概念和企划在物博会上首发,《工业物联网白皮书(互联互通篇)》《医疗健康物联网白皮书(2018)》等重量级报告发布。[2018/9/19]

该方案的更精细细节以及进一步的优化和成本估算超出了本文的范围。其他选择是什么,以及进一步变更是什么?

更高维的擦除代码和Kate承诺并不是解决DA问题的唯一方法。我们在这里跳过了其他方法,如编码默克尔树、编码交错树、基于FRI和STARK的方法,但每种方法都有其优点和缺点。我们在Polygon,一直在使用Kate承诺开发数据可用性解决方案。在后面的文章中,我们将介绍实现细节、您现在可以如何使用它以及我们如何致力于转变DA问题空间。

标签:区块链以太坊ROLLICE以下哪项不是区块链目前的分类以太坊交易所排名TROLLBNBslice币价格

酷币热门资讯
DEFI:DeFi利率下行趋近传统金融,用户们还会来“存币”吗?

Odaily星球日报译者|AzumaDeFi的借贷利率正呈现出明显的下降趋势,这带来了一个新的问题:如果DeFi的收益率进一步下降,与传统金融趋同,将会发生些什么?LoanScan数据显示.

1900/1/1 0:00:00
ALT:?占星术能帮你理解数字货币吗? Maren Altman和她100万抖音粉丝的故事

Odaily星球日报译者|Moni MarenAltman不是TikTok的忠实粉丝,但却意外收获了100万粉丝.

1900/1/1 0:00:00
VAL:Hackernoon专访XCarnival CEO Leon Liu:为何我们需要更好的合成资产

随着合成资产越来越受市场欢迎,我联系了专注于金融行业合成资产方面的XCarnivalDeFi项目的创始人.

1900/1/1 0:00:00
数字人:数字人民币真的来了,它将如何影响每个人的生活?

6月5日,继深圳、北京等地相继向居民发放数字人民币红包之后,上海也紧随其后,开启“数字人民币五五欢乐购”红包活动——共计35万份,每份金额55元.

1900/1/1 0:00:00
数字货币:华尔街日报:为退休储蓄?不妨考虑下比特币

Odaily星球日报译者|念银思唐作为世界上最不稳定的资产之一,加密货币正在寻求投资界的主流认可。它们的下一个目标:你的退休投资组合.

1900/1/1 0:00:00
区块链:一览Swarm最新发布的官方白皮书

本文为Swarm官方最新发布的白皮书全文,由蓝贝壳云储整理翻译,星球日报经授权发布。内容仅供参考,最终请以官方白皮书中内容为准.

1900/1/1 0:00:00