最近,人们讨论了矿工采用假定被修改的以太坊客户端的可能性,该客户端允许他们接受贿赂,并在选定的区块中对交易进行排列。。
在这篇文章中,我们将解释为什么这种攻击模式在以太坊2.0合并后将更难执行。
什么是分叉选择规则,为什么它很重要?
分叉选择规则是一个由客户端评估的函数,它把已经看到的区块和其他消息的集合作为输入,并向客户端输出"典型链"是什么。分叉选择规则是必要的,因为可能有多个有效的链可以选择。
重组是一个特殊事件,在这个事件中,曾经是经典链的一部分的区块不再是经典链的一部分,因为一个竞争区块击败了它。最终性是指分叉选择规则对某一区块非常有利,以至于该区块在数学上不可能被重合的情况。
在一些分叉选择规则中,重组是不可能发生的;分叉选择规则只是通过添加任何已经通过BFT共识并最终确定的区块来扩展现有的链。在其他分叉选择规则中,重组是非常频繁的。
以太坊的现状是什么?
在以太坊这样的工作量证明(PoW)区块链中,我们通常会看到"最长链规则"。这意味着,当客户端发现2条区块链时,它会选择总难度最高的一条。
举个例子,假设区块的难度可以是100或110,想象一下下面的场景。
1.我们从难度为100的区块1开始进行同步。
Theta Labs的“具有灵活文件分片的去中心化边缘存储网络”已获得美国专利:金色财经报道,据官方博客,去中心化流媒体平台Theta Network运营商 Theta Labs宣布,其去中心化边缘网络的创新方法,即“具有灵活文件分片的去中心化边缘存储网络”已获得美国专利,专利号为11,611,615 B1。Theta Labs称,Theta Edge Network利用灵活文件分片等专利技术实现了高扩展性和高资源可用性。(Medium)[2023/3/29 13:32:28]
2.区块2a和3a分别以100的难度到达,我们将它们插入我们的链中,形成一个总难度为300的分叉。
3.难度为110的区块3b到达,宣布2a为其父方,形成总难度为310的分叉。分叉选择规则将注意到"最重"的链现在是第二个分叉,并将切换到它。这是1个块的重组,因为只有块3a被改变了。请注意,这些区块并没有被完全丢弃,因为可能会有一个新的区块到达,导致分叉选择切换回第一个分叉上。
4.2b和3c区块到达,每个区块的难度都是110,创造了一个总难度为320的新分叉!这意味着分叉选择的难度是320。按照分叉选择规则现在将使用2b而不是2a,3c而不是3b,这些都是上一个经典链中的区块。这是一个2个区块的重新组合。
你可以看到这将会发生什么。如果一个新的区块4a到达,宣布3a为其父链,分叉选择规则将切换回第一个分叉,以此类推。
BUK Technology完成10万美元pre-seed轮融资,Polygon Studios联创领投:11月29日消息,基于NFT的代币化客房预订和转售平台BUK Technology宣布完成10万美元pre-seed轮融资,Polygon Studios联合创始人Sandeep Nailwal领投。
据悉,BUK致力于构建酒店市场代币化平台,用户可以在该平台上对预订客房进行公开交易和转售并获得代币收益,酒店经营者也能够以NFT形式开发、存储、管理客房并推销服务,为酒店行业带来Web3创新。[2022/11/29 21:09:57]
链重组的影响
由于延迟的原因,短暂的重组一直在发生。矿工A和矿工B可能同时找到一个有效的区块,但由于区块在p2p网络中的传播方式,网络的一部分区块会首先看到A的区块,另一部分会先看到B的区块。如果这两个区块的难度相同,就会出现平局,客户要么随机选择,要么选择较早看到的区块。通常情况下,当第三个矿工C在A的区块或B的区块上建造一个区块时,平局最终被打破,而另一个区块则被遗忘。偶尔,运气不好也会导致2-5个区块的重组。超过这个时间的重组几乎都是由于极端的网络故障,客户端错误,或恶意攻击造成的。
短暂的重组不是致命的,但它们仍然对网络产生以下这些严重后果。
节点成本:当重组发生时,由于必须切换到新的分叉,可能会回滚交易或修改区块链状态,因此会有一些存储问题。
用户体验下降:重新分叉的可能性意味着用户需要等待更长时间才能安全地将涉及他们的交易视为"确认"。这方面的一个重要子案例是交易所等企业在接受存款之前需要等待更长时间。
交易背景的不确定性:当用户发送交易时,他们对该交易将在什么背景下执行的确认性较低(例如,最近的N个区块会不会被恢复?值得注意的是,这增加了DeFi交易对意外失败,比预期差的交易结果或有害的MEV提取的可能性。
安全团队:BNQ代币下跌99.46%,请保持警惕:9月19日消息,据CertiK数据监测,BNQ代币下跌99.46%,BSC合约地址:0x06C61725B98F1eF191D41e6B4f1E0aA50Bd465d5。外部账户(EOA)0x7F725收到1.52亿枚BNQ,并以约23.3万USDT的价格出售。部署者销毁75万枚BNQ,请保持警惕。[2022/9/19 7:06:41]
增加了51%算力攻击的可能性:在一个最长链规则驱动的系统中,如果链上的矿工从B1到B2重新排序,那么B1的难度就不再有助于确保链的安全。攻击者不再需要击败所有诚实的矿工,他们仅仅需要击败没有被重组的那部分诚实矿工。如果频繁重组,这就使攻击者的工作大大简化。
可能发生的最坏情况
在最坏的情况下,频繁的重组可以使区块链的结算保证完全失效,并阻止其继续进行。通常情况下,区块生产者的"激励兼容"策略应该是延长最长的链。但是,如果某个区块的后置状态有利可图,会发生什么?这个问题过去在没有区块奖励的比特币和自私采矿的背景下被探讨过,今天在以太坊生态系统中与DeFi相关的MEV背景下也被探讨过。
在这些情况下,有很大的动机试图通过竞争而不是延长经典链的顶端来"偷取"费用或MEV。在下面的例子中,区块1的后置状态是有利可图的,区块2a已经被开采。然而,不是1个而是3个区块生产者选择在区块1而不是区块2a的基础上进行开采,这可以扩展到任意数量的一方。
出于显而易见的理由,这样的模式为恶意的51%算力攻击打开了一扇大门。我们把从事这种重组开采战术的矿工称为"近视理性",因为这样做的决定在短期内可能是理性的。然而,他们在以太坊上有明确的或隐性的多头头寸,这意味着任何这种减少用户对以太坊信任的攻击都是违背他们的终极利益的,因此从长远来看是不理性的。
FTX.US总裁:更多的资金应该转向创造真正的区块链创新应用:金色财经报道,FTX.US总裁Brett Harrison在社交媒体上称,花费在区块链研发上的投资和智力资本(zk rollups,the Merge,new layer 1)与花在区块链原生应用上的投资和智力资本是不平衡的,而区块链原生应用需要指导这种研发方向。
区块链开发的设计空间将继续受到限制,目前的许多研发可能被证明是不相干的。如果没有来自非金融区块链的应用的指导,这些应用已经在广泛的消费者角色中实现了产品的市场适应性。
更多的资金应该转向创造真正的区块链创新应用,这些应用具有普遍的效用,特别是对那些没有深入了解该技术的人。仅仅把现有的web2社交媒体应用直接放到区块链上是不够的。[2022/8/16 12:28:43]
合并后的以太坊与权益证明
在NakamotoPoW中,区块在分叉选择中被"串行"固化。首先,一个区块被开采出来,这时,一个竞争区块有可能会重组它。如果该区块作为经典链的一部分存活下来,在13秒后,其他一些矿工在上面建立了第二个区块。在这一点上,需要一个由两个竞争区块组成的链来重新组织它。随着更多的区块被建在上面,重新org链的难度继续增加,但速度很慢。
以太坊的信标链实现了一个名为Gasper的PoS协议,有一个名为LMD-GHOST的分叉选择规则。与NakamotoPoW相反,在区块生产过程中,有2个角色。
提议者:?一个验证者的任务是提出一个区块。
参与者:?一组验证者投票决定他们认为哪个区块是经典链的头。鉴定人的投票被称为"证明",他们为区块赋予"权重"。控制鉴定人意味着控制分叉选择规则。
Custodia Bank CEO:行业不良行为和监管机构不作为导致加密货币崩溃:7月2日消息,Custodia Bank首席执行官Caitlin Long表示,加密货币的崩溃是可以预见的。自2018年以来,比特币和加密货币中的高杠杆迹象就一直存在,她希望这一教训得到重视,但监管机构仍应受到指责,因为他们没有更快地打击不良行为,没有批准该行业的优秀公司和产品。
Long表示,灰度比特币信托(GBTC)是美国证券交易委员会(SEC)批准的为数不多的基金之一,投资者可以通过他们的经纪账户来获得比特币敞口,而不需要购买、存储或保护他们的比特币,最终“带来了大量对冲基金的资金,然而却对行业造成了严重破坏,真正摧毁了价值。”
Long进一步解释道,在这种情况下,由于供需失衡,GBTC的交易价格远高于比特币的市场价格,就像一个引入了大量杠杆的对冲基金。散户投资者纷纷买入,但也只是维持到SEC批准竞品之前。一旦竞争逐渐进入,像GBTC这样的封闭基金就会发生转变,开始以低于其资产净值的价格进行交易。(CoinDesk)[2022/7/2 1:46:17]
每12秒有一个"槽",它代表了一个提出区块的机会。对于每个时段,一个洗牌算法伪随机地选择一个由所有验证者的1/32组成的委员会,其中每个委员会中的一个验证者是提议者,其余的是赞成者。审定者对他们认为是经典链的一部分的区块进行平行投票。由于委员会是伪随机抽样的,攻击者没有办法将他们的验证者集中到一个单一的位置。
今天,信标链有19.6万个验证器,这意味着每个槽都有一个大小为6125的委员会。因此,即使是单一区块的重构也是非常困难的,因为一个只控制了少数验证者的攻击者没有办法击败成千上万的诚实的大多数参与者。
为了获得一些关于为什么会这样的直觉,让我们看一个有2个插槽和24个验证者的例子,其中9个是恶意的。验证者被分成两个委员会,由于随机洗牌,对手不太可能控制他们被分配到的任何一个小组的50%以上,并导致重组。
更正式地说,拥有p%股权的恶意行为者控制N个验证人规模的委员会中超过50%的概率遵循二项分布。
计算不同情况下的概率,我们得到以下表格:
我们现在明白,直接进行重组需要攻击者控制接近50%的验证者。
如果攻击者拥有25-49%的验证者,还有更微妙的攻击是可能的。然而,这些攻击有已知的修复方法,可以不引人注意地实施,增加安全性,接近无条件的50%。
最后,长时间的恢复是不可能的,因为所有深入到过去2个纪元的区块都被认为是"最终确定"的,也就是说,不可能恢复过去。如果攻击者导致两个冲突的区块被最终确定,系统将需要回落到socialintervention来恢复。
重组战略采用的博弈论
既然我们已经看到了重组策略在不同的分叉选择规则中是如何运作的,那么就值得通过一个简单的博弈论例子来了解矿工或验证者何时使用执行重组策略的软件来获利才是合理的。
我们可以用一个回报矩阵来通俗地描述每种情况,其中"缺陷"意味着"下载并使用执行反欺诈的软件"。报酬是"短视"的,没有考虑到长期后果。
中本聪工作证明
在最长链PoW中,短距离重组可以用验证器集的哪怕一小部分进行概率性的重组。偶尔总会有一些区块具有有利可图的后置状态,以至于即使是1-10%的成功率也值得尝试与该区块的现有子块竞争。
矿工可以是一个中等规模的矿池,依靠他们连续找到下一个2-3个区块的可能性,或者他们可以将他们收入的一部分送入一个任何人都可以索取的合同中,以贿赂其他运行相同软件的人在他们的链上建立并帮助它对抗现有的经典链。
因此,一些矿工可能会被诱惑去运行reorg客户端。
Gasper
在Gasper中,1-64个槽位的重组是可能的,但需要攻击者控制整个验证器集的很大一部分。除非有非常多的其他验证者也同时采用,否则采用重组挖矿软件是没有用的。
因此,如果51%的验证者有哪怕是最轻微的利他主义,那么没有一个人运行重组软件是一个稳定的均衡状态。
Tendermint
在Tendermint中,情况甚至更干净:重组是不可能的,任何违反单槽最终性的行为都需要1/3以上的验证者被砍掉。与Gasper的情况类似,这也意味着没有人运行重组软件才是一个稳定的均衡。
从上面我们可以看出,虽然采用"reorggeth"在所有情况下都是可能的,但基于平行证明概念的分叉选择规则有诚实的均衡状态,且它将比Nakamoto分叉选择中的均衡更稳定。
经验之谈
在以太坊的背景下,最有效的预防措施是进一步加快合并的工作,特别是迅速实现可信的能力,进行"紧急合并",将链过渡到PoS。急于合并会有很高的风险,可能会破坏基础设施,但如果许多矿工开始重新攻击链,一个可信的承诺将对这种行为起到抵制作用。
接近合并的时期风险最大,因为矿工仍然是系统的负责人,但他们的时间跨度缩短了。然而,有两个因素缓解了这种风险。
以太坊矿工往往同时是其他区块链的矿工,和/或以太坊社区其他身份的成员,所以他们仍然会有良好行为的动机。
随着合并的临近,进行紧急合并的难度、成本和风险也在降低。在合并的预定日期前几个月,紧急合并将是具有高度破坏性的。在合并预定日期的两周前,对客户来说,这将是一个参数设置,验证操作器已经完成了下载。
合并后,重组验证将成为一个更小的问题,因为单个验证者或一小群验证者不能独自重组。重组攻击想要成功必须解决极其困难的协调问题,即让大多数验证者同时下线。然而,一些小的风险仍然存在。如果希望进一步提高安全性,那么以太坊可以进一步调整分叉选择规则,将重组攻击的要求提高到50%的理论最大值,或者找到一种方法,直接转向单槽inality的共识。
原标题:EthereumReorgsAfterTheMerge
作者:VitalikButerin&GeorgiosKonstantopoulos
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。