链资讯 链资讯
Ctrl+D收藏链资讯
首页 > AAVE > 正文

DeFi平台Lendf.Me被黑细节分析及防御建议

作者:

时间:

前言

据慢雾区情报,以太坊 DeFi 平台 Lendf.Me 遭受重入漏洞攻击。慢雾安全团队在收到情报后随即对此次攻击事件展开分析,并快速定位了问题所在。

据慢雾科技反(AML)系统初步统计分析,Lendf.Me 被攻击累计的损失约 24,696,616 美元,具体盗取的币种及数额为:

之后攻击者不断通过 1inch.exchange、ParaSwap、Tokenlon 等 DEX 平台将盗取的币兑换成 ETH 及其他代币。

以下是详细分析过程。

攻击细节

本次对 Lendf.Me 实施攻击的攻击者地址为 0xa9bf70a420d364e923c74448d9d817d3f2a77822,攻击者通过部署合约 0x538359785a8d5ab1a741a0ba94f26a800759d91d 对 Lendf.Me 进行攻击。

通过在 Etherscan 上查看攻击者的其中一笔交易:https://etherscan.io/tx/0xae7d664bdfcc54220df4f18d339005c6faf6e62c9ca79c56387bc0389274363b

我们发现,攻击者首先是存入了 0.00021593 枚 imBTC,但是却从 Lendf.Me 中成功提现了 0.00043188 枚 imBTC,提现的数量几乎是存入数量的翻倍。那么攻击者是如何从短短的一笔交易中拿到翻倍的余额的呢?这需要我们深入分析交易中的每一个动作,看看究竟发生了什么。

通过把该笔交易放到 bloxy.info 上查看,我们能知道完整的交易流程

通过分析交易流程,我们不难发现攻击者对 Lendf.Me 进行了两次 supply() 函数的调用,但是这两次调用都是独立的,并不是在前一笔 supply() 函数中再次调用 supply() 函数。

紧接着,在第二次 supply() 函数的调用过程中,攻击者在他自己的合约中对 Lendf.Me 的 withdraw() 函数发起调用,最终提现

在这里,我们不难分析出,攻击者的 withdraw() 调用是发生在 transferFrom 函数中,也就是在 Lendf.Me 通过 transferFrom 调用用户的 tokensToSend() 钩子函数的时候调用的。很明显,攻击者通过 supply() 函数重入了 Lendf.Me 合约,造成了重入攻击,那么具体的攻击细节是怎样的呢?我们接下来跟进 Lendf.Me 的合约代码。

代码分析

Lendf.Me 的 supply() 函数在进行了一系列的处理后,会调用一个 doTransferIn 函数,用于把用户提供的币存进合约,然后接下来会对 market 变量的一些信息进行赋值。回顾刚才说的攻击流程,攻击者是在第二次 supply() 函数中通过重入的方式调用了 withdraw() 函数提现,也就是说在第二次的 supply() 函数中,1590 行后的操作在 withdraw() 之前并不会执行,在 withdraw() 执行完之后,1590 行后的代码才会继续执行。这里的操作导致了攻击者可提现余额变多。

我们深入分析下 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 提空。

防御建议

针对本次攻击事件慢雾安全团队建议:

1、在关键的业务操作方法中加入锁机制,如:OpenZeppelin 的 ReentrancyGuard

2、开发合约的时候采用先更改本合约的变量,再进行外部调用的编写风格

3、项目上线前请优秀的第三方安全团队进行全面的安全审计,尽可能的发现潜在的安全问题

4、多个合约进行对接的时候也需要对多方合约进行代码安全和业务安全的把关,全面考虑各种业务场景相结合下的安全问题

5、合约尽可能的设置暂停开关,在出现“黑天鹅”事件的时候能够及时发现并止损

6、安全是动态的,各个项目方也需要及时捕获可能与自身项目相关的威胁情报,及时排查潜在的安全风险

附OpenZeppelin ReentrancyGuard: 

https://github.com/OpenZeppelin/openzeppelin-contracts/blob/master/contracts/utils/ReentrancyGuard.sol

标签:PPLENDITHDRAWrealmedicinesupplychainTEND币WITH coinDRAW价格

AAVE热门资讯
金色趋势丨BTC顺势而为 还有向上的意愿

站上60日线后,迎来大幅拉升,一鼓作气突破多重阻力压制,最高涨至7750在回落,反弹高点已经接近7800-8000强压区,这一带汇聚了10500下来的斐波那契0.618回撤位,MA120关键日均线压制,以及上一轮年初行情启动的筹码核心吸筹区,所以这一带的阻力还是比较强势的,这个区域一旦有效突破,下一步将会向8400进发,从近期反弹4小时的K线长上影。

金色前哨 | 莱特币、云币商标在京东拍卖平台流拍

金色财经讯,京东网资产竞价网络平台信息显示,截止4月18日10:00,莱特币、云币商标拍卖正式结束,此次竞拍中涉及到的莱特币、云币商标流拍。网页显示,此次拍卖活动有821人次围观,仅3人报名参与。注:流拍是指在拍卖中,由于起拍价格过高造成的拍卖交易失败。在买卖活动中,买卖双方不能达成协议,使得买卖行为无法成功进行,对其拍卖的标的得不到想要成交的数额。

德国监管机构批准的“可逆ICO”是什么?

编者按:德国监管机构批准了新的“可逆ICO(rICO)”,为这一有争议的融资机制带来了新的链上投资者保护。据悉,可逆ICO允许投资者逐步购买代币,并在任何时候取消他们的支持和资金。据此前消息,以太坊开发者Fabian Vogelsteller最初于2018年在Devcon大会提出了可逆ICO的概念。 可逆 ICO 是一种 ICO 的新形式。

ETH三角收敛 等待方向突破

目前ETH相对来说比较强势,形态上近期调整也并未破位一直依托的上行趋势线,沿趋势线蓄势后,今日向上小幅反弹,4小时MACD空头量柱逐步缩短至0轴,快慢线也有金叉趋势,短线有继续走强的迹象,当前上方短期压制是周线趋势线176附近,这个位置一旦突破,有望继续向上测试日线下降线压制点位182,整体仍处于大三角末端整理,等待后期的变盘择向突破,支撑171。

加密银行的新玩法:Twitter支付

蓝狐笔记今天注意到加密银行Dharma的新玩法:利用Twitter完成社会化支付服务。这种玩法很有意思,值得DeFi行业关注。 通过Twitter账号付款 1.用户可以发送USD到任何Twitter账号(通过句柄,唯一ID),不管用户居住在世界上的哪个地方,甚至对方还不拥有Dharma账号也没有关系。也就是说,任何“Twitter”账号都可以收到付款。

最新研究:比特币闪电网络上的钱包余额可实现去匿名化 但并非坏事

在比特币的闪电网络(Lightning Network)上显示用户钱包余额是一件容易的事吗?比特币研究人员展示了闪电通道余额可以很容易实现去匿名化。但这未必是件坏事。 图片来源:unsplash 闪电网络是建立在比特币之上的第二层技术堆栈,通常被称为是对比特币交易速度和隐私的升级。它可以实现快速结算而不是等待10到60分钟交易才确认。