如今,随着人们对 DeFi 的兴趣日益浓厚,DEX(即去中心化交易所)风靡一时。它们解决了常见的 CEX (即中心化交易所)问题,那我们也会问,DEX够安全吗?
在上一篇说明了代币本身的安全问题后(纯干货分享(一) | DEFI安全问题之基础篇),现在来聊聊DEX在兑换代币时可能产生的安全问题。目前DEX主要面临的安全问题大致可分成两类:
(1)DEX项目本身存在的安全问题。
(2)作为第三方协议,与其他DEFI项目交互时产生的安全问题。
本文将对第一类安全问题进行介绍。
重入漏洞
重入漏洞在上一篇我们也提到过,它属于需要防范的经典漏洞。与普通代币的重入相比,Uniswap的重入漏洞的主要表现形式为:攻击者在一笔兑换交易中利用Uniswap未及时更新价格前发起二次兑换,由于此时Uniswap未更新价格,使得二次兑换可兑出的代币数量比正常兑换的多。此外,在Uniswap的重入攻击中,攻击者利用单笔交易可能只能获得微小的收益,因此攻击者往往倾向于使用闪电贷或者循环套利扩大战果。
以imBTC攻击事件为例,该事件是由于Uniswap V1在调用ERC777系列代币时,未充分考虑合约回调的情况。
具体表现为:攻击者使用imBTC代币兑换ETH时(如图1),合约先通过self.getInputPrice函数计算正确的ETH数额并将ETH发送到目标地址,然后调用self.token.transferFrom函数时,会调用imBTC合约的_callTokensToSend函数(如图2),而_callTokensToSend函数会调用用户指定存储imBTC代币的合约。因此,如果攻击者部署存储合约,并改写其中TokensToSend函数,那么当兑换代币时,pair(两种代币组成的交易对)合约调用攻击者部署的存储合约,就可以回调pair进行二次兑换,而二次兑换时pair合约账本还未更新,使得计算的ETH数额比正常兑换要多,以此来获利。
DeFi收益率协议Pendle Finance将部署至BNB Chain:7月5日消息,Pendle核心开发人员对外称,基于以太坊和Arbitrum的流动质押衍生品 (LSD) 平台Pendle Finance将部署至BNB Chain,因为开发人员希望吸引新用户并为这一新兴服务吸引收入。
Pendle开发商RightSide在Telegram消息中表示,流动性质押是近几个月来增长最快的去中心化金融(DeFi)领域之一,基于LSD的金融产品的潜力在很大程度上尚未开发。[2023/7/5 22:19:44]
图1?Uniswap的tokenToEthInput函数
图2 imBTC的transferFrom函数
图3 imBTC的__callTokensToSend函数
详细攻击流程如下:
图4 ETH-imBTC事件流程图
DeFi 概念板块今日平均涨幅为1.75%:金色财经行情显示,DeFi 概念板块今日平均涨幅为1.75%。47个币种中33个上涨,14个下跌,其中领涨币种为:HDAO(+17.27%)、CRV(+13.93%)、LBA(+10.14%)。领跌币种为:SWFTC(-10.39%)、TRB(-4.10%)、SRM(-4.05%)。[2021/10/24 6:10:11]
那么,为什么在第二次调用tokenToEthSwapInput函数兑换代币时,发送的ETH会比正常兑换要多呢?我们可以用公式来还原可兑换代币数量的代码逻辑:
首先,正常兑换下,getInputPrice函数计算可兑换的ETH数量为:
且正常第二次可兑换的ETH数量为:
但重入后第二次可兑换的ETH数量为:
由此可知,在重入后第二次兑换中只有ETH的储备量减少,而imBTC储备量未增加。这样在分母不增加的情况下,导致了等量的imBTC可以兑换更多的ETH。
针对此类安全问题,成都链安建议:
YouSwap中文社区负责人 :YouSwap将成为整个DeFi赛道的“聚合器”:5月28日15:00,YouSwap中文社区负责人David做客媒体,开展了主题为《上线一键发币与IDO后,该如何给YouSwap估值?》的AMA直播。在本次AMA中,David围绕YouSwap近期上线的一键发币、IDO等功能做出了详细的介绍和分享,并就YouSwap项目亮点、核心优势及未来生态布局远景展开了深入分析。
David直言,一键发币MOON模式、一键IDO跟一键多挖功能上线后,预估会给YouSwap带来流量,未来,YouSwap将尝试包括借贷产品、聚合理财、NFT交易板块、稳定币资产等多个方向的布局,通过一步步的迭代更新和产品体验的完善,将DeFi赛道各个模块相互打通。届时,YouSwap将成为整个DeFi赛道的“聚合器”,聚合DeFi行业技术,实现更安全、更公平,体验更好的全生态DEX交易所。[2021/5/28 22:53:18]
当合约涉及到资产转移时,使用“检查-生效-交互”模式来处理逻辑,对关键的业务操作可以使用OpenZeppelin官方的ReentrancyGuard进行修饰。
swap函数未对K值进行校验
Uniswap的核心是常量乘积模型K=x*y,其中的K值是该pair合约持有代币数量的乘积,且要求之后的每一笔交易完成后K值必须增加(考虑手续费)。因此如果不进行K值校验,将很容易成为攻击点。
AOFEX启动抵押OT参与DeFi流动性挖矿活动:据官方消息,AOFEX交易所今日正式启动第一期抵押OT参与DeFi流动性挖矿活动,200万OT抵押额度2秒即告罄。据悉,该活动抵押周期为14天,平台使用等值于200万OT的USDT参与CRV流动性挖矿,所得收益将全部按照用户抵押比例进行分配。
AOFEX将持续为用户筛选优质流动性挖矿项目并实时监控,用户抵押OT即可参与。
AOFEX数字货币金融衍生品交易所,旨在为用户提供优质服务和资产安全保障。[2020/9/16]
图5 Uniswap的价格波动
以Impossible Finance事件为例,该项目是Uniswap的仿盘,实现了两种兑换代币的函数:cheapSwap和swap。其中cheapSwap函数少了k值校验(如图6),但是项目方知道缺少K值校验的后果,专门为cheapSwap函数增加了onlyIFRouter做修饰,来限制cheapSwap函数只能被指定的Router合约调用。
图6?合约未检查k值的cheapSwap函数
正常情况下,当用户使用Router合约兑换代币时,首先会使用getAmountsOut函数来计算正确的代币数量amounts;然后调用safeTransferFrom将用户的兑换消耗代币转入目标pair合约;最后,通过内部调用_swap函数来执行cheapSwap函数将兑换代币转至目标地址。
聚币已上线超20个DeFi币种 平均涨幅超700%:据官方消息,聚币Jubi平台已上线超20个DeFi热门币种,平均涨幅超700%。其中包括质押借贷类项目JFI、COMP、LEND、BZRX、PAMP、DMG。预言机类项目LINK、NEST、DIA。去中心化交易所项目MCB、BAL、KNC。跨链类交易REN、KEEP。衍生品类项目SRM、SNX等五类DeFi项目。[2020/8/12]
图7?Router01合约的swapExactTokensForTokens函数
但是,由于cheapSwap函数缺少了K值检验,如果攻击者部署恶意代币合约,在Router合约调用safeTransferFrom函数时,回调正常的pair合约进行同种兑换,由于,回调后的兑换使用的amounts仍是未更新之前的数据,已不符合改变账本状态之后的校验,那么攻击会导致以错误的价格兑换出目标代币,以此获利。
图8?合约进行k值校验的Swap函数
该事件的具体攻击步骤如下:
1. 在准备阶段攻击者部署了AAA代币合约,并使用闪电贷借来1000WBNB,兑换65140个项目方的IF代币。
2. 使用其中一半的IF代币(32570个)与攻击者自己部署的AAA代币构建IF-AAA交易池。
3. 执行AAA-IF-BUSD路径的代币兑换,且当Router合约调用AAA代币合约的transferFrom函数时会执行攻击者的恶意代码,重入至IF-BUSD的pair合约,并将另一半IF代币正常兑换出221897个BUSD。
4. 回归到AAA-IF-BUSD路径的兑换,将之前计算的amounts值传入_Swap函数中执行这笔兑换,用一半的IF又兑换了2521897个BUSBD。
5. 归还闪电贷,完成攻击。
图9?事件流程图
在关键的兑换函数中必须做k值校验,不要为了节省gas和代码量就将K值校验和安全验证依赖外部验证,做到自身功能完善。
Decentralized Exchange
通缩代币未设置pair为分红例外
通缩代币在交易时会产生额外的分红与手续费。如果交易合约中包含了此类代币,且没有进行特殊处理,那么,就可能导致交易对合约记录的代币储量与实际的代币可用余额不一致。
以XSquid事件为例,XSquid是一种通缩代币,未将其与WHT代币组成的pair合约地址添加奖励例外列表,造成了pair合约除了正常代币兑换和流动性存储外,还存有多余的XSquid分红奖励代币。因此,攻击者就可以调用Swap函数将pair合约多余的XSquid代币转换为WHT提取(如图11),或者通过skim函数将多余的XSquid代币直接提取(如图12)。
图10?XSquid交易对合约未添加奖励例外
图11?Swap函数可以兑换多余的WHT代币
图12?skim函数可以提取大于reserve的部分
DEX在添加通缩分红型代币时多注意手续费以及分红的处理情况。在创建通缩分红型代币交易对时,可以添加奖励例外来避免此类代币的分红问题。
此外,以下两类不属于DEX本身的安全问题,但是被项目方借助了DEX的特性实施,所以将其写在文章末尾。
交易池?
这类问题主要是指项目方在自己发行的代币里留有后门,创建与主流代币的交易池,诱使投资者使用手里存在价值的代币买入项目方代币,并且不断拉盘对投资者进行投资。
以下面的TRTC项目方为例,项目方创建了ETH-TRTC的交易池。但是在TRTC的代币合约对transferFrom函数做了相关限制,要求代币的转出方为owner(管理员)或者为Uniswap。因此对于投资者,仅可以通过Uniswap买入TRTC代币,而不能卖出TRTC代币。最后由项目方把投资者投入的ETH提走跑路,给投资者带来了巨大的损失。
图13?TRTC合约的transfer函数
图14?TRTC合约的ensure修饰
图15?TRTC合约的transferFrom函数
项目方Rug Pull?
Rug Pull是指项目方卷走投资者资金跑路的行为,目前已成为DeFi生态系统的最大局类型,项目方刻意制造代币价格暴涨的假象、许诺为提供流动性的投资者提供高回报等方式来大量聚集资金,一旦时机成熟就移除池子里的流动性或将代币卷走。这样的例子在DeFi屡见不鲜,AnubisDAO、Meerkat Finance、TurtleDEX、Squid token鱿鱼币等都是在卷款跑路之后,注销网站和社交媒体销声匿迹,导致投资者承担了巨大的损失。
?写在最后?
成都链安建议项目方使用锁仓和多重签名来控制代币流动性,避免出现砸盘跑路的情况。投资者不要被天上掉馅饼的事情冲昏头脑,防范虚假宣传。
标签:SWAPEFIDEFDEFICheesecakeSwap TokenDefina Finance比特令牌币defi3.0比特令牌币defi3.0
在Web 3.0时代,借助DID(Decentralized Identifier),即去中心化身份体系,将身份和数据的控制权交还到用户手中,摆脱中心化数据服务平台控制的同时.
1900/1/1 0:00:00虚拟现实技术“天生”适合运用于心理治疗。核心内容虚拟现实技术以其可提供的沉浸感、私密性、灵活性等特点提供了更好的心理治疗环境;VR设备与技术和心理研究资源是主要的竞争壁垒;虚拟现实技术或是国内心.
1900/1/1 0:00:00什么是去中心化?根据 “ 牛津英语词典 ” 的定义,分散就是 “ (1)取消集中在一个中心的行政权力,(2)分配集中在一个中心的行政权力等.
1900/1/1 0:00:00去中心化托管协议Safe集成P2P.org的以太坊质押服务:6月14日消息,去中心化托管协议Safe集成P2P.org的以太坊质押服务.
1900/1/1 0:00:00现在的市场,美股说了算:美国说跌,比特币、港股、A股都得跟着跌!历次比较大的战争对美股的影响又是怎样的呢?叙利亚内战:几乎没影响 美国加密货币的未来可能取决于4项数字资产法案:金色财经报道.
1900/1/1 0:00:00据飒姐团队近期对境内外数字藏品、NFT的观察,一股盲盒+数字藏品的经营模式和新玩法在悄悄崛起。一方面这种新颖的玩法确实能改善数字藏品用户体验,毕竟谁不喜欢当“欧皇”呢,但同样的,对于企业和数字藏.
1900/1/1 0:00:00