LOT:全面解读MEV-Boost工作原理及Ethereum分叉选择规则-ODAILY

引言

4月2日,恶意的Ethereum网络参与者利用MEV-Boost中继中的漏洞从一个MEV搜索者那里窃取了2000万美元。接下来几天,开发者通过发布五个补丁来解决这个漏洞。这些补丁,加上网络延迟和验证器策略,导致Ethereum网络在4月6日出现了短暂的波动。重组区块对网络健康会产生不利影响,因为它们减缓了区块的生产速率并降低了结算保障。

在这篇文章中,由于搜索者受到攻击且网络暂时不稳定,我们探讨了MEV-Boost与共识之间的相互作用,分析了Ethereum的权益证明机制的微妙之处,并列举了一些可能的前进路径。

MEV-Boost及其重要性

MEV-Boost是由Flashbots和社区设计的一个协议,旨在减轻最大可提取价值对Ethereum网络的负面影响。

MEV-Boost中有3个参与者:

1.中继——相互信任的拍卖者,连接出块者和区块构建者

2.构建者——构建区块的复杂实体,以最大化自己和出块者的MEV

3.出块者——Ethereum的权益证明验证者

每个区块的大致事件序列是:

1.构建者通过从用户、搜索者或其他订单流接收交易创建一个区块

2.构建者将该区块提交给中继

3.中继验证块的有效性并计算它向出块者支付的金额

跨链DID .bit成为OpenSea推荐域名,将于10月18号全面开放4-9位注册:9月13日消息,跨链DID .bit成为OpenSea推荐的Domain Names合辑,其在OpenSea上累计交易量达到251 ETH(43 万美金)。.bit将于北京时间10月18日晚8点全面开放4-9位账户注册。从去年7月22日上线以来,.bit已经开放了4-9位的60%以及10位以上的100%注册,.bit累计注册账户已超14 万个。

此前报道,8月15日,跨链DID .bit宣布完成1300万美元A轮融资,CMB International领投,HashKey Capital, QingSong Fund, GSR Ventures, GGV Capital与SNZ参投。[2022/9/13 13:27:00]

4.中继向当前slot的出块者发送空白标题和支付值

5.出块者评估他们收到的所有出价,并签署与最高付款相关联的空白标题

6.出块者将此已签名标题发送回中继

7.中继使用它们的原生信标节点发布区块,并将其返回给出块者。奖励通过区块内的交易和区块奖励分配给建设者和提议者。

中继是一个受信任的第三方,促进出块者公平交换区块空间和构建者用于MEV提取的交易排序。中继通过保护构建者免受MEV偷窃,避免出块者复制构建者交易以取走MEV而不分配给发现它的搜索者/构建者来保护构建者。中继通过确认构建者区块的有效性、代表出块者处理每个slot上的数百个区块以及确保出块者支付的准确性来保护出块者。

链上云平台旗下客户币牛交易所斩获2020年现货交易量第一名,已全面拥抱DeFi:据官方消息,截止2020年9月初,在链上云所服务的300多家企业中,币牛交易所斩获2020年现货交易量第一名。币牛交易所自2020年3月正式运营距今仅5个月,目前已进入非小号全球交易所综合排名前30,平台注册用户超180万,用户管理资产达2亿+,交易用户和交易手续费月均增长率达到300%。作为一家资产服务型交易所,币牛交易所以“让优质的资产成为顶级的资产”为使命,为提升行业品质而不断努力,迅速成长为行业头部交易所。

据了解,在DeFi浪潮下,币牛已决定全面拥抱DeFi,币牛有望成为链上云平台客户中,首家CEX+DEX结合的交易所。

?链上ChainUP认为,顶级的技术服务商,是要愿意陪同客户成长,为客户提供全方位的技术支持。币牛2020年目标是在年底之前交易流量进入全球市场前十,链上ChainUP将为币牛交易所提供相应服务,推进币牛交易所发展,并如期完成目标。[2020/9/7]

MEV-Boost是关键的协议基础设施,因为它使所有出块者都能够民主地访问MEV,而无需与构建者或搜索者建立信任关系,这有助于Ethereum的长期去中心化。

Ethereum的分叉选择规则与MEV-Boost

在探讨攻击和响应之前,我们先来看看Ethereum的权益证明机制和相关的分叉选择规则。分叉选择规则允许网络就链头达成共识,《Ethereum合并后的重组》这篇文章中对其做出了定义:

声音 | 新加坡科学院院士:区块链能为医疗数据提供全面的数据库:近日,新加坡科学院院士黄铭钧在接受采访时表示,很多患者在不同的医院里都有医疗数据。过去,不同医院之间的数据无法共享。虽然电子病历正在普及,但在实际运用过程中,由于缺乏人工智能集成,电子病历与健康档案可能并非以病人为中心,而是以碎片化方式存在,储存在不同的数据库当中。区块链要做的,是提供一个非常全面而完整的数据,并以患者为中心提供个性化医疗,让患者决定自己的信息分享给谁。一旦拥有了这种全面的数据库,医疗质量效果都能够得到提升。(人民日报海外版)[2019/12/26]

「分叉选择规则是一个由客户端评估的函数,它用已看到的区块和其他消息作为输入,并向客户端输出「规范链」。分叉选择规则十分重要,因为可能有多个有效的链可供选择。」

分叉选择规则也与时间相关,这对出块有重大影响。

slot和sub-slot周期

在Ethereum的权益证明机制中,时间被分割为每12秒为一组的slot。权益证明算法随机分配验证者在该slot内提出块的许可证;这个验证者被称为出块者。在同一slot内,其他验证者被分配为根据其本地视图应用分叉选择规则来为链头进行验证的任务。这12秒的slot被细分为三个阶段,每个阶段消耗4秒。

在slot中发生的事件如下所示,其中t=0表示slot的开始。

香港区块链协会副主席:网上经销商成全面禁止数字货币的难题:香港区块链协会副主席Emil Chan认为,如果全面禁止数字货币,那网上数字货币经销商的极大流动性会给监管带来巨大挑战,因为目前数字货币市场较为活跃,在利益的驱使下,经销商会从一个地方转到另一个地方。 ????[2018/3/31]

在slot期间,最关键的时刻是在t=4时的认证截止时间。如果认证验证者在认证截止时间前没有看到区块,他们将会投票给链上先前被接受的头部。一个区块被提出的时间越早,它就有更多的时间传播,从而积累更多的认证。

从网络健康的角度来看,区块发布的最佳时间是t=0。然而,由于区块价值随着时间单调递增,出块者有动机推迟其区块的发布,以便更多的MEV积累。有关详细信息,请参见TiminggamesinProof-of-Stake和本讨论。

以前,出块者可以在认证截止时间后发布区块,只要下一个验证者在建立其后续slot的区块之前观察到该区块即可。这是由于子区块继承父区块的权重,分叉选择规则在叶节点终止。因此,推迟区块发布没有任何副作用。为了帮助将理性行为转向诚实行为,实施了「诚实重组」。

出块者奖励机制和诚实重组

两个新的概念被引入到共识客户端中,对认证截止时间有关键的影响。

1.出块者奖励机制——旨在通过授予出块者等同于40%全部认证权重的分叉选择「奖励」来尽量减少重组平衡攻击。重要的是,这个奖励仅持续整个slot。

美国司法部副检察长:加密货币是一个新挑战 将制定全面的战略来处理加密货币问题:根据多份报告,美国司法部正计划推出有关加密货币的综合战略。本周一,美国司法部副检察长Rod Rosenstein在华盛顿举行的金融服务圆桌会议上就加密货币问题发表了讲话。Rosenstein表示加密货币是一个“新挑战”, 他说:“我们现在正在与部门内的网络犯罪工作小组合作,努力制定一个全面的战略来处理加密货币问题。” Rosenstein还解释道,当加密的设计没有合法的访问手段时,它将允许恐怖分子,贩,猥亵儿童者,欺诈者和其他罪犯隐瞒其有罪证据。[2018/2/28]

2.诚实重组——利用出块者加速,允许诚实的出块者强制重组认证权重低于20%的区块。这已经在Lighthouse和Prysm中实现。这个改变是可选的,因为它是出块者作出的决策,不影响认证验证者的行为。因此,我们不用将其同时应用于所有客户端,它也没有与任何特定的硬分叉相关联。

需要注意的是,在一些特殊情况下会避免使用诚实重组:

1.在epoch边界区块期间

2.如果链没有最终确定

3.如果链头不是重组前slot的头部

情况3确保诚实重组只会从链中删除一个区块,这起到了断路器的作用,使得链能够在极端网络延迟期间继续生成块。这也反映了提案者对网络的看法的信心降低了,因为他们无法确定其提议增强的块是否将被视为规范。

下图展示了如何改变诚实行为以实施重组策略。

在这种情况下,让b1代表一个迟到的块。由于延迟,b1只有第n个slot的19%的证明权重。剩余的81%的证明权重分配给父块HEAD,因为许多证明者没有在证明截止期之前看到b1。

如果没有诚实的重组,第n+1个slot的提案者会将b1视为链的头并构建子块b2。提案者没有努力重组b1,尽管它只有19%的证明权重。在第n+1个slot,b2具有提案者的增强,假设它按时交付,b2将通过积累该slot的大多数证明成为规范。

有了诚实的重组,情况大不相同。现在,第n+1个slot的提案者看到b1的19%证明权重低于重组阈值,因此他们建立一个以HEAD为父块的块,并强制重组b1。当我们到达第n+1个slot的证明截止期时,诚实的证明者将比较b1与b2的相对权重。所有客户端都实现提案者增强,因此b2将被视为链的头,并将积累第n+1个slot的证明。

针对解绑攻击的中继和信标节点修复

在4月2日的unbundling攻击中,提案者利用中继漏洞向中继发送了一个无效的签名头。在接下来的几天里,中继和核心开发团队发布了许多软件补丁,以减轻重复攻击的风险。五个主要更改如下:

中继更改:检查数据库中已知的恶意提案者。检查中继是否已将完整块传递到P2P网络中的某个slot。在块发布之前引入0-500ms范围内的均匀随机延迟。

信标节点更改:在广播之前验证信标块。在发布区块之前检查网络是否存在错误确认。这些更改的结合导致了共识不稳定性,这一问题加剧了由于大部分验证者现在使用上述诚实重组策略而产生的影响。

意外的后果

上述的五项更改都在中继块发布的热路径中引入了延迟,这增加了中继块在确认截止时间之后广播的概率。下图显示了这五项检查的顺序以及引入的延迟如何导致区块发布超过确认截止时间。

在实施这些检查之前,大量滞后于t=0的已签名头部通常不会产生问题。由于中继的开销非常低,因此它将在t=4之前发布区块,而无需等待确认截止时间。

然而,由于这五个修补程序的延迟引入,中继现在可能部分负责迟延广播。让我们看看下面的假设性区块发布过程。

中继在t=3时从出块者处接收到已签名头部。到了t=4,中继仍在执行检查,因此广播将在确认截止时间之后进行。在这种情况下,出块者发送的延迟已签名头部和中继引入的一些额外延迟的结合导致了未能在确认截止时间之前广播。如果没有诚实的重组,这些区块很可能已经进入链上。如图2所示,接下来slot的诚实出块者不会因为这些区块迟到而故意进行重组。然而,如果错过了确认截止时间,则这些区块将被下一个出块者重组。

因此,在攻击后的几天中,分叉块的数量急剧增加。

Metrika的两周数据显示,在最坏的情况下,一小时内可能会有13个区块被重新组织,这是正常情况的约5倍。随着中继器推出各种更改,分叉块的数量急剧增加变得明显。感谢中继操作员和核心开发人员的伟大社区努力,一旦了解到影响,许多更改被撤回,网络恢复到了健康状态。

截至今天,最有用的更改是信标节点块验证和发出之前的抵赖检查。恶意的出块者不能再通过向中继发送无效头部并确保中继信标节点在发布之前不看到抵赖块来执行攻击。尽管如此,中继仍然面临着MEV-Boost和ePBS中提出的更一般的抵赖攻击。

下一步行动

在这篇文章中,我们强调了MEV-Boost的工作原理以及它对Ethereum共识的关键性。我们还对与时间有关的Ethereum分叉选择规则中的一些较少知道的方面进行了详细分析。通过使用「解绑」攻击和开发人员的反应作为案例研究,我们强调了分叉选择规则与时间有关的方面的潜在脆弱性以及其对网络稳定性的影响。

考虑到这一点,研究界应该评估什么是「可接受」的重新组织次数,并考虑抵赖攻击的更一般曝光情况,以确定是否应该实施缓解措施。

此外,目前正在积极探索多个未来方向:

1.实施头锁机制,以保护MEV-boost免受等价错误攻击。这还需要更改共识客户端软件并可能需要规范更改以扩展证明提交期限。

2.增加MEV-Boost软件的漏洞赏金计划的数量和传播力度。

3.扩展模拟软件以探索sub-slot定时如何影响网络稳定性,这可以用于评估如何调整证明提交期限以减少重组。

4.优化中继上的区块发布路径以减少不必要的延迟——这已经在探索当中。

5.承认MEV-boost是核心协议功能,并将其纳入共识客户端,即「enshrined-PBS(ePBS)」。两个slot的ePBS容易受到明显的攻击,因此实施「头锁机制」仍然是一种选择。

6.通过围绕延迟和认证截止时间的问题加入更多的hive和/或spec测试。

7.通过构建中继规范的其他实现,鼓励中继客户端的多样性。

8.考虑调整对于明显攻击的惩罚,但要记住即使进行完整的32个ETH的惩罚,也可能无法阻止在极大的MEV机会存在时的恶意行为。

9.重新审视sub-slot计时,并考虑调整区块传播阶段。

总的来说,我们对MEV和mev-boost生态的再次兴起感到兴奋。通过解绑攻击和缓解措施,我们已经了解了延迟,MEV-boost和共识机制之间的关键关系;我们希望协议能够继续加强以应对这种情况。

原地址

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

地球链

Pol币BIT:Bitfinex一周简报(0424-0430)-ODAILY

BitfinexAlpha|经济降温迹象显露,但比特币长期情绪仍然积极受到一年加息的打击,经济降温迹象终于显现。作为经济情绪的指标,住房是长期情绪的良好代表.

[0:0ms0-1:354ms