宇宙链 宇宙链
Ctrl+D收藏宇宙链
首页 > ICP > 正文

万字详解以太坊合并后可能面临的 PoS 攻击及防御措施

作者:

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

译者注:

对于即将到来的以太坊合并,根据大量研究文献总结出了相关的共识攻击方式,并提到了一些解决方案。总体而言,在转向PoS共识机制之后,攻击者控制的质押ETH比例越多,其攻击的成功机会就越大,而以太坊内置的“胡萝卜加大棒”激励层可以防止大多数的恶意行为,尤其是对于低质押的攻击者,然而对于34%、51%或66%攻击,可能需要社区协调才能够解决,因此防范质押权益集中化对以太坊网络的安全而言将是至关重要的。

以太坊是一个出了名的对抗性环境,它甚至被比作一个“黑暗森林”。这种声誉主要来自应用层或社交层的弱点,以及从交易存储池中提取价值的机器人的存在。然而,作为小偷或破坏者的老练黑客,也在不断寻找机会攻击以太坊的客户端软件。客户端软件可以将计算机变成以太坊节点,它是定义连接到其他节点、交换信息以及就以太坊区块链状态达成一致的所有规则的代码。而对协议层的攻击,就是对以太坊本身的攻击。

很快,以太坊客户端就会进行一次重大升级,这会关闭保护以太坊的工作量证明算法,取而代之的是一种权益证明共识机制。造成这种情况的原因有很多,这在其他文章当中已经有详细解释。这将是一场哲学变革,同时也是一场技术变革。

合并到权益证明共识机制带来了可持续性以及可扩展性方面的好处,但另一方面,客户端软件的复杂性将会增加,协议的潜在攻击面也会增加。目前,保护PoW以太坊区块链只需要运行单个软件,而在“合并”之后,需要运行的软件增加到了3个。

本文概述了以太坊共识层上已知的攻击向量,并概述了一些防御这些攻击的方法。读者可能需要掌握一些信标链的基础知识才能从本文中获得最大价值。此外,对信标链的激励层和分叉选择算法LMD-GHOST有一个基本的了解,也会对你有所帮助。

这些都是很大的话题。但我在下面的序言中包含了一些非常易懂的入门知识。

序言

激励层

信标链是一个权益证明区块链,它使用以太坊的原生加密货币ETH进行保护,希望参与验证区块以及识别区块链头部的节点运营商将ETH存入以太坊的智能合约中。然后,他们获得ETH的报酬以运行验证器软件,检查通过对等网络接收到的新区块的有效性,并应用分叉选择算法来识别区块链头部。节点运营商现在是“验证者”,而验证者有两个主要角色:1)检查新区块并“证明”它们是否有效,2)从总验证器池中随机选择时提出新区块。如果验证者在被询问时未能完成这两项任务中的任何一项,他们就会错过ETH支付。还有一些非常难以意外执行,并且表示有恶意意图的操作,例如在同一个slot提出多个区块,或在同一个slot证明多个区块,这些是“可罚没”的行为,可导致验证器在从网络中移除之前燃烧一定数量的ETH,这需要36天。被罚没的验证器的ETH在退出期内会缓慢流失,但在第18天,当有更多的验证器同时被罚没时,它们会受到更大的“相关性惩罚”。因此,信标链的激励结构是奖励诚实行为者,并惩罚不良行为者。

分叉选择

分叉选择算法由每个验证器运行,其作用是识别区块链的头部。在完全诚实的验证器及零网络延迟的理想条件下,分叉选择算法实际上是不必要的,因为此时区块链的顶端只有一个区块。然而,在现实当中,一些客户端会比其他客户端更晚接收区块,从而创建了区块链头部的多个版本,并且可能存在一定比例的行为不端的验证器,这些验证器可能在同一个slot提议或投票多个区块。这意味着必须要有某种算法来从多个选项中挑选出真正的区块链头部。

稍微提一下,信标链也会以固定的间隔使区块链固定不变,这被称为“最终性”。该过程通过将每个epoch中的第一个slot视为“检查点”来工作。如果一个检查点从持有存款合约中至少2/3总质押ETH的验证器那里收集证明,那么它被称为“justified”的。一旦该检查点在其之上有另一个检查点,它就成为“最终”检查点。然后,分叉选择算法只考虑区块链中不合理部分的区块。证明并最终确定区块链的算法称为“CasperFFG”,而分叉选择算法本身被称为LMD-GHOST,这是一种用行话表达的方式,即正确的区块链是累积了最多证明的区块链,并且如果从同一验证器接收到多条消息,则只有最后一条消息才算。每个验证器使用此规则评估每个区块,并将最重的区块添加到其规范链中。

每个epoch时期,验证器需要签署一份证明,该证明包含两条关键信息:「LMD投票」和「FFG投票」。LMD投票是验证器认为区块链头部的区块的根,FFG投票包含目标检查点和源检查点的区块哈希以及epoch,其中源检查点是链已经知道的最近正当检查点,而目标检查点是下一个要证明的检查点。

因此,信标链的共识算法是LMD-GHOST和CasperFFG的组合,有时我们也将其称为Gasper。简单了解了这个背景知识后,我们可以继续研究这个系统可能受到的一些攻击方式。

第0层攻击

首先,没有积极参与以太坊的个人,可选择针对社交层来攻击以太坊网络。尽管这些攻击从未真正直接影响任何以太坊软件的执行,但它们会给以太坊带来风险。第0层是构建以太坊的基础,因此它代表了一个潜在的攻击面,其后果会波及堆栈的其余部分。以下是我想到的一些例子:

加密互联网服务提供商World Mobile在Google Play上线:金色财经报道,美国、英国、加拿大和澳大利亚的Android用户现在可以在Google Play上下载World Mobile。World Mobile还与区块链人工智能公司Singularity NET合作,帮助提供客户服务和信用延期。

World Mobile的平台旨在为用户提供“专用于基于Cardano区块链构建的代币”的非托管钱包,其中包括该公司自己的WMT代币。此外,该公司补充说,用户可以使用World Mobile应用程序将美元和欧元兑换成WMT代币。[2023/8/22 18:15:55]

跨多个平台发起并持续数月或数年的重大错误信息宣传活动,可能会削弱社区对以太坊路线图、开发团队的信任。这可能会减少愿意参与网络安全的个人数量,降低去中心化和加密经济安全性。

针对开发者社区的定向攻击或恐吓,这可能导致开发人员自愿退出,并减缓以太坊的发展,同时更广泛地打击士气。

过度热情的监管也可以被视为一种第0层攻击,因为它可能会迅速抑制参与和采用。

知识渊博但恶意的参与者渗透到开发者社区,其目的是通过减少讨论、延迟关键决策、创建垃圾帖或转移注意力提案等来减缓进度。

故意煽动以太坊社区的不满情绪,目的是制造足够的动荡以造成永久性分裂。

向以太坊生态系统中的关键参与者行贿以影响决策。

在很多情况下,发动L0攻击所需的资金或技术知识很少,这使得对社交层的攻击尤其危险。真正需要的只是时间和恶意的意图,而不是稀缺的资源。思考第0层攻击如何成为一次加密经济攻击的倍增器也很有趣。例如,如果审查或最终性逆转是由恶意的多数质押者实现的,那么破坏社交层可能会使带外社区协调响应更加困难。

防御第0层攻击可能并不简单,但可以建立一些基本原则。一是保持以太坊公共信息的整体高信噪比,以太坊由社区的诚实成员通过博客、discord服务器、带注释的规范、书籍、播客以及YouTube创建和传播。Ethereum.org就是一个很好的例子,特别是他们正在迅速将其广泛的文档和解释文章翻译成多种语言。用高质量的信息和meme充斥一个空间,是防止错误信息的有效防御措施。以太坊社区擅长于此,但长期的第0层安全需要持续致力于创建和传播高质量信息。

另一个针对社交层攻击的重要防御措施,是明确的使命声明和治理协议。以太坊将自己定位为智能合约L1中的去中心化和安全冠军,同时也高度重视可扩展性和可持续性。无论以太坊社区出现什么分歧,这些核心原则都会受到最低限度的影响。根据这些核心原则评估叙述,并通过EIP过程中的连续几轮审查,可能有助于社区区分出好人和坏人,并限制恶意行为者影响以太坊未来方向的范围。

最后,以太坊社区保持开放并欢迎所有参与者,这一点至关重要。一个有看门人、精英主义和排他性的社区,尤其容易受到社交攻击,因为这很容易构建“我们和他们”的叙事。另一方面,一个开放和包容的社区是通过开放的讨论更有效地消除错误信息的社区。部落主义和有的最大主义伤害了社区,这会侵蚀第0层的安全。以太坊通常有一个非常开放的社区,它欢迎新的参与者,但随着社区规模的扩大,这可能会变得越来越难以维持。对网络安全有既得利益的以太坊社区成员,应将其在线行为和在现实世界中的行为视为对以太坊第0层安全的直接贡献,因为正如我们将在本文后面讨论的,强大的社交层是抵御协议攻击的最后一道防线。

攻击者的奖励

第0层攻击可能旨在破坏公众对以太坊的信任、使ETH贬值、降低以太坊的采用率,并使以太坊容易被其他竞争链超越,或者是削弱以太坊社区,使带外协调更加困难。然而,攻击以太坊网络本身所能获得的好处并不明显。

一个常见的误解是,成功的攻击允许攻击者生成新的ETH,或从任意账户中提取ETH。这两种说法都是不可信的,因为添加到区块链的所有交易都由网络上的所有执行客户端执行。它们必须满足有效性的基本条件,否则它们会简单地还原。攻击者实际上可能会针对几种结果发起攻击:重组、双重最终性或最终性延迟。

“重组”是对区块链头部区块的重新排列。在攻击中,这旨在确保包含或排除某些区块,即使它们不在诚实的网络中。这可能允许攻击者进行“双花”,例如,将他们的ETH发送到交易所并将其兑现成法定货币,然后重组以太坊区块链以删除这笔交易,这样他们最终能够拿回ETH并获得法币。或者,重组可能允许老练的攻击者通过抢先交易或尾随式交易从其他人的交易中提取价值,或者重组可能会持续阻止某人或某些组织的交易被包含在规范链中,从而有效地从以太坊网络中对其进行审查。

最极端的重组形式是“最终性反转”,它可删除或替换先前已经确定的区块。这种情况只有在至少1/3质押的ETH被销毁时才有可能发生,这种保证被称为“经济最终性”,稍后我们会详细介绍。

双重最终性攻击的可能性很低,但这种情况会很严重,发生时两个分叉能够同时确定区块,从而造成永久性的区块链分裂。这在理论上是可能的,只要攻击者能够掌握34%及以上总质押的ETH,并愿意冒险失去它们。然后社区将被迫进行链外协调,并就遵循哪条链达成共识。稍后我们将详细探讨这些类型的社会协调防御。

加密支付公司CityPay完成超200万美元种子轮融资:8月18日消息,加密支付公司CityPay完成超200万欧元(约217万美元)种子轮融资,其中包括50万美元加密货币投资,Tether、Presto Ventures及其他天使投资人参投。本轮融资将用于市场扩张并推动B2C平台发展。[2023/8/18 18:08:29]

最终性延迟攻击会阻止网络达到Casper-FFG确定链的必要条件。这将对以太坊的应用层造成极大的破坏,因为在以太坊之上运行的许多应用都依赖于快速最终性来运行。如果对区块链的最终确定性没有高度信心,就很难相信建立在它之上的金融应用。最终性延迟攻击的目的,可能只是为了破坏以太坊,而不是直接获利,除非攻击者部署了一些战略空头头寸。

懒惰和发送相互矛盾的消息

任何人都可以运行以太坊的客户端软件,即使没有运行验证器。人们这样做是因为它提供了区块链的本地副本,可用于非常快速地验证数据,并使交易能够私下提交给以太坊网络,而无需通过中心化的第三方。然而,不同时运行验证器的节点运营商,就无法参与区块生产或验证。这意味着他们根本不会影响到网络安全。非验证节点运营商攻击信标链的可能性可以忽略不计,除非他们也发起不相关的第0层攻击。

要向共识客户端添加一个验证器,用户需要在存款合约中质押32ETH。通过一个活跃的验证器,用户开始通过提议和证明新区块来积极参与以太坊的网络安全。在承担这些额外责任的同时,用户以ETH的形式获得回报,但这也给他们带来了报复行为的新机会。验证者现在有了发言权,他们可以用于影响区块链的未来内容,他们可以诚实地工作以增加他们的ETH储备,或者他们可以冒着风险,尝试操纵这个过程以实现自己的利益。发起攻击的一种方法是累积大比例的质押权益,然后用它来击败诚实的验证者。攻击者控制的质押权益比例越大,他们的投票权也就越大,尤其是在我们稍后将探讨的某些经济里程碑上。然而,大多数攻击者将无法积累足够的ETH来实现这种攻击方式,因此他们不得不使用微妙的技术来操纵诚实的大多数人以某种方式行事。

从根本上讲,所有针对信标链的小规模质押攻击都是两种类型的验证器错误行为的细微变化:活动不足或过度活动。在最普通的形式中,这些行为很容易由分叉选择算法和激励层处理,但有一些聪明的方法可以让这些算法对攻击者有利。目前已经发现了几种这样的技术,主要是仔细协调其消息的时间和传播,以控制整个验证器集的不同子集如何查看区块链的状态,从而控制它们的行为方式。下一节将描述低质押攻击者攻击网络的一些方式,以及如何抵御这些攻击。

小型质押者的攻击

短程重组

有几篇论文解释了针对信标链的攻击,这些攻击仅使用了一小部分质押的ETH来实现重组或最终性延迟攻击。这些攻击通常依赖于攻击者向其他验证器隐瞒一些信息,然后以某种微妙的方式或在某个适当的时候发布它。这些攻击通常旨在从规范链中替换一些诚实的区块。当攻击开始时,这些诚实的区块尚未被创建,这种攻击被称为事前重组,而不是事后重组。在PoS以太坊中,如果不控制2/3质押的ETH,事后重组实际上是不可能的。如果攻击者控制的质押权益百分比少于66%,则攻击者完成事后重组的机会非常低。

图:由控制2/3质押权益的攻击者执行的事后重组攻击。他们忽略了在slotN+1中提出的诚实区块B,而是投票支持区块N作为区块链的头部。然后他们投票给slotN+2中的区块C,同时,因为分叉选择规则看到来自前一个而不是当前slot的证明,他们在slotN+2中投票给区块B,而不诚实的验证者投票给区块C。当slotN+3到达时,两个分叉都有66%的权重,然后由竞争区块哈希的字典顺序决定。如果这对攻击者有利,他们就成功地从区块链中删除了区块B。

另一方面,可以很好地防止事后重组的相同机制,可以被老练的攻击者在非常特定和不太可能的网络条件下用来创建事前重组。例如,这篇论文展示了攻击验证者如何为特定slotn+1创建和证明区块(B),但避免将其传播到网络上的其他节点。相反,他们会扣留该已证明的区块,直到下一个slotn+2。诚实的验证者为slotn+2提出一个区块及其保留的证明,并证明区块是区块链的头部,他们对slotn+2的投票,有效地否认了诚实区块的存在。当诚实区块被释放时,分叉选择算法看到区块建立在区块之上,要比建立在区块之上的区块更重。因此,攻击者成功地使用1区块事前重组将slotn+2中的诚实区块从规范链中移除。掌握34%质押权益的攻击者有很好的机会在这次攻击中获胜,因为他们的投票给了攻击者首选的分叉68%的权重,而诚实分叉的权重为66%,如此处所述。这意味着他们不需要依靠操纵诚实的验证器来与他们一起投票。不过,理论上,这种攻击可以用更少的质押比例来尝试。Neuder等人描述了在30%质押比例下的事前重组攻击方式,但后来证明,在控制2%比例的质押权益下,这种事前重组攻击也是可行的。

“镀金”胖企鹅Pudgy Penguin #484以52.4 ETH价格售出:金色财经报道,拥有金色皮肤和金色和服独有特征的“镀金”胖企鹅Pudgy Penguin #484以52.4 ETH(约合11万美元)的价格在OpenSea平台售出,该价格是该NFT系列当前地板价的14.5倍,卖家是NFT巨鲸 pudgypenguinseatass.eth,买家是Bitcoin4freedom。钱包数据显示, pudgypenguinseatass.eth当前仍持有12个其他的胖企鹅Pudgy Penguin NFT,而买家Bitcoin4freedom的钱包中则持有3个CryptoPunk、3个“无聊猿”BAYC、7个Azuki和2个胖企鹅Pudgy Penguin NFT。根据胖企鹅Pudgy Penguin特征数据显示,只有44只Pudgy Penguin有金色皮肤(占该系列的0.50%),44只Pudgy Penguin拥有金色和服身体(占比同样是0.50%),但Pudgy Penguin #484是唯一同时具备这两种特征的企鹅。[2023/4/16 14:06:37]

上述单区块重组攻击的概念图

一个成功的重组攻击者无法改变历史,但他们可以不诚实地改变未来。他们不需要控制大多数质押的ETH就可以做到这一点,尽管他们成功的机会会随着控制质押比例的增加而增加。这种重组攻击可允许他们实现双花或

通过front-running大额交易来提取MEV。这种攻击还可以扩展到多个区块,但成功的可能性会随着重组长度的增加而降低。

弹跳攻击和平衡攻击

更复杂的攻击可以将诚实的验证器集,拆分为对区块链头部有着不同看法的离散小组,这被称为平衡攻击。在这种情况下,攻击者等待机会提出一个区块,当它到达时,他们会在同一个slot中提出两个区块。他们将一个区块发送给诚实验证器集的一半,将另一个区块发送给另一半。分叉选择算法将检测到这种模棱两可的情况,并且区块提议者会被罚没并从网络中弹出,但这两个区块仍然存在,并且将有大约一半的验证器集证明每个分叉。在花费单个验证器罚没成本的情况下,攻击者成功地将区块链一分为二。与此同时,其余的恶意验证器扣留了他们的证明。然后,通过在执行分叉选择算法时有选择地将有利于一个或另一个分叉的证明发布给足够的验证器,他们能够让网络看到任何一个具有最多累积证明的分叉。这可以无限期地继续下去,攻击验证者在两个分叉上保持验证器的平均分配。由于两个分叉都无法吸引2/3的绝对多数,所以信标链无法最终确定。攻击验证者控制的质押权益比例越大,在任何给定epoch时间段进行攻击的可能性就越大,因为他们越有可能选择验证器在每个slot中提议一个区块。即使只控制1%的质押权益,发动平衡攻击的机会平均每100个epoch时期就会出现一次,这并不需要等待太久。

一种名为弹跳攻击的类似攻击方式,也只需要控制一小部分质押权益。在这种情况下,攻击的验证器再次拒绝投票。这一次,他们没有发布投票来保持两个分叉之间的平均分配,而是在适当的时候使用他们的投票来证明在分叉A和分叉B之间交替的检查点的合理性。两个分叉之间的这种翻转,可停止最终确定性。

弹跳攻击和平衡攻击的防御措施

弹跳攻击和平衡攻击都依赖于攻击验证器将其证明延迟到某个适当的时刻,以便对网络产生巨大的影响。因此,只有在不太可能的网络同步条件下,并且攻击者通过紧密协调的共谋验证器对消息时间进行非常精细的控制情况下,这种攻击才是可行的。尽管如此,仍然有必要关闭这个攻击向量。为了防止迟到的消息影响共识,与及时收到的消息相比,迟收到的消息的权重可以减少。这被称为提议者权重提升方案。

对于弹跳攻击,修复方法是更新分叉选择算法,以便最新的合理检查点只能在每个epoch的前1/3slot期间切换到替代链的检查点。这种情况可以防止攻击者保存投票,以便以后部署。针对这些延迟投票攻击的另一种防御措施是,与每个slot迟到的投票相比,为及时到达的投票分配更大的权重。

结合起来,这些措施创造了一个场景,在这个场景中,一个诚实的区块提议者在slot开始后非常迅速地发出它们的区块,然后大约1/3slot的时间段,这个新区块可能会导致分叉选择算法切换到另一条链。在同一截止时间之后,与较早到达的证明相比,来自较慢验证器的证明的权重会较低。这非常有利于快速提议者和验证器确定区块链头部,并大大降低弹跳攻击和平衡攻击的可能性。从本质上讲,这些防御措施可以防止基于大型网络异步性的攻击,即使在上述情况下,也不需要对消息发布进行精细控制。因此,在很大程度上,这些类型的攻击风险,已通过对分叉选择算法的修改得到了缓解,这些修改有利于快速活动并惩罚延迟。

值得一提的是,提议者权重提升方案只能抵御“廉价重组”攻击,即攻击者以少量质押权益进行的重组攻击。事实上,在另一种事前重组攻击中,提议者权重提升方案本身可能被更大的质押者玩弄。这篇文章的作者描述了控制7%质押权益的攻击者如何战略性地部署他们的投票,以诚实的验证器在他们的分叉上构建,重组掉一个诚实的区块。投票给对手分叉的诚实验证器会及时投票,以便攻击者从提议者权重提升方案中受益。同样,这种攻击是在假设理想的延迟条件下设计的,而在实际情况下很难满足这种条件。总的来说,攻击者控制的质押权益比例越大,其成功攻击的几率就越大。而更大的质押权益,也意味着更多的风险资本以及更强的经济抑制力。

美联储2月加息25BP的概率为79.2%:1月10日消息,据CME“美联储观察”:美联储2月加息25个基点至4.50%-4.75%区间的概率为79.2%,加息50个基点的概率为20.8%;到3月累计加息25个基点的概率为16.1%,累计加息50个基点的概率为67.4%,累计加息75个基点的概率为16.6%。[2023/1/10 11:03:16]

高级平衡攻击

上面描述的弹跳攻击和平衡攻击依赖于恶意验证器对网络上其他验证器何时收到他们的消息进行非常精细的控制,而这类攻击已通过提议者权重提升方案有效地缓解了。

但是,研究者还描述了一种额外的攻击,它不依赖于对网络延迟的细粒度控制。在这种情况下,攻击者需要在两个后续slot中使用一个提议的验证器。其中一个对抗性区块提议者在slotn中提议一个区块,然后第二个对抗性区块提议者在slotn+1中提议一个冲突区块,从而创建一个分叉。由于没有一个区块提议者模棱两可,因此不会发生罚没的情况。在这个例子中,我们假设分叉A会更有利。攻击者可以知道这一点,攻击者还可以估计网络上一半验证器提交证明所需的时间……来自slotn的保留投票可以在大约一半验证器投票的时间点被释放。这些是来自slotn的支持分叉B的证明。因此,一半的验证器组投票支持分叉A,因为它们不知道分叉B上的额外证明,而另一半投票支持权重更重的分叉B。在n+1中扣留的敌对投票可用于弥补分叉B上因发布扣留证明的时间不准确而造成的任何不足。

这种平衡攻击是针对分叉选择算法的理想版本描述的,它比以太坊共识客户端中实际实现的分叉选择算法具有更可预测的证明时间,而在真正的信标链上执行这种攻击,则要困难得多。将攻击者的节点分布在网络拓扑中可以帮助攻击者在一定程度上克服这一问题,因为他们的消息在整个网络中传播的速度要快于来自一个拓扑位置的消息。

还有人提出了一种专门针对LMD规则的平衡攻击,尽管有了提议者权重提升方案,这种攻击仍被认为是可行的。攻击者通过模糊他们的区块提议,并将每个区块传播到大约一半的网络来建立两条竞争链,从而在分叉之间建立近似平衡。然后,相互勾结的验证器会模棱两可地投票,以使一半的网络首先收到它们对分叉A的投票,而另一半网络首先收到它们对分叉B的投票。由于LMD规则丢弃了第二个证明并且只为每个验证者保留第一个证明,因此一半的网络只会看到A的投票而B没有投票,另一半网络会看到B的投票而A没有投票。文章的作者描述了LMD规则赋予了攻击对手“非凡的力量”来发起平衡攻击。

这种LMD攻击向量,已通过更新分叉选择算法关闭了,以便它完全从分叉选择考虑中丢弃模棱两可的验证器。模棱两可的验证器也可以通过分叉选择算法降低其未来影响。这可以防止上述平衡攻击,同时还可以保持对雪崩攻击的弹性。

雪崩攻击

2022年3月的一篇论文描述了另一种称为雪崩攻击的攻击类型。这篇论文的作者认为,提议者权重提升方案无法防止雪崩攻击的某些变体。然而,论文作者也只展示了对以太坊分叉选择算法的高度理想化版本的攻击。

要发动一次雪崩攻击,攻击者需要控制多个连续的区块提议者。在每个区块提议slot中,攻击者扣留他们的区块,收集它们直到诚实链达到与扣留区块相等的subtree子树权重。然后,攻击者释放被扣留的区块,使其最大程度地造成混乱。这意味着,例如,对于6个扣留区块,第一个诚实区块n与敌对区块n竞争创建一个分叉,然后所有5个剩余的敌对区块都在n+1处与诚实区块竞争。这意味着建立敌对区块n和n+1的分叉现在吸引了诚实的证明,因为此时诚实链的权重等于敌对链的权重。现在可以对剩余的扣留区块重复此操作,从而允许攻击者阻止诚实的验证器跟随链的诚实头部,直到攻击者模棱两可的区块用完为止。如果攻击者在攻击过程中有更多机会提出区块,他们可以使用这些区块来扩展攻击,这样,越多的验证器参与共谋攻击,攻击持续的时间就越长,并且可以将更多诚实的区块从规范链中移出。

而LMD-GHOST分叉选择算法的LMD部分减轻了雪崩攻击,LMD的意思是“最后一条消息驱动”,它指的是每个验证器保存的一个表格,其中包含从其他验证器收到的最新消息。只有当新消息来自比特定验证器表中已存在的slot更晚的slot时,该字段才会更新。在实践中,这意味着在每个slot中,接收到的第一条消息就是它接受的消息,任何附加消息都可以忽略。换句话说,共识客户端使用来自每个验证器最先到达的消息,并且相互矛盾的消息会被简单地丢弃,以防止雪崩攻击。

最终性延迟

首次描述低成本单区块重组攻击的同一篇论文,还描述了一种最终性延迟攻击,该攻击依赖于攻击者是epoch边界区块的区块提议者。这是至关重要的,因为这些epoch边界区块成为了CasperFFG用于最终确定链的各个部分的检查点。攻击者简单地扣留他们的区块,直到有足够多的诚实验证器使用其FFG投票支持前一个epoch边界区块作为当前最终性目标。然后,他们释放扣留的区块,并证明自己的区块,而其余的诚实验证器也会这样做,这样会创建具有不同目标检查点的分叉。如果他们的时间恰到好处,他们将阻止最终性,因为不会有2/3的绝对多数证明任何一个分叉。攻击者控制的质押权益比例越小,则时间需要越精确,因为攻击者直接控制的证明越少,攻击者控制提出给定epoch边界区块的验证器的几率就越低。

Nexo:昨天向Celsius团队伸出援手但被拒绝,将向Celsius提供一份收购报价:6月13日消息,加密借贷机构Nexo发推表示,所有Nexo产品都在正常运行,昨天向Celsius团队伸出援手,希望提供支持,但被拒绝了。Nexo拥有坚实的流动性和股权,可以轻松收购Celsius的任何剩余合格资产,主要是其抵押贷款组合,我们正在根据该协议向Celsius提供一份报价,并将公开传达。[2022/6/13 4:22:32]

关于长程攻击的说明

还有一类特定于权益证明区块链的攻击,其涉及参与创始区块的验证器在诚实的区块链旁维护一个单独的区块链分叉,最终说服诚实的验证器在很久以后的某个适当时间切换到它。这种类型的攻击在信标链上是不可能的,因为「finalitygadget」可确保所有验证器定期就诚实链的状态达成一致。这种简单的机制可以消除对长程攻击者的担忧,因为以太坊客户端根本不会重组最终确定的区块。加入网络的新节点通过找到一个受信任的最近状态哈希并将其用作伪创始区块来构建。这将为进入网络的新节点创建一个“信任网关”,然后它才能开始为自己验证信息。然而,从对等方或区块浏览器或其他地方收集检查点所需的信任,并没有增加隐含在客户端开发团队中的信任,因此主观性是“弱的”。因为根据定义,检查点由网络上的所有节点共享,所以不诚实的检查点是共识失败的症状,那此时,无论如何,带外社会协调必须接管以拯救诚实的验证者。

这一切都表明,要以少量的质押权益成功攻击信标链是非常困难的。这里描述的可行攻击需要一个理想的分叉选择算法,以及可能性极低的网络条件,或者攻击向量已通过客户端软件相对较小的补丁关闭。当然,我们并不能排除零日漏洞在野外存在的可能性,但这确实证明了少数质押权益攻击者要成功实现攻击所需的极高的技术能力,对共识机制的了解以及运气。从攻击者的角度来看,他们最好的选择可能是尽可能多地积累质押的ETH。

拒绝服务攻击

以太坊的PoS机制从所有验证器集中选择一个验证器,以作为每个slot中的区块提议者。这可以使用一个公共函数进行计算,并且对手有可能在他们的区块提议之前稍微提前识别下一个区块提议者。然后,攻击者可以向区块提议者发起垃圾信息,以防止他们与对等方交换信息。对于网络的其余部分,区块提议者似乎处于离线状态,并且slot将简单地变空。这可能是对特定验证者的一种审查形式,以阻止他们向区块链添加信息。攻击者的成本取决于验证者的带宽,这意味着对家庭质押者发起拒绝服务攻击,要比使用工业级硬件和互联网连接的专业人员要便宜得多,这使得业余爱好者更容易受到审查。这个问题有一些变通方法,但这些方案也有利于专业验证者,而不是家庭质押者。例如,运行多个节点并将区块构建与网络通信分开可以提供额外的保护层,因为节点身份和验证者身份是解耦的。节点运行者可能会在短时间内切换身份或重新获取身份,以避免拒绝服务攻击。从长远来看,实施单一秘密leader选举或非单一秘密leader选举方案可以更有效地缓解验证者审查问题,因为只有区块提议者才能知道他们已经被选中,并且事先不知道他们的选择。所有验证器都将对秘密的承诺提交到一个反复洗牌的池子当中。然后一个随机承诺会被公开选出,只有被选中的验证器才能知道,因为连接已经被混淆了。这项工作尚未实施,但它是一个活跃的研发领域。

验证者控制的质押权益比例大于或等于33%

将质押ETH的控制权分散给更多人,要比集中在少数人的手中更安全。这是因为一个人控制的质押权益越多,其对以太坊共识的影响就越大。当攻击者掌握了足够的质押权益时,本文中提到的所有攻击都更有可能成功,并且可能选择更多的验证器在每个slot中提议区块。因此,恶意验证者的目标可能是控制尽可能多的质押ETH。

33%的质押ETH是攻击者的一个基准,如果其控制的ETH超过了这个数量,他们就有能力阻止信标链最终确定,而无需精细控制其他验证器的操作。它们可以简单地一起消失。这是因为要最终确定信标链,必须有2/3的质押ETH来证明检查点对。如果1/3或更多的质押ETH被恶意证明或未能证明,那么2/3的绝对多数就不可能存在。对此的防御措施是信标链的消极惩罚机制,这是一种紧急安全措施,它会在信标链4个epoch时期未能最终确定后触发。消极惩罚标识了那些未能证明或证明与大多数人相反的验证器。这些非证明验证器拥有的质押ETH会逐渐流失,直到最终它们占总数的比例不到1/3,这样区块链才能再次finalize。

消极惩罚机制的目的是让信标链再次实现最终确定,而攻击者也会失去一部分质押的ETH。假设没有可罚没的攻击,并且攻击验证器只是未能证明,它们的不活动分数被更新,这向网络的其余部分表明该验证器将在每个epoch时期受到惩罚,直到它们的不活动分数返回为零。当消极惩罚机制处于活动状态时,每个epoch的不活动验证器分数会增加4,而活动验证器分数会减少1。一旦消极惩罚机制停用,所有活动验证器的不活动分数都会降低。对于不活跃时间较长的验证器来说,这需要更长的时间,因为它们有更多的不活跃分数要消耗。而持续的不活动状态,会更慢消耗不活跃分数。对于一个离线100个epoch的验证器,它的不活动分数将达到400左右,而惩罚大小的计算公式为:

不活动分数*验证器余额/inactivity_score*validator_balance/(inactivity_score_biasxinactivity_penalty_quotient)

其中不活动分数偏差是在每个epoch时期增加验证器分数的数字,不活动惩罚商是将非证明验证器的余额减少到其初始值大约60%所用时间的平方,设置的时间大约为37.5天。这意味着攻击者通过未能证明来阻止最终性的时间越长,他们质押权益被燃烧的越多。UpgradingEthereum展示了一个图表,该图表估计了始终处于脱机状态的验证器在短时间消极惩罚期间和之后验证器余额的减少情况。在135个epoch时期之后,验证器的余额从32ETH降至31.996ETH,损失了0.004ETH。而要让一个攻击者控制33%的ETH质押权益,他们必须运行大约144,000个验证器,每个验证器至少持有32ETH。这意味着他们延迟信标链最终确定性的攻击,将至少花费0.004x144000=576ETH。按当前市场价计算,这大约相当于109万美元。花掉近100万美元的成本,将信标链的最终确定性推迟半天,这对信标链本身的长期影响很小。

当然,更持久的消极惩罚要更加昂贵,事实上,惩罚的幅度会呈二次方的速度增加,直到信标链再次开始最终确定。攻击者进行最终性延迟攻击的确切成本,取决于他们的初始余额、他们保持离线的时间以及重新获得最终性所需的时间。然而,最重要的是,即使验证器没有被罚没,33%的验证器持续不活动也是极其昂贵的。

假设以太坊网络是异步的,控制34%总质押权益的攻击者可能会引发双重确定性攻击。这是因为攻击者在被选为区块生产者时可以模棱两可,然后与其掌握的所有验证器进行双重投票。这创造了一种区块链分叉的情况,其中每个分叉都有34%质押的ETH投票支持。每个分叉只需要50%的剩余验证器投票支持两个分叉,从而得到绝对多数的支持,在这种情况下,两条链都可以最终确定。每个竞争区块都必须由大约50%的诚实验证器接收,因此只有当攻击者能够在一定程度上控制消息在网络上传播的时间时,这种攻击才可行,这样他们才能将一半诚实验证器推到每条链上。这也是为什么这种攻击需要网络异步的原因——如果所有节点都立即收到消息,它们将立即知道这两个区块,并通过拒绝较早接收的区块来处理模棱两可的问题。攻击者必须销毁其全部质押的权益以实现这种双重确定性攻击,因为他们34%的验证器将同时进行双重投票,而这是一种具有最大相关性惩罚的可罚没攻击。防御这种攻击的代价,只是销毁34%总质押ETH的巨大成本。

而从这种攻击中恢复过来,需要以太坊社区进行带外协调并同意遵循其中一个分叉,而忽略另一个分叉。与这种社会支持相关的复杂性,我们将在后面讨论。

攻击者控制的质押权益比例大约为50%

理论上,在一个恶意验证者控制的质押ETH比例达到50%的情况下,他可以将以太坊区块链分裂成两个大小相等的分叉。与前面描述的平衡攻击类似,攻击者可通过为同一个slot提出两个区块来仅使用他们的一个验证器。然后,攻击者不需要通过仔细传输消息来操纵一半的网络,而只需使用其全部50%的质押权益与诚实的验证器集进行相反的投票,从而维持两个分叉并防止最终确定性。在四个epoch时期之后,两个分叉上的消极惩罚机制将激活,因为每个分叉都会看到其一半的验证器无法证明。每个分叉都会泄露验证器集的另一半质押权益,最终导致两条链以代表2/3绝对多数的不同验证器完成。在这一点上,唯一的选择就是依靠社区恢复,稍后我们会提到。然而,考虑到诚实验证器数量、网络延迟等变化,一组敌对的验证者似乎不太可能始终精确地控制总质押权益的50%比例,但也许有一种方法,攻击者可以利用略高于50%的质押权益,动态调整其在每个slot中的投票比例,以保持两个分叉之间的完美平衡。虽然成功攻击的风险,无疑会随着攻击者掌握的质押ETH比例的大小增加而增加,但与50%的质押权益相关的攻击向量,似乎不太可能被成功利用,发动此类攻击的巨大成本以及较低的成功率,对理性的攻击者而言似乎是一个很强的抑制因素。

而当攻击者控制的质押权益占到51%以上,则其可以控制分叉选择算法。在这种情况下,攻击者将能够以多数投票作证,让他们有足够的控制权来进行短期重组,而无需诚实的客户端。控制51%的质押权益不允许攻击者改变历史,但他们有能力通过将多数投票应用于对其有利的分叉,或将区块重组来影响未来。诚实的验证器会效仿,因为它们的分叉选择算法也会将攻击者喜欢的链视为最重链,因此该攻击链可以最终确定。这使攻击者能够审查某些交易,进行短程重组,并通过重新排序对其有利的区块来提取最大MEV。与工作量证明链一样,51%攻击也是非常有问题的。针对该问题的防御手段就是多数质押权益的巨大成本,攻击者会面临巨大的风险,因为社交层可能会介入,并采用诚实的少数派分叉,从而使攻击者的质押权益大幅贬值。

攻击者控制的质押权益比例大于或等于66%

控制66%或更多比例质押ETH的攻击者可以确定其首选链,而无需强制任何诚实的验证器。攻击者可以简单地投票选择他们喜欢的分叉,然后最终确定它,仅仅是因为他们可以不诚实的绝对多数进行投票。作为绝对多数的质押者,攻击者将始终控制最终区块的内容,其拥有花费、回滚和再次花费的权力,他还能审查某些交易并随意重组区块链。通过购买额外的ETH以控制66%质押比例,而不是51%,攻击者实际上购买了事后重组和最终性反转的能力。当前控制66%ETH质押权益的成本约为250亿美元,这里唯一的防御措施是退回到社交层来协调采用替代分叉。在下一节中,我们会更详细地探讨这一点。

第0层:最后一道防线

当区块链的编码防御被破坏,并且攻击者能够最终确定不诚实的区块链时会发生什么?

这种情况可能会以多种方式出现,最明显的是,当攻击者控制多数质押权益,并且可以简单地通过他们自己的投票或51%以上诚实验证器的额外证明来完成。凭借控制34%质押比例的ETH,以及对网络上消息传递的一些控制权,攻击者可以最终确定两个分叉。在某些情况下,重组链可能由于消极惩罚机制而最终确定。如果攻击者成功将验证器集划分为两个分叉,则消极惩罚机制将在两个分叉上激活,那么问题就变成了,诚实或不诚实的验证者会首先重新获得最终确定性吗?如果诚实的验证者首先确定,那么诚实链就会变成规范链,网络上所有客户端的分叉选择算法都会接受该链最终确定的部分,然后以太坊又回到了诚实玩家的控制之下。但如果不诚实的验证者设法确定了区块链,那么以太坊社区将处于非常困难的境地。规范链在其历史中会包含不诚实的部分,而诚实的验证者最终会受到惩罚。

第三种不太可能发生的情况是永久性的网络分裂,其中一个分叉上的验证器不知何故不知道对方分叉上的对应方。这会创建出两个独立确定的分叉链,每个分叉都会泄露另一组验证器的质押权益。然后这两条链永远不会重新组合在一起,因为它们将有不同的最终检查点。来自主导客户端的漏洞,也可能导致损坏但最终确定的链。在以太坊的执行层方面,go-ethereum(Geth)客户端占到了主导地位,超过85%的节点运行了该客户端。而在共识层方面,Prysm客户端目前占到了主导地位,在持续的社区活动之后,其占比才下降到50%左右。而主导执行客户端或共识客户端中的漏洞,可能会停止最终确定性或导致最终确定的数据不正确。在Kiln测试网上,Prysm中的一个漏洞影响了区块生产,这无关紧要,因为节点在四个不同的客户端中的份额大致相等,但如果是在主网,那么有超过66%的客户端会遇到相同的错误。因此,会有几条通往不诚实的最终确定链的路线,尽管它们的概率非常低。它们都需要在质押ETH上投入巨资,或者对验证器集进行非常复杂的操作,截至目前,只有在理想条件下才证明是可行的,并且这些攻击都通过软件更新得到了缓解。然而,我们不能排除万一的情况,那么,最终的解决方案就是依靠社交层。

以太坊PoS共识机制的优势之一是,社区在面对攻击者时可以采用一系列防御策略。最小的响应可能是强制将攻击者的验证器从网络中退出,而不会受到任何额外的惩罚。而攻击者要重新进入网络,必须加入一个激活队列,以确保验证器集逐渐增长。例如,添加足够的验证器以使质押的ETH数量翻倍大约需要200天,在攻击者可尝试另一次51%攻击之前,有效地为诚实验证器带来了200天的应对时间。当然,社区也可以决定更严厉地惩罚攻击者,比如取消过去的奖励,或燃烧掉攻击者的部分质押资本。

无论对攻击者施加何种惩罚,社区还必须共同决定不诚实的区块链是否实际上无效,并且社区应该建立在诚实的替代链上。诚实的验证器可以集体同意构建在社区认可的以太坊分叉之上,例如,在攻击开始之前可能已经分叉了规范链,或者强行移除了攻击者的验证器。诚实的验证器将被激励在该分叉链上构建,而建立在以太坊上的交易所和应用可能更喜欢在诚实链上,并会跟随诚实的验证器进入诚实的区块链。然而,这将是一个极其混乱的治理挑战。一些用户和验证者无疑会因为切换回诚实链而输掉资金,攻击后验证的区块交易可能会被回滚,从而扰乱应用层,这完全冲击了倾向于相信“代码就是法律”的用户。此外,一些用户,甚至可能是机构用户,他们会通过精明或机缘巧合的方式从不诚实的区块链中获益,并可能反对分叉以保护他们的收益。有人呼吁社区对超过51%的质押攻击进行应对演练,以便能够快速执行合理的协调缓解措施。Vitalik在ethresear.ch以及Twitter上都进行了一些有益的讨论

治理已经是一个复杂的话题,而对于以太坊社区来说,对不诚实的最终链进行第0层紧急响应无疑会是一个挑战,但在以太坊的历史上,这已经发生了两次。最终,即使我们拥有如此惊人的技术堆栈,如果最坏的情况发生,社区的参与者也必须协调出一条出路。

总结

本文探讨了以太坊合并到权益证明共识机制后,攻击者可能会采用的一些攻击信标链的方式。总体而言,攻击者控制的质押ETH比例越多,其攻击的成功机会就越大,因为他们的质押权益可以转化为投票权,以此用来影响未来区块的内容。而随着攻击者控制的质押ETH比例增大,其能够实现的破坏力就越大:

33%:延迟最终性

34%:导致双重最终性

51%:审查,控制区块链的未来

66%:审查,控制区块链的过去与未来

还有一些更复杂的攻击方式,它们只需要控制少量的质押ETH,但这些攻击要求攻击者对消息时间的精细控制,以使诚实的验证器集对他们有利。

总的来说,尽管存在这些潜在的攻击向量,但信标链的风险很低,甚至要低于工作量证明的等效链。这是因为攻击者为了用投票权压倒诚实的验证器,需要将质押ETH的巨大成本置于风险之中。内置的“胡萝卜加大棒”激励层可以防止大多数的恶意行为,尤其是对于低质押的攻击者。更微妙的弹跳攻击和平衡攻击也不太可能成功,因为真实的网络条件使得很难实现对特定验证器子集的消息传递进行精细控制,并且客户端团队已经用简单的补丁快速关闭了已知的弹跳攻击、平衡攻击以及雪崩攻击向量。

而34%、51%或66%攻击可能需要社区协调才能解决。虽然这对社区来说可能是痛苦的,但社区在带外响应的能力对攻击者来说是一个强大的抑制因素。以太坊社交层是最终的后盾,一次技术上成功的攻击仍可能被同意采用诚实分叉的社区所扼杀。最终,攻击者和以太坊社区之间会有一场竞赛,如果进行得足够快,用于66%攻击花费的250亿美元可能会被一次成功的社交协调攻击所抹杀。

对于攻击者来说,有利可图的可能性会很低,这足以起到有效的威慑作用。这就是为什么维持一个价值观一致的凝聚力社会层,对于加密投资而言是如此重要的原因。

译者注:截至目前,以太坊全网质押的以太币数量大约为1400万ETH,而通过Lido质押的以太币数量已经达到了428万ETH,这大约占到了30.5%的ETH质押比例,而这对于以太坊网络而言无疑是最大的安全隐患,因此以太坊开发者们也建议质押者将ETH分散到不同的协议当中,而面对TornadoCash级别的审查,类似以太坊这样的PoS链可能都是相对脆弱的,正如vitalik所言,社交层将作为最后的恢复手段。

标签:以太坊ETH区块链以太坊币是什么币ETH钱包地址ETH挖矿app下载Etherael指什么寓意区块链工程专业学什么区块链存证怎么弄区块链技术发展现状和趋势

ICP热门资讯
懂近期爆火的Telegram Bots板块及其范例Unibot

近日,TelegramBots概念币种突然暴涨引发市场关注。数据显示TelegramBots代币市值逼近9500万美元,近24小时交易额超1900万美元.

1900/1/1 0:00:00
DAO 发展博弈:如何实现 Web3 治理乌托邦

随着Web3发展势头的高歌猛进,行内人士对管理去中心化协议的讨论逐渐兴起。高度开放、权利自主的自治组织一直为人们所期盼.

1900/1/1 0:00:00
Vitalik:探索公共物品资金分配优先次序-Revenue-Evil 曲线

公共物品在任何大规模生态系统中都是一个非常重要的话题,但通常也是一个难以定义的话题。这里有三种不同的定义:经济学家:非排他性和非竞争性物品,这两个技术术语合在一起意味着很难通过私有财产和基于市场.

1900/1/1 0:00:00
DeSci生态全面概述:去中心化科学浪潮的现状与发展

随着区块链的出现和发展,越来越多的行业开始追求开放、透明、去中心化。在短短几年时间里,区块链就已经向人类展示了非常多的有利面——让金融去中心化,让艺术和创造力向全世界开放.

1900/1/1 0:00:00
Facebook另一个公链「儿子」:0L Network的打怪之路

何为0LNetwork 0L是一个社区驱动的Layer1公链开源项目。它没有企业赞助商、风险投资、基金会,是一个完全中心化的社区。项目的决定也由社区成员投票做出。0L也是基于Move语言的程序.

1900/1/1 0:00:00
“加密VC渣男”Paradigm能否重获社区信任?

区块链7月2日2022年11月,一款强大的人工智能工具ChatGPT横空出世,引发了全世界对于人工智能技术的惊叹,更是吸引了部分嗅觉敏锐的风险投资家们.

1900/1/1 0:00:00