宇宙链 宇宙链
Ctrl+D收藏宇宙链

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

作者:

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

:"\u003Cp\u003E编者按:本文来自\u003Cahref=\"https:\u002F\u002Fmp.weixin.qq.com\u002Fs\u002FoJIyAQ9S7A1buoxiz0-qvg\"target=\"_blank\"\u003E以太坊爱好者\u003C\u002Fa\u003E,作者:dankrad,翻译:阿剑,Odaily星球日报经授权转载。\u003Cbr\u002F\u003E\u003C\u002Fp\u003E\u003Cp\u003E摘要:Eth2中的时间服务器攻击之前也有人讨论过。但迄今为止,主流意见都认为这种攻击只能导致验证者暂时离线,等节点运营者重建正确的时间同步措施,节点就能重新回到线上。但是,如果节点可以被诱去签署一条有关遥远未来某个epoch的见证消息,危险性就远不止暂时离线这么简单:因为共识算法的环绕投票罚没规则,这些节点在整个网络实际到达该错发的见证消息的目标epoch之前,将不能再签名任何见证消息。在共识规则的运作下,这种时间服务器攻击会导致受攻击的验证者几乎永远离线,而相关的权益人也会因为懒惰惩罚而付出惨痛代价。\u003C\u002Fp\u003E\u003Ch2\u003E攻击界面\u003C\u002Fh2\u003E\u003Cp\u003EEth2中的见证消息就是验证者签过名的、包含所认可的来源检查点和目标检查点的信息;来源检查点和目标检查点都以时段号和区块根来表示。CasperFFG的算法的安全性保证之一便是“无环绕投票”规则:验证者签名过的任意两条消息中,不能出现有attestation1.source<attestation2.source且attestation2.target<attestation1.source的情况。\u003C\u002Fp\u003E\u003Cp\u003E我们可以按如下手法炮制一次时间服务器攻击:第一步是通过操纵时间服务器的时间,使之跳转到未来的某个时间,使得被攻击验证者的时间也跳转到未来,这个时间必须短于懒惰惩罚致使验证者余额降低至零的时间,否则验证者就不会再签名见证消息了。\u003C\u002Fp\u003E\u003Cp\u003E然后我们需要诱相关的节点,使之认为它其实是跟链保持同步的,然后它才会签署见证消息。如果攻击者控制了多个对等节点,这一点总是有可能做到的,只需在点对点的网络频道中发送一些来自未来时间的见证消息和区块即可。控制多个节点也是容易实现的,所以这并不是一个不现实的攻击者假设。\u003C\u002Fp\u003E\u003Cp\u003E一旦目标验证者签名了一条以未来epoch为目标epoch的见证消息,攻击者就可以把这条消息保存下来,然后确定这名验证者在整个网络实际到达那个未来epoch之前,都不能再签名任何见证消息了。当前所有Eth2实现的验证者客户端都有措施防止该验证者签署相互冲突的见证消息,因此该验证者实质上就是离线了。\u003C\u002Fp\u003E\u003Ch3\u003E结果\u003C\u002Fh3\u003E\u003Cp\u003E一名攻击者可以通过一个时间服务器来驱逐所有TA能影响到的验证者。这种攻击会比此前使用同样界面所设想的攻击更为恶劣,因为影响不是暂时的,而是持久得多。虽然我们有可能在几分钟之内就能发现这样的攻击,而且所有专业的节点都能在几个小时内恢复正常时间,但这于事无补,因为损害已经发生了——而且可以导致验证者的惨重损失,例如,可能有很多验证者会因为指数升高的懒惰惩罚而被提出网络。\u003C\u002Fp\u003E\u003Ch2\u003E缓解措施\u003C\u002Fh2\u003E\u003Ch3\u003E加入验证者客户端不罚没规则\u003Cbr\u002F\u003E\u003C\u002Fh3\u003E\u003Cp\u003E我们可以在验证者客户端中加入一条不罚没规则:要求他们在签署所有消息前都评估当前的时间,而且不要提前签署未来的消息。这个办法其实只有在验证者客户端与信标链节点没有部署在同一台机器上且没有被攻击波及时才有用。不过,对于密钥分割型验证者来说是一个明确的改进,因为这个规则将不允许领导哦啊这节点提议一条未来的见证消息,可以阻挡验证者的行动。\u003C\u002Fp\u003E\u003Ch3\u003E\u003C\u002Fh3\u003E\u003Ch3\u003E为时间同步措施加入更多的保护\u003C\u002Fh3\u003E\u003Cp\u003E本文所提出的问题表明,时间服务器的同步措施所包含的攻击界面比我们从前设想的严重得多,必须引起我们的注意。\u003C\u002Fp\u003E\u003Cp\u003E小幅度的时间偏移虽然恼人,但不会导致严重的问题,所以,仅在时间服务器推送的更新与本地的RTC时间相差幅度在一定范围内才使用更新、否则就拒绝更新,似乎是更好的模式。\u003C\u002Fp\u003E\u003Cp\u003E但这个模式仍会遗留一个攻击界面在启动进程中。因此时有发生的大规模电源中断可能会演变成严重的问题、一次性影响众多验证者。我认为,可以让验证者客户端在启动前先检查罚没保护数据库、如果在几个小时乃至几天内都没有签名过任何消息,就拒绝启动。长时间不签名消息意味着可能发生了时间服务器攻击。可以添加一个强制启动的标签来应对例外情况。\u003C\u002Fp\u003E

BlockSec:由于StakingPool合约中参数检查不充分,OMNI ESTATE GROUP损失236枚BNB:1月17日消息,据BlockSec监测,欧洲房地产 NFT 市场 OMNI ESTATE GROUP 由于 StakingPool 合约中的参数检查不充分,被黑客攻击损失 236 枚 BNB。攻击者可以投资 1 wei 提取 ORT 代币奖励。该奖励通常根据存入持续时间和金额来通过 _Check_reward 函数计算,但持续时间始于输入参数 end_date,该值并未检查。在 _Check_reward 函数中,如果持续时间参数无效,则返回默认状态变量(total_percent),该变量在攻击开始时为 6000e18。该攻击资金来自于 FixedFloat,攻击者发动多次此类攻击后,将 ORT 代币兑换为 BNB。[2023/1/17 11:16:15]

上海市地方金融监管局葛平:区块链等领域一批细分领域的龙头科技公司在上海集聚发展:金色财经报道,第四届上海金融科技国际论坛在上海陆家嘴中国金融信息中心举行。18日,上海市地方金融监管局副局长葛平在“新领域,新赛道:数字经济时代的金融科技人才高地建设”平行论坛上表示,当前数字化正在以不可逆转的趋势改变着人类社会,逐步成为推动经济社会发展的核心驱动力。上海高度重视金融领域的数字化转型和金融科技中心建设,在各方的共同努力下,上海金融领域的数字化转型取得积极成效。

“目前,上海在金融基础设施、银行、证券、保险、支付等领域吸引了大批的金融科技公司落户,人工智能、区块链、大数据、云计算等领域的一批细分的技术领域的龙头科技公司在上海集聚发展,上海已经成为国内最主要的金融科技头部企业集聚地。”葛平说。(上海证券报·中国证券网)[2022/12/19 21:52:55]

欧洲议会通过数字政策,欧盟区块链基础设施计划开始实施:金色财经报道,欧洲议会通过了对欧盟数字十年政策计划的投票,其中包括投资跨境区块链基础设施作为其2030年目标的一部分。欧洲现有的区块链倡议可能会得到更多支持,以建立基于区块链的公共服务。

该政策文件为欧盟实现2030年的数字化目标设定了雄心。它概述了实现这些目标的大规模、所谓的 \"多国项目\",涵盖的主题包括建立共同的数据基础设施、加强高性能计算、推出5G互联网走廊以及投资区块链和web3解决方案。(the block)[2022/11/24 8:05:21]

去中心化跨链流动性协议Chainge Finance现已集成EthereumPoW:据官方消息,9月18日,去中心化跨链流动性协议 Chainge Finance宣布已集成EthereumPoW,目前支持WETHW、ETH、WBTC、USDT、USDC、BUSD、DAI、BNB八种资产在EthereumPoW和其他受支持的区块链网络中跨链漫游。[2022/9/19 7:05:31]

标签:STAETH区块链STATSTARK币eth在植物生理中代表什么区块链专业BSC Station

莱特币价格热门资讯
波卡官方:如何在波卡上获得平行链插槽

编者按:本文来自PolkaWorld,Odaily星球日报经授权转载。Polkadot是一个区块链网络,它通过将交易分散到多个并行的区块链分片上进行扩展。平行链是Polkadot上的专用分片,它为项目及其社区提供了各自的代理权.

1900/1/1 0:00:00
原创项目为何都在以太坊生态?

在币圈,每当技术项目陷入低谷时,资金盘就会蜂拥而出,这几乎成为币圈不变的规律。近来以太坊生态内的DeFi项目已经跌得惨不忍睹,包括各个领域的头部项目都已经有了很大的跌幅.

1900/1/1 0:00:00
美联储、欧洲央行和英国央行等7家央行发布CBDC综合报告,说明数字货币设计方法

编者按:本文来自巴比特资讯,作者:YogitaKhatri,编译:夕雨,星球日报经授权发布。要点:一个由七个中央银行和国际清算银行组成的小组已发布了有关数字货币的综合报告,详细说明了数字货币应该如何设计.

1900/1/1 0:00:00
矿机的数学博弈论:如何实现帕累托最优

作者:芯脉微电子CEO谢丹加密货币的挖矿是一个新兴的行业,其产业链短、技术立足的特点使得矿机定价是一个很奇妙的博弈:定价高了,矿机商卖不出去;定价低了,矿场赚了大部分钱。其实矿场中矿机本身的运营,也是需要数学博弈论在后面支撑的.

1900/1/1 0:00:00
比特币价格创了新纪录,盈利的人还是很少

当前市场上暂时已经没有什么值得疯狂的热点,甚至关注点也越来越少,当前已然是和隔壁股市一样,逐渐进入了过节的气氛,但比特币波动其实还是可以的,相对来说是最不平静的那个.

1900/1/1 0:00:00
富达报告:比特币的收益与其他资产之间几乎没有关系

编者按:本文来自Cointelegraph中文,作者:BENJAMINPIRUS,Odaily星球日报经授权转载。近年来,关于比特币的价格是否与其他金融资产相关,人们展开了一场思想斗争.

1900/1/1 0:00:00