解读FTX交易所免手续费漏洞致使被薅20W刀XEN的羊毛案_TOKE:XEN

被朋友Q到近期火热的羊毛事件,截止目前,不仅是黑客获利超20W刀,FTX损失108+个ETH,合计有38名同样思路的攻击者部署合约发起攻击。本文从技术维度出发,深入分析此利用FTX交易所免手续费提币的漏洞,结合智能合约回调发起的攻击方式,并通过样例代码复现实现原理。由于FTX已经通过人工审计针对攻击者进行惩罚,该漏洞处于风险可控阶段。切勿尝试可能导致封号没收质押物。1、背景

1.1XEN是什么?

是近期大火的一个XEN币,到10-15为止已有超过120W笔交易,其实笔者对这类缺乏长期价值对Web3毫无建设性意义的项目一直没什么兴趣,因为他的机制就是只要发起的交易消耗了多少的GAS,就可以铸造出一定数量的XEN币,而众所周知Etherscan有针对gas消耗的排行榜可以看到真正出色的项目往往由于服务用户多交易量大,所以gas消耗高排名靠前,仿佛成了另一种的应用商店热门榜单,而XEN一举通过“冲票“成了冠绝以太坊整个生态的Top1,且等于其他好项目的总和。

彭博社:ChatGPT已可解读美联储声明,并根据头条新闻预测股价走势:4月19日消息,在本月发表的两篇新论文显示,ChatGPT 已可解读美联储声明中的鹰派或鸽派立场,并可根据头条新闻预测股价走势。

ChatGPT 甚至能够以一种类似于央行分析师的方式解释其对美联储政策声明的分类,后者也将语言解释为该研究的人类基准。

同时,研究发现,ChatGPT 根据新闻标题预测的股价后续走势与统计数据有关,表明该技术能够正确分析消息的含义。

这两篇新论文表明,ChatGPT 甚至可以在没有经过专门培训的情况下完成类似的任务。(彭博社)[2023/4/19 14:12:35]

动态 | BafeEx解读:欧洲央行对欧元稳定币态度较为乐观:1月3日,欧洲央行市场基础设施和支付总监Ulrich Bindseil发布了央行欧元稳定币CBDC工作总结。BafeEx交易所分析师Zoy表示,从文章来看,欧洲央行对欧元稳定币CBDC持较为乐观的态度,注意不是极度乐观。欧洲央行主要担心:1.金融脱媒(Disintermediation),储户和机构通过这种方式藏匿和转移欧元资产,规避欧洲央行监管;2.无法应对危机时期的银行的系统性建导(Facilitation)问题,即CBDC相对来说更难被央行调控。BafeEx分析师Zoy强调,CBDC的双层利率系统也许可以应对上述两个问题,CBDC得以顺利发行的可能性在逐渐提高。[2020/1/4]

可拓展阅读:当我们在看Etherscan的时候,到底在看什么?1.2受害方FTX交易所

现场 |中国电子技术标准化研究院周平解读区块链技术:金色财经现场报道,今日下午,在北京召开的区块链应用技术高峰论坛暨区块链应用技术专项赛颁奖典礼上,中国电子技术标准化研究院软件工程评估中心主任周平在《区块链及其标准化》的主题报告中,介绍了国际标准化情况和《区块链和分布式记账技术 术语》标准 ISO 22739。他提到区块链是通过加密,将经验证和校验的区块链接,形成的分布式账本; Token是利用加密技术控制产生的资产的表现形式,该资产也通过加密技术校验所有权转移或状态变化等。[2018/9/6]

本次被攻击的也正是其免费提币的优惠活动,在平台有质押且有一定交易记录后即可发起免费提币,而提币会受制于之前交易量

证券时报发文解读比特币价格暴力拉升的背后原因: 证券时报发文称,这次拉升从各交易所分钟级时间差来看,是从Bitfinex开始拉,然后被套利交易者迅速扩散到了其他平台上。据币圈一位专业投资者介绍,由于Bitfinex自己发行了USDT,然后用自己发行的USDT买入BTC,短时间内拉升比特币价格,同时平台上的空仓悉数爆仓,从而获得大量BTC,接着再以BTC交换海量增发出去的USDT进而回收大部分的增发,并盈余大量BTC。[2018/4/15]

1.3链上数分结果

其实mirror上爆出的还不是最大的攻击者,而此攻击手法最早出现在10-10号,截止10-15号,合计类似逻辑的攻击地址有38个,合计1.45W笔攻击。计算依据:FTX热钱包单笔转移gas消耗大于5W,且to地址是合约地址的交易。下图为其中top10的攻击者,其交易数占总攻击数的80%,致使FTX手续费损失86个ETH笔者通过对其交易的gas消耗总值核算后,得出FTX本次损失总值为:108.19个ETH合计铸造出XEN约24亿个。按14号日常价格估算的话,则黑客总收益在24W美金以上

尹振涛解读数字货币政策:对数字货币的监管还可以更严厉:中国社会科学院金融研究所法与金融研究室副主任尹振涛认为:对数字货币的定位不明确,各国对数字货币的监管都在同一起跑线上;各国的监管差异体现了背后的经济博弈;从效果上看,当前国内监管做的还不够,在某些领域,我们还可以更严一点;禁止ICO不应是阻碍区块链发展的借口;数字货币交易被禁止,风险仍留在国内;未来各国的监管会渐趋一致。[2018/3/22]

详细数据可<十四君>公众号后台输入”FTX与XEN”获得2、黑客攻击流程分析

2.1核心原理

智能合约的fallback/receive可任意执行逻辑。任何一个合约都有默认的fallback函数,典型的功能就是让合约可以接收以太币并对其做出反应,这也是代币型合约用来拒绝转账、发出事件或转发以太币的典型模式。后来更多场景是应用在代理升级模式总之就是,一笔指向合约地址的交易,如果没有匹配到对应执行的函数,就必然会执行fallback函数,而fallback可以将输入参数指向另一个合约地址,从而执行对应的逻辑。参考:https://blog.soliditylang.org/2020/03/26/fallback-receive-split/2.2攻击流程

其实看完手法核心,已经很明显了黑客先部署了一个攻击合约0xCba9b1然后利用FTX的交易免费提币功能让FTX的热钱包0xc098b2,发起了一笔指向攻击合约的提币导致交易触发指向XEN合约的Mint函数调用由于XEN合约可以设置Mint出代币的收益方,从而将代币转入黑客地址

2.3手法还原

其实任意fallback非常好触发,咱们通过现场手搓实现下,当然并不是MintXen,而是临时随意的一个20token来示意。下文便是最简单的一个ERC20代币了,任何人均可执行mint函数,雷同于XEN了对于ERC20/721实现原理可拓展阅读:你买的NFT到底是什么?

而攻击合约也很简单,设置写死要调用Mint的XEN合约地址以及黑客收益的地址。

可以看到实验中,对此攻击合约发起的任意一笔交易,即会触发了receive,且myAddr的GLD余额增加1e18个,当然并不能拿着这个代码就去复现黑客的实现了,因为要铸造更多的GEX还得增加工厂合约部署的逻辑,即能提高gas消耗也吻合XEG的mint管理。

3、总结-从攻击事件看“元交易”

其实如果不是黑客本身知道FTX有免费提币优惠,且其提币的交易的gasLimit设置为固定值50W,则很难发起这样的攻击,因为依据以太坊黄皮书,普通转账也仅仅需要2.1W的gas即可。黑暗森林的web里知其雄守其雌,这样的攻击从历史进程来看,其实更有警示性意义笔者想谈谈元交易的发展元交易是来自于ChristianLundkvist教授在2015年的一个设想如今上手Dapp实在是太麻烦了,以太坊生态若想普及,就应该允许新用户直接使用其功能,而不是先安排几座大山让用户翻山越岭。这意味着需要为新来的用户垫付Gas费用。当前的以太坊协议并没有提供原生方法来实现这一点。然而,得益于公/私密钥对,用户可以通过对元交易进行签名并证明所有权。相信未来元交易终会成为应用主流,本次的FTX代付gas执行免费提币转账还只是元交易的某种小小实现,但只有安全+无感才能迎接全民低成本上链时代的到来,为此安全与风控都需要特别注意,这也是笔者分析安全案件的初衷。欢迎你从后台提交web3行业问题探讨点赞关注十四,用技术视角带给你价值

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

金宝趣谈

[0:15ms0-4:649ms