据慢雾区消息， 2021 年 9 月 12 日，Avalanche 上 Zabu Finance 项目遭受闪电贷攻击，慢雾安全团队第一时间介入分析，并将分析结果分享如下。?
Zabu Finance 是 Avalanche 上的下一代去中心化金融 (DeFi) 项目。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 代币进行了抛售。
声音 | Nick Szabo：比特币利用计算机科学实现了前所未有的深度安全:智能合约先驱尼克·萨博（Nick Szabo）发推称：“数字中心化资产的深层安全性较差，它们只能在一个合法稳定的环境中被设计及使用。当地方安全性较强时，房地产和黄金具有更深层次的安全性。信任最小化的比特币利用计算机科学实现了前所未有的深度安全。”[2019/8/18]
慢雾 AML 团队分析统计，本次攻击黑客获利约 60 万美元。
资金流向分析
慢雾 AML 旗下?MistTrack 反追踪系统分析发现，以太坊上的攻击者地址 (0x9ed...f86)?初始资金来自混币平台 Tornado.Cash 转入的 31 ETH。
Nick Szabo：EOS宪法本身就是安全漏洞:智能合约先驱Nick Szabo近期对EOS做出了评价，认为其中心化问题将导致该项目易受攻击，且暴露安全漏洞。他说：“在EOS系统中，小部分陌生人能够冻结用户资金。基于EOS协议，你必须信任一个‘宪法’组织，其成员很可能是你完全不认识的人。从社会层面来看，EOS‘宪法’不可扩展的，是一个安全漏洞。”[2018/6/24]
接着，将 30 WETH 跨链到?Avalanche。
攻击者在 Avalanche?上分别创建了攻击合约 1 和 2。
智能合约先行者Nick Szabo：不要放弃去中心化:在上周四于纽约举行的会议上，Nick Szabo，1996年首次提出开发智能合约概念的密码学专家，他敦促观众不要忽视区块链最初的承诺。“我只是想强调信任最小化和去中心化的好处，”他在参与智能合同小组讨论时说， “传统的银行模式是‘我们相信自己，你为什么不相信我们？'”他继续说道，认为客户可能不信任银行，“他们甚至可能会恨你。”[2018/4/22]
接着，攻击者通过攻击合约 1 将 WAVAX 兑换为 SPORE，并将 SPORE 抵押到 ZABUFarm 合约中。
Nick Szab呼吁不要忽视区块链最初的承诺:最早提出智能合约概念的首先驱密码师Nick Szab在Synchronize 2018会议上呼吁观众不要忽视区块链最初的承诺，强调信任最小化和分权化的重要性。[2018/4/20]
攻击者通过攻击合约 2 从 Pangolin 闪电贷借出 SPORE 代币，随后多次在 ZABUFarm 合约中进行抵押/提现操作。
在获利后，攻击者将获利的约 45 亿 ZABU 代币多次兑换为 WAVAX 代币，再将 WAVAX 代币兑换为 201?WETH.e。
接着，攻击者将获利的 WETH.e 跨链到以太坊。
没有任何停歇，攻击者直接将获利资金通过 Tornado.Cash 转出。
经过以上分析，可以认为攻击者是较为专业的，毫不含糊地直接从 Tornado.Cash 转入初始资金，最后又通过 Tornado.Cash 顺利将获利资金转出。
此次攻击是由于 Zabu Finance 的抵押模型与 SPORE 代币不兼容导致的，此类问题导致的攻击已经发生的多起，慢雾安全团队建议：项目抵押模型在对接通缩型代币时应记录用户在转账前后合约实际的代币变化，而不是依赖于用户传入的抵押代币数量。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。