如何通过恒定乘积黑掉SushiSwap?简析SushiSwap第二次被攻击始末

作者:yudan@慢雾安全团队

背景

2021年1月27日,据慢雾区情报,SushiSwap再次遭遇攻击,此次问题为DIGG-WBTC交易对的手续费被攻击者通过特殊的手段薅走。慢雾安全团队在收到情报后立马介入相关事件的分析工作,以下为攻击相关细节。

SushiMaker是什么

SushiMaker是SushiSwap协议中的一个重要的组件,其用于收集SushiSwap每个交易对的手续费,并通过设置每个代币的路由,将不同交易对的手续费最终转换成sushi代币,回馈给sushi代币的持有者。这个过程就是发生在SushiMaker合约上。

说说恒定乘积

恒定乘积的公式很简单,在不计算手续费的情况下,恒定乘积的公式为

直播|Aaron:DeFi加速领跑,如何获得持久发展?:金色财经 · 直播主办的金点Trend《2020 DeFi Dai飞吗?》马上开始!DeFi生态里,我们还应该狙击哪些项目?成长空间是多少?应该关注哪些风险?16:00准时开播!本场嘉宾Kava全球业务发展副总裁Aaron Choi分享“DeFi加速领跑,如何获得持久发展?”,请扫码移步收听![2020/7/29]

也就是说每次兑换,其实都是遵循这个公式,及交易前后K值不变,在兑换的过程中,由于要保持K值不变,公式的形式会是这个样子

其中X代表卖掉的代币,Y代表要购买的代币,那么每次能兑换到的代币数量会是这个样子(具体的推导过程就不演示了:D)

动态 | Coinbase研究:学生越来越有兴趣了解区块链和加密如何使全世界的人受益:Coinbase博客发文称,研究表明,学生们越来越有兴趣了解区块链和加密如何使全世界的人受益。在2018年至2019年期间,学习区块链中对于“社会公正”的兴趣从13%上升到20%。与此同时,学生对于“安全”和“未来应用与增长”的学习兴趣在过去一年中都有所下降,分别从37%降至29%和31%至27%。[2019/8/31]

从公式上可以看到,当输出代币Y的兑换数量上限取决于Y代币的数量,而和X代币数量的大小无关,反过来说,如果要卖掉的X代币数量很大,但是Y代币的数量很小,那么就会造成大量的X代币只能兑换出少量的Y代币,而这个兑换价格相比正常的交易价格会偏离很多,这就是所谓的滑点,是本次攻击中的关键。

声音 | 北京工商大学颜苏:区块链行业如何与公检法司形成有效的联动机制,是值得研究的:据新华网消息,本月在上海法学会会议上,北京工商大学法学院副教授颜苏表示,区块链行业从业者应用自身掌握的区块链这一新兴技术,助力公检法司进行区块链领域的反,在这个方向上,行业如何能与公检法司形成有效的联动机制,是值得关注的研究主题。[2019/7/28]

攻击流程

2020年11月30日,SushiSwap就曾因为SushiMaker的问题出现过一次攻击(详解参阅:以小博大,简析SushiSwap攻击事件始末),本次攻击和第一次攻击相似,但流程上有区别。相较于旧合约,在新的合约中,手续费在兑换的过程中会通过bridgeFor函数为不同交易对中的代币寻找特定的兑换路由,然后进行兑换。

金色相对论 | 陈钰璋:STO核心问题是如何与先行者争夺优秀项目:本期金色相对论中,高链资本创始合伙人陈钰璋就“STO来袭将如何影响市场”的问题发表看法,陈钰璋表示,STO给一些小国一个不错的窗口,不过问题是这些国家需要流量。没有流量的合法合规也没有太大用处。

如果区块链是创新,我们就要用创业的思维去理解它、改善它。看待STO的最核心问题是:如何与纳斯达克、红杉、软银这些交易所和巨额基金争夺真正的好项目?这是一个先有鸡还是先有蛋的问题:需要有足够的流动性,才能够吸引真正的好项目。但是谁来提供从零到一的流动性呢?我能看到的是超级财团,例如软银、黑石、GIC这些基金联合小国家的政府立法,成立国际上第一个不缺钱的稳定STO体系,吸引到最优质的顶级企业入驻,打造成功案例,然后把其他B轮、C轮的S级别企业吸引过去,才能建立良性循环。而新加坡政府如果能够把GIC和Temasek的流动性注入到STO里,在新加坡成立STO交易所,会改变历史。[2018/10/12]

其中,bridgeFor函数的逻辑如下:

韩国将于7日在国会召开‘虚拟货币制度化,该如何接近’研讨会:最近对虚拟货币的担忧和关注,虚拟货币相关学界及业界专家和政府核心相关人员将于韩国时间7日早上9点30分在韩国国会第二会议室中召开‘虚拟货币制度化,该如何接近’的研讨会。[2018/2/6]

根据bridgeFor的逻辑,我们不难发现,如果没有手动设置过特定币种的bridge,那么默认的bridge是WETH,也就是说,在未设置bridge的情况下,默认是将手续费兑换成WETH。而DIGG这个币,就是正好没有通过setBridge设置对应的bridge的。

但是这里还有一个问题,就是在swap的过程中,如果这个交易对不存在,兑换的过程是失败的。本次攻击中,DIGG-WETH这个交易对一开始并不存在,所以攻击者预先创建一个DIGG-WETH的交易对,然后添加少量的流动性。这个时候如果发生手续费兑换,根据前面说的恒定乘积的特性,由于DIGG-WETH的流动性很少,也就是DIGG-WETH中的WETH上限很小,而SushiMaker中的要转换的手续费数量相对较大,这样的兑换会导致巨大的滑点。兑换的过程会拉高DIGG-WETH交易对中WETH兑DIGG的价格,并且,DIGG-WETH的所有DIGG手续费收益都到了DIGG-WETH交易中。通过观察DIGG-WETH交易对的流动性情况,流动性最大的时候也才只有不到2800美元的流动性,这个结果也能和公式的推导相互验证。

攻击者在SushiMaker完成手续费转换后,由于?DIGG-WETH交易对中WETH兑DIGG的价格已经被拉高,导致少量的WETH即可兑换大量的DIGG,而这个DIGG的数量,正是DIGG-WBTC交易对的大部分手续费收入。

总结

本次攻击和SushiSwap第一次攻击类似,都是通过操控交易对的兑换价格来产生获利。但是过程是不一样的。第一次攻击是因为攻击者使用LP代币本身和其他代币创建了一个新的交易对,并通过操纵初始流动性操控了这个新的交易对的价格来进行获利,而这次的攻击则利用了DIGG本身没有对WETH交易对,而攻击者创建了这个交易对并操控了初始的交易价格,导致手续费兑换过程中产生了巨大的滑点,攻击者只需使用少量的DIGG和WETH提供初始流动性即可获取巨额利润。

相关参考链接如下:

SushiMaker归集手续费交易:

https://etherscan.io/tx/0x90fb0c9976361f537330a5617a404045ffb3fef5972cf67b531386014eeae7a9

攻击者套利交易:

https://etherscan.io/tx/0x0af5a6d2d8b49f68dcfd4599a0e767450e76e08a5aeba9b3d534a604d308e60b?

DIGG-WETH流动性详情:

https://www.sushiswap.fi/pair/0xf41e354eb138b328d56957b36b7f814826708724?

Sushi第一次被攻击详解:

https://mp.weixin.qq.com/s/-Vp9bPSqxE0yw2hk_yogFw?

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

银河链

LTC鱼池正式宣布支持EIP-1559

2月26日,鱼池发布题为《站在历史的正确一边:EIP-1559》的文章,表示正式支持EIP-1559提案。文章提到,社区和核心开发人员都支持不断发展的以太坊,包括EIP-1559.

[0:15ms0-2:64ms