一次由存储状态引发的惨案 Cover协议被黑简要分析

By :  Kong@慢雾安全团队

据慢雾区情报，2020 年 12 月 29 日，Cover 协议价格暴跌。慢雾安全团队第一时间跟进相关事件并进行分析，以下为分析简略过程。

1、在 Cover 协议的 Blacksmith 合约中，用户可以通过 deposit 函数抵押 BPT 代币；

2、攻击者在第一次进行 deposit - withdraw 后将通过 updatePool 函数来更新池子，并使用 accRewardsPerToken 来记录累计奖励；

乌克兰虚拟资产法案草案已进行第一次听证会 将虚拟资产定义为电子数据:乌克兰虚拟资产法案草案（the Draft Bill on Virtual Assets）已在乌克兰议会(Verkhovna Rada)上进行第一次听证会，在获得立法者的初步认可后，虚拟资产法案草案在正式成为法律之前，还将经历两次听证会。 该法案将虚拟资产定义为“一组电子形式的数据”，“可以成为公民交易的独立对象，也可以证明财产权或非财产权”。法案建议不要将虚拟资产视为乌克兰的法定货币。在听证会上，一些议员谴责该法案，认为该草案考虑的事情与乌克兰经济的问题相距太远。但最后该草案在340票中仍获得229票赞成，并通过了立法程序的第一阶段。（Coindesk）[2020/12/2 22:54:35]

3、之后将通过 _claimCoverRewards 函数来分配奖励并使用 rewardWriteoff 参数进行记录；

声音 | 赵长鹏：希望在本月决定下一次Launchpad上线项目:今日赵长鹏在推特线上问答活动中透露：币安正在安排下一次的Launchpad项目，目前已经有数个候选者，希望可以在五月份决定最终上线项目。这次我们计划缩短BNB持有期，而且鉴于上一次抽签机制运行良好，社交媒体几乎没有出现相关负面反馈，所以下一次Launchpad可能将延续这一模式，具体的项目名称将在后期公布。但这一进程需要延迟大概不到一周的时间，因为下周币安将专注于尽快恢复全面运作。[2019/5/8]

4、在攻击者第一次 withdraw 后还留有一小部分的 BPT 进行抵押；

声音 | Zebpay CEO：Facebook的加密野心是对区块链和加密生态系统的又一次验证:据Livebitcoinnews消息，印度交易所Zebpay首席执行官Ajeet Khurana表示，Facebook的加密野心是对区块链和加密生态系统的又一次验证，2019年初，从JP Morgan Coin到捷豹的IOTA计划，再到介于二者之间的一切表明，机构热情大幅上升。[2019/5/5]

5、此时攻击者将第二次进行 deposit，并通过 claimRewards 提取奖励；

6、问题出在 rewardWriteoff 的具体计算，在攻击者第二次进行 deposit - claimRewards 时取的 Pool 值定义为 memory，此时 memory 中获取的 Pool 是攻击者第一次 withdraw 进行 updatePool 时更新的值；

7、由于 memory 中获取的 Pool 值是旧的，其对应记录的 accRewardsPerToken 也是旧的会赋值到miner；

8、之后再进行新的一次 updatePool 时，由于攻击者在第一次进行 withdraw 后池子中的 lpTotal 已经变小，所以最后获得的 accRewardsPerToken 将变大；

9、此时攻击者被赋值的 accRewardsPerToken 是旧的是一个较小值，在进行 rewardWriteoff 计算时获得的值也将偏小，但攻击者在进行 claimRewards 时用的却是池子更新后的 accRewardsPerToken 值；

10、因此在进行具体奖励计算时由于这个新旧参数之前差值，会导致计算出一个偏大的数值；

11、所以最后在根据计算结果给攻击者铸造奖励时就会额外铸造出更多的 COVER 代币，导致 COVER 代币增发。

具体 accRewardsPerToken 参数差值变化如下图：

标签：REWARDWARREWARDSCREBunicorn Universal RewardWarlord TokenRewards TokenCREP

TRX热门资讯