9月12日，知道创宇区块链安全实验室监测到Avalanche上的DeFi协议?ZabuFinance项目遭受闪电贷攻击。实验室第一时间跟踪本次事件并分析。
攻击合约
攻击合约1：
0x0e65Fb2c02C72E9a2e32Cc42837df7E46219F400
攻击合约2：
0x5c9AD7b877F06e751Ee006A3F27546757BBE53Dd
漏洞合约
ZABUFarm：
0xf61b4f980a1f34b55bbf3b2ef28213efcc6248c4
慢雾：Avalanche链上Zabu Finance被黑简析:据慢雾区情报，9月12日，Avalanche上Zabu Finance项目遭受闪电贷攻击，慢雾安全团队进行分析后以简讯的形式分享给大家参考：
1.攻击者首先创建两个攻击合约，随后通过攻击合约1在Pangolin将WAVAX兑换成SPORE代币，并将获得的SPORE代币抵押至ZABUFarm合约中，为后续获取ZABU代币奖励做准备。
2.攻击者通过攻击合约2从Pangolin闪电贷借出SPORE代币，随后开始不断的使用SPORE代币在ZABUFarm合约中进行`抵押/提现`操作。由于SPORE代币在转账过程中需要收取一定的手续费(SPORE合约收取)，而ZABUFarm合约实际接收到的SPORE代币数量是小于攻击者传入的抵押数量的。分析中我们注意到ZABUFarm合约在用户抵押时会直接记录用户传入的抵押数量，而不是记录合约实际收到的代币数量，但ZABUFarm合约在用户提现时允许用户全部提取用户抵押时合约记录的抵押数量。这就导致了攻击者在抵押时ZABUFarm合约实际接收到的SPORE代币数量小于攻击者在提现时ZABUFarm合约转出给攻击者的代币数量。
3.攻击者正是利用了ZABUFarm合约与SPORE代币兼容性问题导致的记账缺陷，从而不断通过`抵押/提现`操作将ZABUFarm合约中的SPORE资金消耗至一个极低的数值。而ZABUFarm合约的抵押奖励正是通过累积的区块奖励除合约中抵押的SPORE代币总量参与计算的，因此当ZABUFarm合约中的SPORE代币总量降低到一个极低的数值时无疑会计算出一个极大的奖励数值。
4.攻击者通过先前已在ZABUFarm中有进行抵押的攻击合约1获取了大量的ZABU代币奖励，随后便对ZABU代币进行了抛售。
此次攻击是由于ZabuFinance的抵押模型与SPORE代币不兼容导致的，此类问题导致的攻击已经发生的多起，慢雾安全团队建议：项目抵押模型在对接通缩型代币时应记录用户在转账前后合约实际的代币变化，而不是依赖于用户传入的抵押代币数量。[2021/9/12 23:19:21]
SPORE：
推特CEO取关Elizabeth Warren:推特CEO Jack Dorsey已经取关Elizabeth Warren。据悉，Elizabeth Warren曾在2020年竞选美国总统，目前是美国民主党、马萨诸塞州参议员，也是美国政界自由派的重要代表人物之一。她在今日的Bloomberg TV中表示加密货币需要更多监管。在本周三的参议院银行委员会听证会中，美国立法者们本来要讨论CBDC，但是关于比特币的话题引起了不少立法者的关注，该经济政策小组委员会很可能会就加密货币召开进一步的听证会，而Elizabeth Warren就是小组委员会的主席。[2021/6/10 23:26:53]
0x6e7f5c0b9f4432716bdd0a77a3601291b9d9e985
Nick Szabo：EOS宪法本身就是安全漏洞:智能合约先驱Nick Szabo近期对EOS做出了评价，认为其中心化问题将导致该项目易受攻击，且暴露安全漏洞。他说：“在EOS系统中，小部分陌生人能够冻结用户资金。基于EOS协议，你必须信任一个‘宪法’组织，其成员很可能是你完全不认识的人。从社会层面来看，EOS‘宪法’不可扩展的，是一个安全漏洞。”[2018/6/24]
漏洞成因分析
漏洞产生原因在于Defi协议与代币协议之间的不兼容，其不兼容主要是zabuFarm合约质押功能与spore合约转账功能出现冲突，下面从双方功能实现逻辑来分析冲突。
zabuFarm合约质押功能
zabuFarm合约质押功能由函数deposit实现
简述deposit函数实现逻辑：
1.由传参_pid获取对应矿池信息与用户信息
2.更新_pid对应矿池信息，当用户账户不为0向用户发送质押已产生奖励
3.将传参_amount数量的代币从函数调用者转移到该合约
4.更新用户添加的代币以及最新奖励状态5.触发质押事件。
spore合约转账功能
spore合约转账功能由函数_transferStandard实现(ps:_transferStandard函数是zabuFarm合约质押功能转账时调用的函数)
简述_transferStandard函数实现逻辑：
1.由传参tAmount通过_getValues函数获取五个值，分别是rAmount实际转账数量,rTransferAmount收费后转账数量,rFee实际费用,tTransferAmount初始转账数量,tFee初始费用
2.对相应账户进行实际转账代币数量更新
3.通过_reflectFee函数进行费用记录更新
由此我们可以发现?zabuFarm合约质押功能与spore合约转账功能出现冲突的本质在于deposit函数仅是对用户传入转账金额_amount?做用户账户更新记录，而不是对_transferStandard?函数在收取费用后实际转账做用户账户更新记录，导致实际收款小于账户记录，俗称亏本买卖。
简述攻击过程
1.利用攻击合约10x0e65，将WAVAX代币通过Pangolin置换成SPORE代币，并质押到ZABUFarm合约中；
2.通过攻击合约2?0x5c9A从Pangolin闪电贷借出SPORE代币，并利用SPORE代币不断在ZABUFarm?合约进行质押-提现的操作，消耗原本属于ZABUFarm合约的SPORE代币，由于ZABUFarm合约是通过SPORE?代币总量计算奖励，攻击合约10x0e65会获得巨额ZABU代币奖励；
3.最后取出质押SPORE代币，归还闪电贷，抛售ZABU代币获利。
总结
此次攻击属于defi协议与代币协议之间不兼容导致的，迄今为止此类攻击事件已发生数次，知道创宇区块链安全实验室再次提醒，近期各链上频频爆发攻击事件，合约安全愈发需要得到迫切重视，合约审计、风控措施、应急计划等都有必要切实落实。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。