前言
9月12日，知道创宇区块链安全实验室 监测到 Avalanche 上的 DeFi 协议 Zabu Finance 项目遭受闪电贷攻击。实验室第一时间跟踪本次事件并分析。
涉及对象
攻击合约
攻击合约1：
0x0e65Fb2c02C72E9a2e32Cc42837df7E46219F400
攻击合约2：
美国参议员ElizabethWarren质疑上市矿企Greenidge的环境足迹:12月3日消息，美国参议员ElizabethWarren在给上市公司首席执行官JeffreyKirt的一封详细信中质疑GreenidgeGeneration（GREE）在纽约州的比特币采矿业务的环境足迹。Warren写信给JeffreyKirt，她担心公司的能源使用以及对环境和消费者的影响。鉴于与比特币采矿相关的极高的能源使用量和碳排放量，Greenidge和其他工厂的挖矿作业引发了人们对其对全球环境、当地生态系统和消费者电力成本影响的担忧，并要求在12月17日前做出详细回应。（FxStreet）[2021/12/3 12:48:23]
0x5c9AD7b877F06e751Ee006A3F27546757BBE53Dd
声音 | 智能合约先驱Nick Szabo：比特币的收益仍远超黄金等资产:据beincrypto消息，智能合约先驱Nick Szabo发推表示，在使用夏普比率进行风险调整后，在超过四年的时间里，比特币的收益远远超过了美国股票、房地产、债券、黄金等其他受欢迎的资产。尽管比特币是一种易变资产，具有较高的风险，但其性能仍比传统上较安全的资产（如黄金和房地产）高得多。[2020/1/24]
ZABUFarm：
0xf61b4f980a1f34b55bbf3b2ef28213efcc6248c4
SPORE：
0x6e7f5c0b9f4432716bdd0a77a3601291b9d9e985
声音 | Nick Szabo：JPM Coin缺乏信任最小化:据bitcoinexchangeguide报道，加密货币和智能合约先驱Nick Szabo发布推文称，JPM Coin及近乎其双胞胎的Petro（石油币）缺乏将加密货币与银行资金区分开来的主要价值来源，即信任最小化。[2019/2/16]
漏洞成因分析
漏洞产生原因在于 Defi 协议与代币协议之间的不兼容，其不兼容主要是 zabuFarm 合约质押功能与 spore 合约转账功能出现冲突，下面从双方功能实现逻辑来分析冲突。
zabuFarm合约质押功能
声音 | Nick Szabo：图灵完备区块链不是“世界电脑”或“Web3.0”:智能合约先驱Nick Szabo今日表示，从规模上看图灵完备区块链是一个处理极其昂贵且信任最小化计算的平台，而不是“世界电脑”或“Web3.0”。通过非常认真的编写以及非常小的无库程序，图灵完备区块链将适合大额金融智能合约。对此，ETC官方团队评论称，这同样是目前最符合ETC的定义。[2018/7/6]
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.利用攻击合约1 0x0e65，将 WAVAX 代币通过 Pangolin 置换成 SPORE 代币，并质押到 ZABUFarm 合约中；
2.通过攻击合约2 0x5c9A 从 Pangolin 闪电贷借出 SPORE 代币，并利用 SPORE 代币不断在 ZABUFarm 合约进行质押-提现的操作，消耗原本属于ZABUFarm 合约的SPORE 代币，由于 ZABUFarm 合约是通过 SPORE 代币总量计算奖励，攻击合约1 0x0e65 会获得巨额 ZABU 代币奖励；
3.最后取出质押 SPORE 代币，归还闪电贷，抛售 ZABU 代币获利。
总结
此次攻击属于 defi 协议与代币协议之间不兼容导致的，迄今为止此类攻击事件已发生数次，知道创宇区块链安全实验室再次提醒，近期各链上频频爆发攻击事件，合约安全愈发需要得到迫切重视，合约审计、风控措施、应急计划等都有必要切实落实。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。