前言
据慢雾区情报，以太坊DeFi平台Lendf.Me遭受重入漏洞攻击。慢雾安全团队在收到情报后随即对此次攻击事件展开分析，并快速定位了问题所在。
据慢雾科技反(AML)系统初步统计分析，Lendf.Me被攻击累计的损失约24,696,616美元，具体盗取的币种及数额为：
WETH:55159.02134,
WBTC:9.01152,
CHAI:77930.93433,
HBTC:320.27714,
HUSD:432162.90569,
BUSD:480787.88767,
PAX:587014.60367,
TUSD:459794.38763,
USDC:698916.40348,
USDT:7180525.08156,
USDx:510868.16067,
imBTC:291.3471
之后攻击者不断通过1inch.exchange、ParaSwap、Tokenlon等DEX平台将盗取的币兑换成ETH及其他代币。
以下是详细分析过程。
攻击细节
本次对Lendf.Me实施攻击的攻击者地址为?0xa9bf70a420d364e923c74448d9d817d3f2a77822，攻击者通过部署合约?0x538359785a8d5ab1a741a0ba94f26a800759d91d对Lendf.Me进行攻击。
Velodrome公布代币初始释放及空投细节，将向跨链DeFi用户及OP持有者空投:5月23日消息，由Solidly生态项目veDAO在Optimism上推出的以Solidly为模板的DEX Velodrome公布了代币初始释放及空投细节。代币VELO初始释放量为4亿枚，其中60%将进行空投；24%将以veVELO的形式分配给协议及DAO；10%将分配给团队；5%将以veVELO的形式分配给Optimism团队，剩余1%将作为初始流动性。用于空投的60%（2.4亿枚VELO）中，45%将分配给WeVE持有者；25%将分配给跨链DeFi用户（包括Curve、Convex、Platypus Finance、Treasure DAO、Redacted Cartel用户）；30%将分配给OP持有者。[2022/5/23 3:36:33]
通过在Etherscan上查看攻击者的其中一笔交易：https://etherscan.io/tx/0xae7d664bdfcc54220df4f18d339005c6faf6e62c9ca79c56387bc0389274363b
DeFi总锁仓量突破1100亿美元，创历史新高:据DeBank最新数据显示，DeFi总锁仓量于5月2日突破1100亿美元，创历史新高。当前总锁仓量为1112.4亿美元，净锁仓量为790.3亿美元。当前锁仓金额排名前三的DeFi协议分别是PancakeSwap（142亿美元）、Uniswap（103亿美元）、Compound（103亿美元）。
总锁仓量（TVL）是衡量一个DeFi项目使用规模时最重要的指标，通过计算所有锁定在该项目智能合约中的ETH及各类ERC-20代币的总价值（美元）之和而得到。[2021/5/2 21:17:33]
我们发现，攻击者首先是存入了0.00021593枚imBTC，但是却从Lendf.Me中成功提现了0.00043188枚imBTC，提现的数量几乎是存入数量的翻倍。那么攻击者是如何从短短的一笔交易中拿到翻倍的余额的呢？这需要我们深入分析交易中的每一个动作，看看究竟发生了什么。
通过把该笔交易放到bloxy.info上查看，我们能知道完整的交易流程
DeFi总锁仓量突破600亿美元:据DeBank数据显示，DeFi总锁仓量于2月5日击穿500亿美元创历史新高，当前锁仓金额排名前三的协议分别是Maker （69亿美元）、WBTC（66亿美元）和Compound（52亿美元）。总锁仓量（TVL）是衡量一个 DeFi 项目使用规模时最重要的指标，通过计算所有锁定在该项目智能合约中的ETH及各类ERC-20代币的总价值（美元）之和而得到。[2021/2/18 17:26:00]
通过分析交易流程，我们不难发现攻击者对Lendf.Me进行了两次supply()函数的调用，但是这两次调用都是独立的，并不是在前一笔supply()函数中再次调用supply()函数。
紧接着，在第二次supply()函数的调用过程中，攻击者在他自己的合约中对Lendf.Me的withdraw()函数发起调用，最终提现
DeFi一周数据速览（1.26-2.1）:金色财经报道，据欧科云链OKLink数据显示，本周涨幅前五的币种为：BADGER 7日涨幅187.60%，锁仓量为11.5亿美元（+18.92%）；PNT 7日涨幅178%，锁仓量为540万美元（+6.30%）；DODO 7日涨幅123.20%，锁仓量为3262万美元（+72.68%）；Index Cooperative 7日涨幅113.40%，锁仓量为5494万美元（+21.46%），；1inch 7日涨幅90%，锁仓量为13.7亿美元（+45.32%），更多数据见下图。[2021/2/1 18:37:29]
在这里，我们不难分析出，攻击者的withdraw()调用是发生在transferFrom函数中，也就是在Lendf.Me通过transferFrom调用用户的tokensToSend()钩子函数的时候调用的。很明显，攻击者通过supply()函数重入了Lendf.Me合约，造成了重入攻击，那么具体的攻击细节是怎样的呢？我们接下来跟进Lendf.Me的合约代码。
代码分析
Lendf.Me的supply()函数在进行了一系列的处理后，会调用一个doTransferIn函数，用于把用户提供的币存进合约，然后接下来会对market变量的一些信息进行赋值。回顾刚才说的攻击流程，攻击者是在第二次supply()函数中通过重入的方式调用了withdraw()函数提现，也就是说在第二次的supply()函数中，1590行后的操作在withdraw()之前并不会执行，在withdraw()执行完之后，1590行后的代码才会继续执行。这里的操作导致了攻击者可提现余额变多。
BKEX Global DeFi挖矿宝第一期3分钟售罄:据官方消息，BKEX Global于今日16:00开启DeFi挖矿宝第一期抢购，开启后3分钟即售罄。
DeFi挖矿宝是BKEX结合当下火热的DeFi流动性挖矿而推出的非保本浮动收益理财活动，用户可以通过使用USDT、DAI、USDC参与抢购，抢购成功即可获得以YFI（yearn.finance）、CRV（CURVE）等代币为奖励的收益。[2020/7/27]
我们深入分析下supply()函数
根据上图，可以看到，在supply()函数的末尾，会对market和用户的余额进行更新，在这之前，用户的余额会在函数的开头预先获取好并保存在?localResults.userSupplyCurrent，如下：
通过赋值给?localResults?变量的方式，用户的转入信息会先暂时保存在这个变量内，然后此时攻击者执行withdraw()函数，我们看下withdraw()函数的代码：
这里有两个关键的地方:
1、在函数的开头，合约首先获取了storage的?market?及?supplyBalance?变量。
2、在withdraw()函数的末尾，存在同样的逻辑对?market?用户的余额信息(supplyBalance)进行了更新，更新值为扣除用户的提现金额后的余额。
按正常的提现逻辑而言，在withdraw()单独执行的时候，用户的余额会被扣除并正常更新，但是由于攻击者将withdraw()嵌入在supply()中，在withdraw()函数更新了用户余额(supplyBalance)后，接下来在supply()函数要执行的代码，也就是1590行之后，用户的余额会再被更新一次，而用于更新的值会是先前supply()函数开头的保存在localResults?中的用户原先的存款加上攻击者第一次调用supply()函数存款的值。
在这样的操作下，用户的余额虽然在提现后虽然已经扣除了，但是接下来的supply()函数的逻辑会再次将用户未扣除提现金额时的值覆盖回去，导致攻击者虽然执行了提现操作，但是余额不但没有扣除，反而导致余额增加了。通过这样的方式，攻击者能以指数级别的数量提现，直至把Lendf.Me提空。
防御建议
针对本次攻击事件慢雾安全团队建议：
在关键的业务操作方法中加入锁机制，如：OpenZeppelin的ReentrancyGuard
开发合约的时候采用先更改本合约的变量，再进行外部调用的编写风格
项目上线前请优秀的第三方安全团队进行全面的安全审计，尽可能的发现潜在的安全问题
多个合约进行对接的时候也需要对多方合约进行代码安全和业务安全的把关，全面考虑各种业务场景相结合下的安全问题
合约尽可能的设置暂停开关，在出现“黑天鹅”事件的时候能够及时发现并止损
安全是动态的，各个项目方也需要及时捕获可能与自身项目相关的威胁情报，及时排查潜在的安全风险
附：
OpenZeppelinReentrancyGuard:https://github.com/OpenZeppelin/openzeppelin-contracts/blob/master/contracts/utils/ReentrancyGuard.sol
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。