区块链:51%攻击会增加ETH的价值?看Vitalik如何解释Casper FFG的安全性

针对CasperFFG共识协议的安全性问题,以太坊联合创始人Vitalik撰文表示:

“,无论哪种情况,51%攻击对于社区来说都是一个欢乐的时刻,因为想要造成1天或1周的破坏,攻击者被消耗的ETH将是以年总产量为代价的,这反过来会增加ETH的价值,从而使未来的攻击变得更为昂贵。”

以下是译文:

对共识系统执行51%攻击的成本虽然很大,但它并非是无限的,因此51%攻击的风险始终存在。此外,如果攻击成功,想要在“协议内”实现恢复是非常困难的,而且往往是不可能的。在工作量证明系统中,成功的51%攻击是有利可图的,因此攻击可无限循环进行,而针对ASIC工作量证明系统的攻击,可变得更便宜。而在权益证明系统中,成功的51%攻击可阻止新的存款。

腾讯云获区块链国际标准立项:9月25日消息,腾讯云的提案在国际电信联盟ITU-T SG17会议中获全票通过,成为首个区块链智能合约安全领域的国际标准。

腾讯云副总裁、腾讯安全平台部负责人杨勇表示,腾讯云区块链致力于打造数字经济时代的信任基石,而安全则是腾讯云区块链的基础要素,此次智能合约安全标准立项,为区块链产业生态建设提供了很重要的技术基础,未来腾讯云将与行业共建区块链安全标准,助力安全、高效的数字化万物互联。(TechWeb)[2020/9/25]

这些事实告诉我们,必须要有一个连贯的策略来应对51%攻击,使得链能够恢复正常运行。这种策略不会经常使用,它的存在也许足以阻止攻击,因此其存在是需要的。正如我们将看到的,基于存款的PoS在一定程度上是高度安全的,因为任何51%攻击,都会给攻击者带来极高的经济损失。

最终确定性逆转攻击

最终确定性逆转是目前为止被谈论最多的一类51%攻击,而在PoS系统中,这是最容易被处理的一种攻击。

声音 | 杨红星:区块链应用有助于跨国公司供应链金融计划:据人民网消息,海尔集团供应链金融总监杨红星表示,2017年以后,区块链的应用,使大多数的跨国公司都已经广泛的实施了供应链金融计划,跨国企业大概有60%,在澳大利亚只有4%,在中国感觉连1%都不到。杨红星指出,未来将帮助供应链的供应商和经销商提供更好的金融服务。[2018/10/30]

很容易处理的原因是,它正是CasperFFG的“经济最终确定性”机制的设计初衷:BFT最终确定性的整个要点是,要最终确定两个冲突的区块,必须有一个a≥1/3?|V|相交验证者集(|V|作为活跃验证者集的大小)签署了两条互相矛盾的消息,因此可在两条链上进行罚没操作。

注意,客户端实现的分叉选择规则会阻止逆转已完成的区块。因此,如果在上面的场景中,上面的链是在下面的链之前完成,那么在线客户端都将停留在上面的链上。只有离线客户端在返回在线状态时才会看到两个供选择的链。因此,离线客户端需要联系社区,以询问哪条链是合法的。我们称之为一个次要的附加协议负担:在线节点有一个自然而然的正确选择,只有少数几个节点需要询问已经达成的共识。

行情 | A股开盘:区块链板块开跌0.02%:A股开盘,区块链板块整体下跌0.02% 。84只概念股中,涨幅前三为:文化长城(+1.44%)、嘉泽新能(+0.99%)、北信源(+0.85%);跌幅前三为:欧浦智网(-3.04%)、银之杰(-1.36%)、用友网络(-1.21%)。[2018/10/10]

更困难的情况是两条链同时完成:除非攻击者能够严重操纵网络,一次成功的攻击需控制超过1/3?|V|,至少1/2?|V|,甚至可能需要2/3?|V|,使它不太可能。此外,客户端在一个区块完成后会等待1分钟,然后才将该区块中的交易显示为已完成,这将使得此类攻击在实际执行双花攻击时的用处大大降低。然而,这种双终结性攻击仍然可用来造成混乱。

从这种攻击中恢复的最简单方法:用户选择支持LMDGHOST分叉规则的链,只考虑未被罚没的验证者。然而,在一种边界情况下,链A赢得了LMDGHOST分叉选择规则,但链B稍早完成,这就会出现无法确定哪条链应占主导地位的情况。

因此,一个愿意且能够同时完成两个链的攻击者,可要求社区聚集在一起,任意选择一条链或另一条链),尽管代价对攻击者而言是非常高的。

无论哪种情况,攻击者被罚没的验证者都应该≥1/3?|V|,这将导致数百万以太币的惩罚。因此,攻击者可能会中断交易,并要求社区进行商议,以及让用户手动更新其客户端,但代价会是极高的,这使得此类攻击的发生非常困难,而且非常罕见。

验证者审查攻击

另一种更困难的51%攻击是审查攻击。交易审查并不是一个大问题,因为我们假设最终会有一个友好的验证者会将任何给定的交易打包到一个区块中。相反,我们更关注的是验证者的审查。验证者的审查可能会有很多原因,而最可能的两个原因是审查那些拒绝合作的验证者,以及阻拦攻击。

审查是更为棘手的,因为没有“罚没条件”可以检测到它:审查的本质是,不包含你想要包含信息的行为。事实上,从不在线的任何验证者或客户端的角度来看,A审查B,和B不与A交谈是不可区分的,了解有关此的更多信息,请参阅https://vitalik.ca/general/2017/07/16/triangle_of_harm.html

然而,在线节点是可以检测到审查行为的,因此,我们面临的挑战是处理“边界条件”,并确定何时审查是足够糟糕的,以至于协议外干预及处理不可避免出现边界条件的挑战,是值得的。

让我们区分两个案例:首先是,审查集大于1/3?|V|,也就是说,介于1/2和2/3的验证者正在审查另一部分,并在这些验证者无法包含其消息的地方建立一条链。因为少于2/3的验证者在同一条链上,没有区块会被最终确定,在攻击者的链上,攻击者没有损失任何金钱,但受害者会损失他们大部分的存款。

受害者唯一的求助渠道是一个“少数派软分叉”,然后将审查链列入黑名单,并继续在自己的链上工作。这种“少数派软分叉”可自动化进行:如果一条链不接受你的证明,在fork选择中会自动取消其优先级,最终它将不再显示为主导。

攻击者将无法加入两条链,因为在每个epoch周期中,每个验证者只能选择一条链参与,否则它们将遭到罚没。最终,两条分叉链都将完成一个区块并恢复正常,在少数链上,攻击者将损失其存款的很大一部分。

一个聪明的少数派群体,甚至可等到攻击者的链证明一个新区块,然后,少数派可开始建立他们自己的链,如果他们这样做了,攻击者在不承受NO_SURROUND罚没条件的情况下,将无法加入少数派的链。

而如果攻击者没有加入少数派链,他们将损失约一半的存款。

现在,让我们考虑第二个案例,这个案例会比较温和。攻击者需控制2/3?|V|的验证者集,并审查剩余<1/3?|V|的验证者集,或者攻击者执行上述攻击,但方式要更为温和。在这种情况下,有两种解决方案。首先,可尝试协调外部代币持有者加入和解封验证者。如果攻击链拒绝了他们的存款,那么这个事实将对所有人都是可见的,并将崩溃成与前一个案例相同的场景。第二,仍然可协调少数派软分叉,阻止攻击者使用上述技术加入少数链。

请注意,这两种技术,都依赖于诚实的少数人之间某种形式的协调,以确定值得拉黑的链是什么。人们可简单地依靠社区层来实现这一点,即使社区层做出不利于攻击者的决定,也会使得期望中的攻击代价变得高昂。

另外,我们可想象创造工具来协助协调。一个简单的例子是这里提出的99%容错共识提议:https://vitalik.ca/general/2018/08/07/99_fault_tolerant.html,其可以在网络延迟相当低的在线节点之间创建共识。

总结

在最终确定性逆转攻击的情况下,我们已经知道攻击者可能会遭到罚没,因此攻击可能会是非常昂贵的。而试图控制区块的创建,以便在攻击后在哪条链上继续进行额外的协议协调攻击,其代价会更加高昂。相比之下,审查攻击会更具挑战性,因为如果社区没有反应,它们会“默认”成功并造成伤害,而这种攻击可通过协议外的“少数派软分叉”共识解决,该“少数派软分叉”巧妙地使用了NO_SURROUND罚没条件,将注意力集中在攻击者无法合法加入的链上。

无论哪种情况,51%攻击对于社区来说都是一个欢乐的时刻,因为想要造成1天或1周的破坏,攻击者被消耗的ETH将是以年总产量为代价的,这反过来会增加ETH的价值,从而使未来的攻击变得更为昂贵。此外,这可以通过软分叉或分叉选择规则功能来解决,而不需要硬分叉来手动取出攻击者的币。

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

链链资讯

[0:15ms0-5:318ms