注:原文来自medium,作者是BlockchainCapital高级分析师YuanHanLi。
你可能听说过,以太坊的分片路线图基本上已取消了执行分片,现在它只专注于数据分片,以最大限度地提高以太坊的数据空间吞吐量。
你可能还在最近看到了关于模块化区块链的讨论,深入研究了rollup并了解了volition或validium?,然后听说了“数据可用性解决方案”。
但也许你会产生困惑,挠了挠头,然后问自己数据可用性到底是什么?
在我们深入研究之前,复习一下大多数区块链是如何工作的基础知识,可能会有所帮助。
交易、节点以及著名的“区块链不可能三角”
当你遇到一个新的带有高APY的OHM分叉项目时,你的下一步行动可能就是猛按“stake”按钮,但是当你实际通过Metamask提交该tx时会发生什么?
简单地说,你的交易会进入mempool存储池,假设你给矿工或验证者的贿赂足够高,你提交的交易就会被纳入到下一个区块中,并被添加至区块链。然后,包含你的交易的这个区块,会被广播到区块链节点的网络。全节点将下载这个新区块,执行/计算该区块中包含的每笔交易,并确保它们都是有效的。例如,对于你的交易,这些全节点可能验证你没有从其他人那里窃取资金,并且你实际上有足够的ETH来支付gas费用等等。因此,全节点执行了有关矿工/验证者的强制区块链规则的重要任务。
密码管理器KeePass修复允许检索主密码的漏洞:金色财经报道,SlowMist发布安全警报,密码管理器KeePass最近修复了一个允许检索主密码的漏洞。可利用此漏洞从软件内存中检索明文主密码。目前PoC已经公开,暂无补丁。使用本软件的用户注意资产风险。[2023/5/22 15:18:36]
正是由于这种机制,导致传统区块链遇到了扩容方面的问题,由于全节点检查每笔交易以验证它们是否遵循区块链的规则,区块链无法在不增加运行全节点的硬件要求的情况下,每秒去处理更多的tx。但是,如果运行全节点的硬件要求提高,那么全节点的数量就会减少,系统的去中心化属性就会受到影响。也就是说,如果检查矿工/验证器工作以保持诚实的人减少,这将是危险的!
要让数据可用的需要,是我们无法同时拥有全部3个区块链属性的主要原因之一
该机制还描述了在传统单体区块链中保证数据可用性的重要性:区块生产者必须广播并提供来自其产生的区块的交易数据,以便全节点可以检查其工作。如果区块生产者不让其生产的区块中的交易数据可用,我们将处于这样一种情况:即全节点无法检查他们的工作并通过执行区块链的规则集来保持矿工/验证者的诚实!
现在你了解了,为什么数据可用性在传统的单体区块链中很重要,让我们来继续讨论,它如何影响大家最喜欢的可扩展性解决方案——rollup。
在Rollup环境中,数据可用性的重要性
BTFS节点金库合约数超过300万:据官方最新消息,BitTorrent File System(BTFS) 节点金库合约数超过300万。合约数据可通过BTFS SCAN浏览器进行查看。
据悉,BitTorrent 文件系统(BTFS)既是一种协议,也是一种网络应用,它提供了一种内容可寻址的点对点机制,用于在去中心化的文件系统中存储和共享数字化内容,同时,它也为去中心化应用(Dapp)提供了一个基础平台。BTFS团队一直在根据最新的网络运行情况和BTT市场行情等,进行上传价格、空投奖励方案等一系列动态调整。[2023/2/7 11:51:51]
让我们首先回顾一下rollup是如何帮助解决可扩展性问题的:与其提高运行全节点的硬件要求,不如减少全节点必须检查是否有效的tx数量?我们可通过将tx计算和执行从全节点转移到功能更强大的计算机来实现这一点。
那这不意味着我们必须相信定序器吗?如果要保持低的全节点硬件要求,那么在尝试检查定序器的工作时肯定会落后于定序器。
那么,我们如何确保该定序器提出的新区块是有效的?考虑到它已经被反复提过,我相信你已经知道了这个问题的答案,但请耐心等待:
对于OptimisticRollup,我们依靠称为欺诈证明的东西来保持定序器是诚实的。但如果我们希望其他人能够计算欺诈证明,他们将需要定序器执行的交易中的tx数据才能提交欺诈证明。换句话说,定序器必须使tx数据可用,否则的话,没有人能够保证optimisticrollup的定序器是诚实的!
RTFKT:web3运动鞋只针对美国用户是“由于先进技术和产品监管”:金色财经报道,此前耐克旗下的数字时尚和收藏品公司RTFKT宣布推出“第一款原生web3运动鞋”。这双鞋的公开铸币于12月14日开始,只有美国的用户才能买到这双鞋,此举激怒了其他地方的一些用户,他们在Twitter上表达了他们的不满。
对此,RTFKT公司表示,地域限制是“由于先进技术和产品监管”。[2022/12/7 21:27:18]
而在ZKRollup的情况下,要保持定序器诚实就简单多了:定序器在执行一批tx时,必须提交有效性证明,而这种有效性证明可保证没有任何tx是无效的/恶意的。此外,任何人都可以轻松验证提交的证明。但对于ZKRollup的定序器来说,让数据可用仍然是非常重要的。这是因为,作为上述rollup的用户,如果我们想使用垃圾币,我们需要知道Rollup上的账户余额是多少。如果交易数据不可用,我们将无法知道我们的帐户余额如何,并且将无法再与rollup进行交互。
请注意,以上内容让我们确切地看到了,为什么人们一直在吹捧rollup。鉴于全节点不需要跟上定序器,为什么不让定序器成为一台功能强大的计算机呢?这将使定序器每秒执行的tx量达到可怕的程度,从而降低gas费用,让每个人都感到高兴。但是,你还记得定序器需要如何使tx数据可用吗?这意味着即使定序器是一台真正的超级计算机,它每秒实际可计算的tx数量,仍将受到其使用的底层数据可用性解决方案/层的数据吞吐量的限制。
简而言之,如果rollup所使用的数据可用性解决方案/层,无法跟上rollup的定序器希望转储到其上的数据量,那么定序器即使愿意,也无法处理更多的tx,这会导致我们今天在以太坊上看到的gas费用飙升的情况。
这正是数据可用性极其重要的原因:保证数据可用性使我们能够确保rollup定序器的行为,如果rollup要最大化其tx吞吐量,则最大化数据可用性解决方案/层的数据空间吞吐量是至关重要的。
数据:A股共26家公司涉足数字藏品,但仅3家披露相关营收:金色财经报道,数据显示,截至目前A股中共有26家上市公司涉足数字藏品,其中有12家推出了自己的数藏平台,不过只有3家公布了数字藏品相关的营收情况,分别是曲江文旅、浙江富润、视觉中国。整体而言,目前数字藏品营收占上市公司总营收的比例微乎其微,很多上市公司的数字藏品业务是纯粹投入但很少有营收。[2022/9/10 13:21:30]
但是细心的读者可能会意识到,我们实际上还没有完全解决确保定序器正常工作的问题。如果rollup结算的“父”区块链的全节点不需要跟上定序器,定序器可以选择扣留大部分交易数据。父区块链的节点如何强制定序器将数据转储到数据可用性层?如果节点无法强制执行,我们实际上在可扩展性方面没有取得任何进展,因为我们将被迫信任定序器,或者自己去购买超级计算机!
这一问题就被称为“数据可用性问题”。
“数据可用性问题”的解决方案
数据可用性问题最显而易见的解决方案,就是强制全节点将定序器转储的所有数据下载到数据可用性层/解决方案,但我们知道,这并不现实,因为它需要全节点跟上定序器的tx计算速率,从而提高了运行全节点的硬件要求。
因此很明显,我们需要一个更好的解决方案来解决这个问题,而且,我们确实有一个好的解决方案!
数据可用性证明
每次定序器转储一个新的tx数据区块时,节点可使用称为数据可用性证明的新发明“采样”数据,确保定序器确实提供了数据。
这些数据可用性证明的实际工作原理非常复杂,但无论如何,我都会去尽力解释。
我们可以首先要求对定序器转储的tx数据块进行纠删码,这基本上意味着减半原始数据大小,然后新的/额外的数据用冗余片段编码。通过对数据进行纠删码处理,我们可以用任意50%的纠删码数据恢复全部原始数据。
多链钱包XDEFI即将支持Arbitrum和Fantom:6月5日消息,多链钱包XDEFIWallet宣布即将支持Arbitrum和Fantom网络,目前这两种集成还在测试中。[2022/6/5 4:03:22]
但是请注意,通过对tx数据块进行纠删码,这将需要行为不端的定序器扣留超过50%的区块数据。如果该区块没有被纠删码,定序器可能会因为只扣留了1%的数据而出现错误-因此通过对数据进行纠删码,我们已经大大提高了全节点可以拥有的置信度,即定序器确实在使数据可用。
尽管如此,我们希望尽可能多地保证定序器使所有数据可用,理想情况下,我们希望像直接下载整个tx数据块一样自信。事实上,这是可能的:全节点可随机选择从区块中下载一些数据。如果定序器行为不端,全节点被愚弄的可能性<50%,即当定序器试图扣留数据时,随机下载一段数据。这是因为,如果定序器试图行为不端并扣留数据,请记住,他们必须扣留>50%的纠删码数据。
请注意,这意味着通过再次执行此操作,全节点可以大大降低被的可能性。通过随机选择另一块数据进行第二次下载,被的可能性将小于25%。事实上,当一个全节点第七次尝试随机下载一部分数据时,它未能检测到定序器正在扣留数据的可能性将小于1%。
这一过程就被称为数据可用性证明抽样,或简称为数据可用性抽样。它的效率是令人难以置信的,因为这意味着节点可以只下载父区块链上定序器发布的完整数据块的一部分,并且具有与下载和检查整个数据块基本相同的保证。为了确保我真正把这一点牢记在心:想象一下,如果在附近散步10分钟所消耗的热量,与跑步10公里所消耗的热量一样多。这就是数据可用性采样技术的突破性意义。
通过让父区块链的全节点能够进行数据可用性采样,我们现在已经解决了我们之前的困境,即如何确保rollup定序器不会出现错误行为。我们现在都觉得很开心了,因为我们可以相信rollup确实能够扩展我们最喜欢的区块链。但是,等一下,在你停止阅读这篇文章之前,请记住,如果我们想要让区块链被全世界的人使用,我们仍然需要找到一种方法来扩展数据可用性本身。我们需要rollup,如果我们希望用rollup来扩展区块链,我们不仅需要削弱定序器作恶的能力,我们还必须扩展数据空间吞吐量,以便定序器有一个廉价的地方来转储其tx数据。
数据可用性证明也是扩展数据空间吞吐量的关键
目前,以太坊作为最知名的L1公链,其路线图侧重于扩展数据空间吞吐量。以太坊希望通过数据分片来实现这一点,这本质上意味着并非每个验证器都会继续下载与节点当前相同的tx数据。相反,以太坊将把它的验证器网络分成不同的分区,如果你有1000个验证器,所有这些验证器都用来存储相同的数据,而你将其分成4组,每组250个验证器,那么用于转储数据的rollup可用空间就突然增加了4倍!这听上去很简单,对吧?
以太坊近期的数据分片路线图争取实现64个数据分片
然而,问题是,分片内的验证器只会下载转储到其分片的tx数据。这意味着,一个分片中的验证器不能保证定序器转储的所有数据都是可用的,它们只能保证转储到其分片区的数据是可用的,但不能保证其余数据可用于其他分片。
这意味着我们会遇到这样一种情况,即一个分片中的验证器无法确保定序器没有出现错误,因为它们不知道其他分片中发生了什么,这就是我们的朋友再次派上用场的地方。如果你是一个分片中的验证者,那么你可以在每个其他分片中使用数据可用性证明简单地采样数据可用性!这将为你提供基本相同的保证,就像你是每个分片中的验证者一样,从而允许以太坊安全地实现数据分片。
还有其他的区块链,它们希望扩展到海量的数据空间吞吐量。与大多数其他区块链不同,Celestia和PolygonAvail仅寻求做两件事:排序区块和交易,并成为数据可用性层。这意味着要保持Celestia/PolygonAvail的验证器诚实,重要的是要有一个去中心化的节点网络,以确保验证器确实正确地存储和排序tx数据。但是,由于不需要解释这些数据,你不需要一个全节点来保证验证器的行为!相反,执行数据可用性采样的轻节点,将具有与全节点基本相同的保证,并且有许多轻节点采样数据可用性证明将足以让验证器负责保证数据可用性。这意味着,只要有足够多的节点使用数据可用性证明对数据可用性进行采样,你可以使区块大小更大并增加验证器的硬件要求,从而提高数据空间吞吐量。
现在,总结一下:数据可用性问题可能是区块链三难困境的症结所在,它影响到了我们所有的扩容工作。幸运的是,我们能通过数据可用性证明的核心技术,来解决数据可用性问题。这使我们能够大规模地扩展数据空间吞吐量,为rollup提供了一个廉价的地方来转储足够的tx数据来处理足够的tx,以供全球人口使用。此外,数据可用性证明意味着我们不必信任rollup定序器,我们可以让它们保持诚实并验证它们的行为。现在,希望这篇文章可以帮助你准确理解,为什么数据可用性对rollup发挥其全部潜力而言是至关重要的。
想更深入一些吗?我建议你钻进以下的兔子洞:
最初的论文提出了一个欺诈和数据可用性证明系统,以提高轻客户端安全性并扩展区块链。更容易理解以及更简短的版本?。以太坊以rollup为中心的路线图?。Vitalik演讲:2020年及以后如何扩展以太坊?JohnAdler谈论数据可用性问题?IsmailKhoffi谈论Celestia?zkSync的AngelaLu、Arbitrum的DanielGoldman以及FuelLabs的JohnAdler一起录制的内容?,为我们提供了Rollup和以太坊数据分片路线图的很多信息。
扩展现实技术已经不是什么新鲜事了,但我们与这些技术的互动方式在过去几年中发生了急速的变化。随着越来越多的企业在这一领域争夺霸主地位,这些创新技术的前景对许多人来说变得有些迷茫和不确定.
1900/1/1 0:00:00区块链作为一种创新技术实现了迅猛发展,其影响力正延伸至保险行业的各个细分市场,包括农作物保险、航班延误险、航运险以及现场活动险.
1900/1/1 0:00:00原文作者:VitalikButerin实际上,跨链桥的基本安全局限性是我对多链区块链生态系统持乐观态度的一个关键原因,我对跨链应用持悲观态度.
1900/1/1 0:00:00据Decrypt12月30日消息,以太坊虚拟土地项目TheSandbox联合创始人兼首席运营官SebastienBorget在接受采访时表示.
1900/1/1 0:00:00此次突如其来的疫情将人们的线下生活转移到了线上,社会互动和影响力也在稳步向虚拟迈进,真实和虚拟的黏结似乎变得更加紧密.
1900/1/1 0:00:00“UltimaIV是我希望玩家像他们个人一样那样回应我所说的‘道德困境和伦理挑战’的第一款游戏.
1900/1/1 0:00:00