链资讯 链资讯
Ctrl+D收藏链资讯

Eth2 中的时间服务器攻击及其缓解措施

作者:

时间:

摘要:Eth2 中的时间服务器攻击之前也有人讨论过。但迄今为止,主流意见都认为这种攻击只能导致验证者暂时离线,等节点运营者重建正确的时间同步措施,节点就能重新回到线上。但是,如果节点可以被诱去签署一条有关遥远未来某个 epoch 的见证消息(attestation),危险性就远不止暂时离线这么简单:因为共识算法的环绕投票罚没规则,这些节点在整个网络实际到达该错发的见证消息的目标 epoch 之前,将不能再签名任何见证消息(否则就会触发罚没)。在共识规则的运作下,这种时间服务器攻击会导致受攻击的验证者几乎永远离线,而相关的权益人也会因为懒惰惩罚(inactivity leak)而付出惨痛代价。

Eth2 中的见证消息就是验证者签过名的、包含所认可的来源检查点和目标检查点的信息;来源检查点和目标检查点都以时段号(epoch number)和区块根(block root)来表示。Casper FFG 的算法的安全性保证之一便是 “无环绕投票” 规则:验证者签名过的任意两条消息中,不能出现有 attestation1.source < attestation2.source 且 attestation2.target < attestation1.source 的情况(一条见证消息所试图敲定的范围恰好在另一条见证消息试图敲定的范围内)。

Web3订阅和支付平台Suberra已融资270万美元:金色财经报道,Web3订阅和支付平台Suberra已融资270万美元,Spartan Capital、Delphi Digital、Hashed、Newman Capital、Defiance Capital、Arcane Group和Tsing Tech Ventures等参投。

Suberra正在构建一个加密货币支付平台,供企业以快速简便的方式在全球范围内接受自动定期订阅和一次性加密货币支付。它可以与现有的网络应用程序集成在一起,并允许企业在信用卡之外接受加密货币。募集的资金将用于启动商家平台并推动Suberra下一阶段的发展,包括加速增长、扩大运营和扩大团队,订阅产品将于2022年第四季度推出。[2022/10/7 18:41:23]

我们可以按如下手法炮制一次时间服务器攻击:第一步是通过操纵时间服务器的时间,使之跳转到未来的某个时间,使得被攻击验证者的时间也跳转到未来(比如说 15 到 20 天之后),这个时间必须短于懒惰惩罚致使验证者余额降低至零的时间,否则验证者就不会再签名见证消息了。

然后我们需要诱相关的节点,使之认为它其实是跟链保持同步的,然后它才会签署见证消息。如果攻击者控制了多个对等节点,这一点总是有可能做到的,只需在点对点的网络频道中发送一些来自未来时间的见证消息和区块即可。控制多个节点也是容易实现的,所以这并不是一个不现实的攻击者假设。

一旦目标验证者签名了一条以未来 epoch 为目标 epoch 的见证消息,攻击者就可以把这条消息保存下来,然后确定这名验证者在整个网络实际到达那个未来 epoch 之前,都不能再签名任何见证消息了(否则攻击者可以发出这条消息,使之被罚没)。当前所有 Eth2 实现的验证者客户端都有措施防止该验证者签署相互冲突的见证消息,因此该验证者实质上就是离线了。

一名攻击者可以通过一个时间服务器(或类似设施,例如 roughtime)来驱逐所有 TA 能影响到的验证者。这种攻击会比此前使用同样界面所设想的攻击更为恶劣,因为影响不是暂时的,而是持久得多。虽然我们有可能在几分钟之内就能发现这样的攻击,而且所有专业的节点都能在几个小时内恢复正常时间,但这于事无补,因为损害已经发生了 —— 而且可以导致验证者的惨重损失,例如,可能有很多验证者会因为指数升高的懒惰惩罚而被提出网络。

我们可以在验证者客户端中加入一条不罚没规则:要求他们在签署所有消息前都评估当前的时间,而且不要提前签署未来的消息。这个办法其实只有在验证者客户端与信标链节点没有部署在同一台机器上且没有被攻击波及时才有用。不过,对于密钥分割型验证者来说是一个明确的改进,因为这个规则将不允许领导哦啊这节点提议一条未来的见证消息,可以阻挡验证者的行动。

本文所提出的问题表明,时间服务器的同步措施所包含的攻击界面比我们从前设想的严重得多,必须引起我们的注意。

小幅度的时间偏移虽然恼人,但不会导致严重的问题,所以,仅在时间服务器推送的更新与本地的 RTC 时间相差幅度在一定范围内才使用更新、否则就拒绝更新,似乎是更好的模式。

但这个模式仍会遗留一个攻击界面在启动进程中。因此时有发生的大规模电源中断可能会演变成严重的问题、一次性影响众多验证者。我认为,可以让验证者客户端在启动前先检查罚没保护数据库、如果在几个小时乃至几天内都没有签名过任何消息,就拒绝启动。长时间不签名消息意味着可能发生了时间服务器攻击。可以添加一个强制启动的标签来应对例外情况。

标签:POCATTTTEIONtokenpocket币被转走了BITGATTIsunbitternbirdUnion

欧易okex官网热门资讯
比特币突破1.1万美元背后的3个因素和未来3个走向

十月刚刚进入第一周,比特币一度下跌到10,500美元,但现在已经回升至11,000美元以上,接下来又会发生什么呢? 相比于一周前,比特币价格已经有所回升,本文撰写时(10月9日)已经比10月2日上涨近6.5%,达到11,076.70美元,市值也重新回到2000亿美元以上。

金色数读 | Filecoin主网上线1小时 重要数据一览

Filecoin主网上线1小时,重要数据一览!。

数字资产衍生品平台BitWell的领路人 “乱世英雄”Jeff Young

浮华纷扰的币圈,从不缺创新者。层出不穷的概念和模式在币圈翻云覆雨指点江山,而创业者们“群雄争霸各领风骚”。 所谓乱世出英雄。Jeff Young,就是其中一位。相比其他币圈创业者,Jeff身上更多了一些传统互联网圈子的沉稳。

金色观察丨什么样的稳定币才能深度优化DeFi?

金色财经 区块链10月12日讯? 如今DeFi行业里涌现出了大量支持收益耕作和抵押的功能和协议,加密货币持有者通过抵押自己的数字资产即可换取收益,诱人的回报导致该领域里的许多项目获得了爆发性增长,且每个项目都有自己专属的治理代币、分配策略和抵押协议。

从数据看 DeFi 如何助推以太坊的发展

过去几个月来,数十个项目发布,大量资金涌入,DeFi 领域达到了新的高度。绝大多数 DeFi 应用都构建在以太坊上,并且,DeFi 的爆炸式增长已经影响到了整个以太坊网络。DeFi 不仅将以太坊推向了极限,还加快了创新和实验的步伐。在本文中,我们研究了 4 个 DeFi 代币项目是如何影响以太坊,并推动其演变的。

怎样优化区块链游戏中的经济模式?

按平台划分,移动端游戏长期占据游戏业。 全球约51%的游戏市场份额来自移动端。预期到2021年,移动手机游戏收入将增长到1000亿美元。目前,移动游戏开发者从应用商城(付费APP)或游戏中的交易获取任何信息需支付30%的手续费。 对比之下,区块链游戏和其它同类型游戏是带有独特经济模式的小众市场。