月亮链 月亮链
Ctrl+D收藏月亮链
首页 > XMR > 正文

SWAP:细数DeFi浪潮下的DEX都会受到哪些安全威胁?_DEX

作者:

时间:1900/1/1 0:00:00

如今,随着人们对DeFi的兴趣日益浓厚,DEX风靡一时。它们解决了常见的CEX问题,那我们也会问,DEX够安全吗?在上一篇说明了代币本身的安全问题后|DEFI安全问题之基础篇),现在来聊聊DEX在兑换代币时可能产生的安全问题。目前DEX主要面临的安全问题大致可分成两类:DEX项目本身存在的安全问题。作为第三方协议,与其他DEFI项目交互时产生的安全问题。本文将对第一类安全问题进行介绍。

Part.1

-DecentralizedExchange重入漏洞重入漏洞在上一篇我们也提到过,它属于需要防范的经典漏洞。与普通代币的重入相比,Uniswap的重入漏洞的主要表现形式为:攻击者在一笔兑换交易中利用Uniswap未及时更新价格前发起二次兑换,由于此时Uniswap未更新价格,使得二次兑换可兑出的代币数量比正常兑换的多。此外,在Uniswap的重入攻击中,攻击者利用单笔交易可能只能获得微小的收益,因此攻击者往往倾向于使用闪电贷或者循环套利扩大战果。以imBTC攻击事件为例,该事件是由于UniswapV1在调用ERC777系列代币时,未充分考虑合约回调的情况。具体表现为:攻击者使用imBTC代币兑换ETH时,合约先通过self.getInputPrice函数计算正确的ETH数额并将ETH发送到目标地址,然后调用self.token.transferFrom函数时,会调用imBTC合约的_callTokensToSend函数,而_callTokensToSend函数会调用用户指定存储imBTC代币的合约。因此,如果攻击者部署存储合约,并改写其中TokensToSend函数,那么当兑换代币时,pair(两种代币组成的交易对)合约调用攻击者部署的存储合约,就可以回调pair进行二次兑换,而二次兑换时pair合约账本还未更新,使得计算的ETH数额比正常兑换要多,以此来获利。

以太坊zkWASM执行层Fluent将推出测试网,已开放建设者计划申请:8月10日消息,以太坊zkWASM执行层Fluent测试网即将推出,目前已接受早期建设者计划的申请。Fluent利用ZK Rollup技术来解决性能和成本限制,同时使用Web Assembly(Wasm)虚拟机降低开发人员的学习曲线,并与EVM兼容,支持开发人员使用Rust、TypeScript、Solidity等构建DApp。[2023/8/10 16:17:11]

图1Uniswap的tokenToEthInput函数

图2imBTC的transferFrom函数

图3imBTC的__callTokensToSend函数详细攻击流程如下:

图4ETH-imBTC事件流程图那么,为什么在第二次调用tokenToEthSwapInput函数兑换代币时,发送的ETH会比正常兑换要多呢?我们可以用公式来还原可兑换代币数量的代码逻辑:首先,正常兑换下,getInputPrice函数计算可兑换的ETH数量为:

观点:Worldcoin创始人称该项目每8秒就有一个人得到验证的说法没有得到数据证实:金色财经报道,Worldcoin创始人称该项目每8秒就有一个人得到验证的说法没有得到数据证实。Worldcoin创始人Sam Altman于7月26日在Twitter上表示该项目的采用率“现在每8秒就有一个人得到验证”。在推文中,Altman描述了“世界各地的疯狂线路”并附上了个人的视频片段排队使用该项目的眼部扫描技术。然而,除了他的手机视频之外,Altman没有提供任何证据来支持他的说法。数据有限,Altman没有具体说明有多少人参与。早些时候7月13日的报道显示,Worldcoin在推出前几周就吸引了超过200万注册者。[2023/7/28 16:04:49]

且正常第二次可兑换的ETH数量为:

但重入后第二次可兑换的ETH数量为:

由此可知,在重入后第二次兑换中只有ETH的储备量减少,而imBTC储备量未增加。这样在分母不增加的情况下,导致了等量的imBTC可以兑换更多的ETH。针对此类安全问题,成都链安建议:当合约涉及到资产转移时,使用“检查-生效-交互”模式来处理逻辑,对关键的业务操作可以使用OpenZeppelin官方的ReentrancyGuard进行修饰。

链游公司Brilliantcrypto与日本加密交易所Coincheck达成合作:7月20日消息,链游公司Brilliantcrypto在IEO之前与日本加密货币交易所Coincheck达成合作。通过Brilliantcrypto目前正在开发的区块链游戏和Coincheck的加密资产交易服务的互联业务,两家公司将共同创造新的游戏体验和GameFi市场。

目前正在开发的日本大型区块链游戏项目将引入“游戏证明”(Proof of Gaming),这是一种受比特币“工作量证明”机制的启发,为他人(通过保证价值)带来利益的新概念。

据悉,Brilliantcrypto成立于2022年11月,是COLOPL, Inc.的全资子公司,利用区块链技术开展GameFi项目。[2023/7/20 11:06:41]

Part.2

-DecentralizedExchangeswap函数未对K值进行校验Uniswap的核心是常量乘积模型K=x*y,其中的K值是该pair合约持有代币数量的乘积,且要求之后的每一笔交易完成后K值必须增加(考虑手续费)。因此如果不进行K值校验,将很容易成为攻击点。

Optimism 推出链上治理门户 Optimism Agora:2月11日消息,Optimism 现已推出新的治理门户 Optimism Agora,以过渡到完全链上投票,并作为代表登记处。此后,所有 Token House 投票都将通过治理门户网站链上进行,目前已实施测试投票,时间截至 2 月 16 日,在 Bedrock 协议升级之前。[2023/2/11 12:00:35]

图5Uniswap的价格波动以ImpossibleFinance事件为例,该项目是Uniswap的仿盘,实现了两种兑换代币的函数:cheapSwap和swap。其中cheapSwap函数少了k值校验,但是项目方知道缺少K值校验的后果,专门为cheapSwap函数增加了onlyIFRouter做修饰,来限制cheapSwap函数只能被指定的Router合约调用。

图6合约未检查k值的cheapSwap函数正常情况下,当用户使用Router合约兑换代币时,首先会使用getAmountsOut函数来计算正确的代币数量amounts;然后调用safeTransferFrom将用户的兑换消耗代币转入目标pair合约;最后,通过内部调用_swap函数来执行cheapSwap函数将兑换代币转至目标地址。

1999枚BTC从币安转移至未知钱包:金色财经报道,Whale Alert数据显示,1999枚BTC(价值33670962 美元)从币安转移至未知钱包。[2022/12/24 22:05:32]

图7Router01合约的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值校验和安全验证依赖外部验证,做到自身功能完善。Part.3

-DecentralizedExchange通缩代币未设置pair为分红例外通缩代币在交易时会产生额外的分红与手续费。如果交易合约中包含了此类代币,且没有进行特殊处理,那么,就可能导致交易对合约记录的代币储量与实际的代币可用余额不一致。以XSquid事件为例,XSquid是一种通缩代币,未将其与WHT代币组成的pair合约地址添加奖励例外列表,造成了pair合约除了正常代币兑换和流动性存储外,还存有多余的XSquid分红奖励代币。因此,攻击者就可以调用Swap函数将pair合约多余的XSquid代币转换为WHT提取,或者通过skim函数将多余的XSquid代币直接提取。

图10XSquid交易对合约未添加奖励例外

图11Swap函数可以兑换多余的WHT代币

图12skim函数可以提取大于reserve的部分针对此类安全问题,成都链安建议:DEX在添加通缩分红型代币时多注意手续费以及分红的处理情况。在创建通缩分红型代币交易对时,可以添加奖励例外来避免此类代币的分红问题。此外,以下两类不属于DEX本身的安全问题,但是被项目方借助了DEX的特性实施,所以将其写在文章末尾。PART.1交易池这类问题主要是指项目方在自己发行的代币里留有后门,创建与主流代币的交易池,诱使投资者使用手里存在价值的代币买入项目方代币,并且不断拉盘对投资者进行投资。以下面的TRTC项目方为例,项目方创建了ETH-TRTC的交易池。但是在TRTC的代币合约对transferFrom函数做了相关限制,要求代币的转出方为owner(管理员)或者为Uniswap。因此对于投资者,仅可以通过Uniswap买入TRTC代币,而不能卖出TRTC代币。最后由项目方把投资者投入的ETH提走跑路,给投资者带来了巨大的损失。

图13TRTC合约的transfer函数

图14TRTC合约的ensure修饰

图15TRTC合约的transferFrom函数PART.2项目方RugPullRugPull是指项目方卷走投资者资金跑路的行为,目前已成为DeFi生态系统的最大局类型,项目方刻意制造代币价格暴涨的假象、许诺为提供流动性的投资者提供高回报等方式来大量聚集资金,一旦时机成熟就移除池子里的流动性或将代币卷走。这样的例子在DeFi屡见不鲜,AnubisDAO、MeerkatFinance、TurtleDEX、Squidtoken鱿鱼币等都是在卷款跑路之后,注销网站和社交媒体销声匿迹,导致投资者承担了巨大的损失。写在最后

成都链安建议项目方使用锁仓和多重签名来控制代币流动性,避免出现砸盘跑路的情况。投资者不要被天上掉馅饼的事情冲昏头脑,防范虚假宣传。

标签:SWAPETHTRADEXViking SwapBABYETHV2价格Arbitrage TokenHpdex

XMR热门资讯
加密货币:顶峰AscendEX观察:乌克兰有机会成为全球的「加密粮仓」吗?_FCBTC价格

2021年,一份Chainalysis的研究报告指出,乌克兰在全球加密货币交易量和贡献上,仅次于越南、印度和巴基斯坦,位居第四.

1900/1/1 0:00:00
TER:Nansen:Terra,不仅仅是稳定币_biteternity

简介一个真正去中心化的世界需要去中心化的货币。目前,去中心化的金融是由中心化的稳定币支撑的。这是一个故障点,可能会对整个使用DeFi作为流动性支柱的应用的去中心化生态系统产生连带影响.

1900/1/1 0:00:00
TET:详解Tether季度储备报告:总资产为786.7亿美元,与数字代币相关的负债约为785.3亿美元_ether币对人民币汇率

作者:胡韬,链捕手USDT发行方Tether今日公布2021年第四季度综合储备报告,显示该公司总资产为786.7亿美元,而与数字代币相关的负债约为785.3亿美元,并表示综合资产超过其综合负债.

1900/1/1 0:00:00
ETH:从产品角度深层解析跨链赛道的设计逻辑_Super miner token Decimals

本期SeerLabs将带你深层解析跨链赛道设计逻辑。前言:近期频发的跨链安全问题吸引市场的广泛关注,本文希望从产品设计的角度入手,给读者讲述为什么这个赛道的产品安全问题这么多.

1900/1/1 0:00:00
NFT:消费品与社区图腾:从Coven看女性向PFP市场_VEN

本文来自微信公众号TheSeeDAO。 女性向NFT越来越成为NFT市场不可忽视的一个方向。最近我接触到了CryptoCoven社区.

1900/1/1 0:00:00
ALA:用8个问题看懂YugaLabs为何收购CryptoPunks_Yfilabs Finance

3月12日上午,一则重量级新闻瞬间引爆了整个NFT圈子。 7:00左右,YugaLabs与LarvaLabs联合发布声明称,YugaLabs已从LarvaLabs的手中收购了CryptoPunk.

1900/1/1 0:00:00