ATT:技术 | Eth2中的时间服务器攻击及其缓解措施_EthereumPoW

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

攻击界面

声音 | 中科院院士：加快融合区块链等技术 有利于助推智慧社会高速发展:12月18日，以“智聚赋能 创新未来”为主题的2019山东省创新驱动发展高峰论坛在山东济南召开。围绕“密码学与区块链技术”主题，中国科学院院士王小云在现场表示，密码是保障网络与信息安全的核心技术和基础支撑，而区块链技术创造性地解决了如何在无许可环境下达成共识的问题。在发展供应链金融方面，区块链可解决多个行业痛点，加速普惠金融。加快融合区块链、人工智能等信息技术，有利于助推智慧社会高速发展。（中新网济南）[2019/12/18]

Eth2中的见证消息就是验证者签过名的、包含所认可的来源检查点和目标检查点的信息；来源检查点和目标检查点都以时段号和区块根来表示。CasperFFG的算法的安全性保证之一便是“无环绕投票”规则：验证者签名过的任意两条消息中，不能出现有?attestation1.source<attestation2.source?且?attestation2.target<attestation1.source?的情况。

动态 | 浙江省政务服务平台试水区块链技术 累计开具医疗收费电子票据金额超40亿:据浙江新闻消息，浙江省在2019年6月依托浙江政务服务网上线了全国首个区块链电子票据平台，在全省统一的移动政务服务平台“浙里办”试水区块链技术，以提高政务服务效能。最新数据显示，目前浙江全省已有包括浙一医院、浙医二院、邵逸夫医院在内的超过400家各级医疗机构上链，累计开具医疗收费电子票据数量超1亿，金额超过40亿元。浙江政务服务网工程师吴钢表示，随着区块链被应用到更多的办事事项中，相关政务数据的存储和应用会更安全。[2019/10/26]

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

动态 | 重庆创新应用区块链技术 破解政务服务信任难题:据重庆日报消息，重庆创新应用区块链技术，破解政务服务信任难题。开展政务区块链技术应用，可最大限度减少办事企业群众重复提交证照和证明材料、窗口工作人员反复审核的成本，提高政务服务效能，提升办事企业群众满意度。[2019/3/8]

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

区块链游戏“Etheremon”接入VR技术 创始人想做区块链版Pokemon:\t\t\t\t \t\t\t\t近日，区块链游戏“Etheremon”在 Twitter 宣布，正式加入 Decentraland 虚拟世界，双方达成合作。Etheremon将在第三阶段的发展中借由 VR 技术和去中心化来实现最佳化游戏体验。谈到这款游戏未来的发展时，游戏创始人Jarvis Nguyen表示：“你看到人们对Pokemon有多疯狂了吗？Etheremon也将会做到这点，更何况基于区块链技术，我们会表现得更好。”[2018/3/7]

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

结果

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

缓解措施

加入验证者客户端不罚没规则

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

为时间同步措施加入更多的保护

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

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

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

。

?https://arxiv.org/abs/1710.09437?Timeattacksandsecuritymodels

原文链接:?https://ethresear.ch/t/eth2-attack-via-time-servers/8049作者:?dankrad翻译:?阿剑

标签：ATTETHPOCIONrattlesnaketokenEthereumPoWpoc币有没有大的发展Minions Finance

币安app下载热门资讯