木星链 木星链
Ctrl+D收藏木星链
首页 > BTC > 正文

SYN:引介:ETH2中的时间服务器攻击及其缓解措施

作者:

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

编者按:本文来自

以太坊爱好者

,作者:dankrad,翻译:阿剑,Odaily星球日报经授权转载。

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

马斯克再次表达对狗狗币的支持:6月6日消息,推特创始人 Jack Dorsey 在社交平台上表示支持 Coinbase 将其业务重新聚焦在比特币上,马斯克在此推文下表达对狗狗币的支持。受此消息影响,DOGE 短时涨超 2%。[2023/6/6 21:20:14]

攻击界面

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

zkSync Era活跃度超越Immutable X和Optimism:4月2日消息,目前仍处于Alpha阶段的zkSync Era仅用了一周时间就成为活跃度第二高的L2,仅次于Arbitrum One。

据l2beat数据显示,zkSync Era过去一天的TPS为4.02,而Immutable X为3.21、Optimism为2.50,历史数据显示zkSync Ear链上最高单日TPS发生在3月23日,当日该指标值为31.64。此外,当前zkSync Ear链上总锁仓量已达到9612万美元。[2023/4/2 13:40:26]

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

被捕的Tornado Cash开发者至少在监狱再呆90天:8月25日消息,荷兰法官周三裁定,本月早些时候因发布Tornado Cash协议的开源代码而被捕的开发人员Alexey Pertsev必须至少再入狱90天。

据悉,荷兰执法部门8月10日在阿姆斯特丹逮捕了Pertsev。(Crypto Briefing)[2022/8/25 12:46:26]

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

DEX聚合器ParaSwap推出点对点NFT交易应用:6月20日消息,DEX聚合器Para Swap宣布推出点对点NFT交易应用,该应用允许卖家为其NFT创建自定义订单,这些订单可以直接发送给买家,并在后端使用Para Swap的DEX引擎。该应用将使用Ramp作为法币入口,并在前三周或交易量达到50万美元之前无需交易费用,平台上使用以太坊之外的代币进行交易的产生的Gas费将进行退还。(CoinDesk)[2022/6/21 4:41:09]

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

结果

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

缓解措施

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

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

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

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

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

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

标签:SYNzkSyncPOCSYNCSynergyzksync币价格poc币实时价格zksync币图标

BTC热门资讯
CEO:前CEO带着情人卷钱跑路,迅雷到底怎么了?

编者按:本文来自区块律动BlockBeats,作者:0x2,Odaily星球日报经授权转载。十一假期的最后一天,美股上市公司迅雷发布了一份公告,指责迅雷前CEO陈磊涉嫌挪用公司数千万元资金炒币、.

1900/1/1 0:00:00
FIL:Filecash主网正式上线,中心化存储回归社区

10月14日,由MIX集团主导的Filecoin首个分叉币Filecash主网正式上线,15日,Filecoin主网上线,新一波浪潮再次被掀起.

1900/1/1 0:00:00
DEFI:为什么说DeFi将催生银行业杀手级应用?

编者按:本文来自区块链大本营,作者:RasVasilisin,译者:火火酱,Odaily星球日报经授权转载。金融系统已经濒临崩溃,而现实世界也不存在力挽狂澜的超级英雄.

1900/1/1 0:00:00
KIRBY:猎鲸记:看看SBF和Blue Kirby在DeFi闹剧中做了什么

编者按:本文来自链闻ChainNews,撰文:匿名作者,编译:詹涓,星球日报经授权发布。红蜡烛烧得最旺。当牛市停止奔跑,手指就开始指向对方,欣喜和贪婪变成了怀疑和指责.

1900/1/1 0:00:00
DEFI:ETH上的BTC超15亿美元,DeFi真实锁仓资金90亿美元,DeFi还有机会吗?

编者按:本文来自小吒闲谈,Odaily星球日报经授权转载。DeFi挖矿,从年化利率到可持续时间,与之前都已没有可比性了。DeFi的矿币,也经历了一波大洗,不少币已经跌了90%以上,割了不少人.

1900/1/1 0:00:00
HAI:【参与有奖】来接龙获得秋天里的第一份FC

参与即有奖。Odaily星球日报联合conflux给大家送福利啦!参与活动即可获得FC~参与方式:进入Odaily星球日报官方微博,找到微博.

1900/1/1 0:00:00