火星链 火星链
Ctrl+D收藏火星链

区块链:分析 | 数据可用性问题将如何影响以太坊扩容?

作者:

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

来源:Polygon

原文标题:《数据可用性问题》

撰文:Polygon

在这篇文章中,我们深入研究了数据可用性问题的细节以及它如何影响以太坊的扩展。

什么是数据可用性问题?

数据可用性问题:区块链网络中的节点如何确保新提议区块的所有数据实际上是可用的?如果数据不可用,则该块可能包含被块生产者隐藏的恶意交易。

举个例子,假设Alice是ZK-Rollup(ZKR)的运营商。她在以太坊上提交了经过验证的ZK证明。如果她没有在以太坊上提交所有交易数据,尽管她的证据证明rollup中进行的所有状态转换都是有效的,但rollup的用户仍然可能对其当前账户余额一无所知。由于提交的证明的零知识性质,提交的证明没有说明当前状态。

OptimisticRollup(OPR)设置中有一个类似的例子,Alice在以太坊上提交了一个断言,但OPR的任何参与者都不能挑战它,因为交易数据不可用,因此他们无法重新计算或挑战该断言。

分析 | BTC交易者获利了结速度飙升 创今年新高:加密数据公司Glassnode的一名分析师表示,一项鲜为人知的比特币指标突然飙升,表明交易者目前获利了结的速度创今年新高。该指标为“比特币平均花费输出生命周期(ASOL)”,其小时图表显示,曾经休眠长达250天的比特币现在正在被转移。据Rafael Schultze-Kraft称,这一指标飙升表明,交易员可能会将比特币转到交易所套现。注:获利了结是指当股价(此处指币价)比自己的买入价高时(当然还要扣除交易手续费和印花税),投资者在理论上就已经获得了一个差价盈利。但这个盈利还只是停留在账面上,只要股票(币)一天没抛出,就有重新跌下来的可能。获利后顺利在高位抛出股票(币),将账面利润转化为现金实利。(The Daily Hodl)[2019/11/16]

为了应对上述情况,OPR和ZKR的设计都要求operator将以太坊上的所有交易细节作为「calldata」提交。虽然这使他们在短期内避免了DA问题,但随着rollup内部交易数量的增长,需要提交的数据量也会增加,从而限制了这些rollup可以提供的扩展量。

分析 | BTC大空头即将降临:据Huobi数据显示,BTC现报10192美元,日内涨幅-0.06%。针对当前走势,金色盘面特邀TLAB分析师Terry表示:昨晚XRP成功接力ETH,EOS等二线币种出现大涨,形成完美助攻,市场做多气氛良好,但BTC继续弱势震荡,跟随意愿不强。从走势上来看,BTC4小时大结构已经到压缩末端,后面出行情的力度会很大,稳健的管住手,等出行情再操作。[2019/9/18]

这对如今的区块链有何影响?

为了回答这个问题,让我们首先回顾一下类似以太坊的区块链的一般区块结构以及任何区块链网络上存在的客户端类型。

一个块可以分为两个主要部分:

区块头:一个小区块头包含与区块中包含的交易相关的摘要和元数据。块体:它包含所有交易数据并占块大小的大部分。在传统的区块链协议中,所有节点都被视为同步整个区块并验证所有状态转换的完整节点。所有节点花费大量资源来检查交易有效性并存储区块。从好的方面来说,这些节点不会接受任何无效的交易。

分析 | 比特币持有者需要持有平均1,335天后可最大化获利:据Cointelegraph 9月9日消息,根据BitcoinEconomics.io分析,比特币持有者需要持有平均1,335天或大约3年零8个月可最大化获利,时间与减半期的四年周期长度相关。从比特币中获利主要是等待。持有比特币317天会给你75%的获利机会,持有比特币35天的利润率为60%。[2019/9/9]

可能还有另一类节点没有资源来验证每笔交易。相反,他们主要对了解区块链的当前状态以及与他们相关的某些交易是否包含在链中感兴趣。这些轻客户端依靠全节点来检查所有交易是否有效。因此,在安全性方面,它们依赖于可信的全节点。

但是如果区块生产者没有透露区块背后的全部数据呢?这可以防止全节点验证所有交易。这反过来又阻止了轻节点绝对确定它所看到的由所有合法交易支持的区块头。

分析 | 空头抓住回调机会猛烈打压 市场趋于合理价值区间:据链塔数据平台数据显示,链塔数字货币整体指数(BI)今日11时报1152点,相较昨日下跌120点,跌幅9.43%。24h内市值前10的货币全线下跌,ADA跌幅最高,为18.22%,加密货币市场市值回落至2400亿美元。昨日市场整体补涨拉升后,今天开始回调,多数昨日涨幅10%-20%的货币,今天均出现10%左右跌幅,基本回落至昨日启动前位置或更低位置。分析原因为昨日已指出的共识大会结束,空头势力开始抓住回调机会反扑。同时短期大幅拉升行情中,缺乏稳固的支撑,导致此前的价格十分容易被简单的量能打破。在正常的市场回调过程中,空头发力致使市场下挫加剧,导致超出正常回调幅度。目前BTC已跌破第一段阻力位7500点,在7300点上下波动,下一个短期支撑点在7016点。预计本段下跌后,市场将趋于目前较为理性区间。BTC长期维持看涨,短期预估止跌后将调整至7500点左右位置,然后继续量能向上,有接近7000点的机会可以适当建仓。目前市场波动过大,是波段套利的好机会,但需要谨慎选择点位。[2019/5/17]

为了解决这个问题,我们需要一种轻客户端机制来验证数据可用性。这将确保区块生产者无法通过说服轻客户端来隐藏数据。它还将迫使区块生产者公开部分数据,使整个网络以协作的方式访问整个区块。

分析 | BTC场外交易活跃,新增地址数延续上行:据TokenInsight数据显示,反映区块链行业整体表现的TI指数北京时间04月07日8时报487.31点,较昨日同期上涨0.97点,涨幅为0.2%。此外,在TokenInsight密切关注的28个细分行业中,24小时内涨幅最高的为能源与采矿应用行业,涨幅为4.92%;24小时内跌幅最高的为社交与内容平台行业,跌幅为8.98%。

据监测显示,BTC活跃地址数和转账数分别较前日下降32.35%和7.42%。BCtrend分析师Jeffrey认为,BTC场外交易活跃,新增地址数延续上行,短期盘整向上。[2019/4/7]

让我们借助一个例子更深入地探讨这个问题。假设区块生产者Alice用交易tx1、tx2、……、txn构造了一个区块B。让我们假设tx1是恶意交易。如果tx1被广播,任何完整节点都可以验证它是恶意的,并将其发送给轻客户端,轻客户端会立即知道该块是不可接受的。但是,如果Alice想隐藏tx1,她会显示标头和除tx1之外的所有交易数据。全节点无法验证tx1的正确性。让轻节点查询任意一笔交易,均匀随机。轻客户端查询tx1的概率为1n。因此,Alice能够以压倒性的可能性轻客户端接受恶意交易。由于不可归因的性质,全节点无法以任何方式证明tx1不可用。

那么,我们该怎么办呢?

该问题的解决方案在于在块中引入冗余。总的来说,有大量关于编码理论的文献,特别是擦除编码,可以帮助我们解决这个问题。

简而言之,纠删码允许我们将任何n个数据块扩展为2个数据块,其中2n个数据块中的任何一个都足以重建原始数据块。

如果我们强制区块生产者擦除交易tx1、tx2、...、txn的代码,然后隐藏单个交易,则需要隐藏n+1个交易,因为任何足以构建整个交易集的交易。在这种情况下,恒定数量的查询使轻客户端足以确信底层数据确实可用。

哇,原来如此?

不。虽然这个简单的技巧使隐藏工作变得更加困难,但区块生产者仍有可能故意以错误的方式执行擦除编码。然而,一个完整的节点可以验证这个擦除编码是否正确完成,如果没有,它可以向轻客户端证明这一点。这被称为欺诈证明。有趣的是,轻客户端需要有一个诚实的全节点邻居才能确定如果编码错误,那么它将收到欺诈证明。这确保了轻客户端以极高的概率访问没有恶意交易的链。

但是存在一个问题!如果简单地实现,欺诈证明的大小可以按照块本身的大小排序。但我们对轻客户端的资源预设禁止我们使用这样的设计。通过使用多维擦除编码技术,可以在这方面有所改进,该技术以可接受的大小减少欺诈证明的大小。为简洁起见,我们不涉及这些,但该文献对其进行了详细分析。

基于欺诈证明的解决方案的问题在于,轻客户端永远无法完全确定尚未收到欺诈证明的任何块。此外,他们一直相信其全节点对等方是诚实的。还需要激励诚实的节点不断保持审计区块。

有没有办法避免欺诈证明?

最近,向量承诺重新引起了区块链领域的关注。这些向量承诺,尤其是对多项式的恒定大小的KZG/Kate承诺,可用于设计简洁的DA方案,而无需欺诈证明。简而言之,Kate承诺允许我们使用单个组元素提交多项式。此外,该方案支持我们证明在某个点i使用恒定大小的见证,多项式评估为。承诺方案在计算上是隐藏和绑定的,也是同态的,使我们能够巧妙地避免欺诈证明。

我们强制块生产者获取原始交易数据并将其排列在大小为n,m的二维矩阵中。它使用多项式插值将大小为n的每一列扩展为大小为2n的列。对于这个扩展矩阵的每一行,它都会生成一个多项式承诺,并将这些承诺作为区块头的一部分发送。下面给出了该块的示意图。

轻客户端查询这个扩展矩阵的任何单元格以获得见证,这使它能够立即根据块头验证它。恒定大小的成员证明使抽样非常有效。承诺的同态性质确保只有在正确构造块的情况下才验证证明,并且多项式插值确保成功样本的恒定数量意味着数据以非常高的概率可用。

该方案的更精细细节以及进一步的优化和成本估算超出了本文的范围。

其他选择是什么,以及进一步变更是什么?

更高维的擦除代码和Kate承诺并不是解决DA问题的唯一方法。我们在这里跳过了其他方法,如编码默克尔树、编码交错树、基于FRI和STARK的方法,但每种方法都有其优点和缺点。

我们在Polygon,一直在使用Kate承诺开发数据可用性解决方案。在后面的文章中,我们将介绍实现细节、您现在可以如何使用它以及我们如何致力于转变DA问题空间。

来源链接:blog.polygon.technology

标签:BTC比特币区块链ROLLDOGEBTC比特币是什么东西怎么产生的区块链是什么概念The Troller Coin

以太坊价格热门资讯
数字人:北京外国语大学曲强:比特币作为锚定着广大地下经济的一种记账载体,已经很难被杀死

据环球网6月29日报道,北京外国语大学南方研究院曲强近日表示,本质上,无论是地下发行的虚拟货币,还是没有任何价值的各类杂牌货币,甚至包括跨国公司自己发行的虚拟货币在内.

1900/1/1 0:00:00
VEN:波卡生态多链智能合约平台ParaState完成550万美元融资

巴比特讯,7月15日,波卡生态多链智能合约平台ParaState宣布完成550万美元融资,HyperChainCapital领投.

1900/1/1 0:00:00
Anyswap:Anyswap相同的 R 值签名,损失金额$ 7,870,000

跨链桥项目Anyswap发布公告表示,新推出的V3跨链流动性池在昨日凌晨遭到黑客攻击,总计损失为239万USDC与550万MIM,根据Etherscan显示.

1900/1/1 0:00:00
MINA:O(1) Labs 首席执行官 Evan Shapiro 将担任 Mina 基金会首席执行官

巴比特讯,O(1)Labs首席执行官兼Mina基金会董事EvanShapiro将担任Mina基金会首席执行官.

1900/1/1 0:00:00
FILDA:观察 | 滴滴启示录:区块链+隐私计算如何助力数据安全?

编辑|欧科云链研究员出品|欧科云链集团身处互联网时代,人们似乎已经习惯了用隐私换取便利。“欢迎下载App,是否同意个人隐私政策?”“是否允许使用您的位置?”“是否允许同步通讯录联系人?”……面临.

1900/1/1 0:00:00
DSC:DSCVR——DFINITY上的Reddit平台

DSCVR是一个基于DFINITY开发的去中心化社交内容平台,准备对标Reddit,目前正处于测试版.

1900/1/1 0:00:00