如何通过恒定乘积黑掉SushiSwap？简析SushiSwap第二次被攻击始末
慢雾科技
刚刚
12
背景
2021年1月27日，据慢雾区情报，SushiSwap再次遭遇攻击，此次问题为DIGG-WBTC交易对的手续费被攻击者通过特殊的手段薅走。慢雾安全团队在收到情报后立马介入相关事件的分析工作，以下为攻击相关细节。
SushiMaker是什么
SushiMaker是SushiSwap协议中的一个重要的组件，其用于收集SushiSwap每个交易对的手续费，并通过设置每个代币的路由，将不同交易对的手续费最终转换成sushi代币，回馈给sushi代币的持有者。这个过程就是发生在SushiMaker合约上。
说说恒定乘积
恒定乘积的公式很简单，在不计算手续费的情况下，恒定乘积的公式为
TRON数字钱包科普资料《波场钱包的现在过去与未来》已上线:据最新消息显示，由TokenPocket联合波场TRON官方，以及 TokenPocket 社区志愿者共同撰写的《波场钱包的现在过去与未来》已正式上线。《波场钱包的现在过去与未来》又称为波场钱包小白书，详细介绍了当前TRON钱包与TRON生态密切结合的实例，是目前市面上最为详细的TRON数字钱包科普资料。波场钱包作为波场公链生态中极为重要的入口，是波场生态的重要构成要素。波场钱包从一开始只提供权限管理、转账收款、节点投票等基础功能，到如今不仅可以为用户提供法币交易、闪兑和去中心化交易所等方便快捷的交易服务，还能让用户直接在钱包上体验波场上DApp，挖矿、DeFi、Staking等资产增值服务。详情见原文链接。[2020/8/20]
人大附中物理老师李永乐科普拜占庭将军问题和区块链:5月14日，人大附中物理老师、科普视频网红李永乐在其公众号发布视频《拜占庭将军问题是什么？区块链如何防范恶意节点？》。李永乐老师在视频中对拜占庭将军问题和区块链进行了讲解，他表示，拜占庭将军问题本质上指的是，在分布式计算机网络中，如果存在故障和恶意节点，是否能够保持正常节点的网络一致性问题。在近40年的时间里，人们提出了许多方案解决这一问题，称为拜占庭容错法。例如兰波特自己提出了口头协议、书面协议法，后来有人提出了实用拜占庭容错PBFT算法，在2008年，中本聪发明比特币后，人们又设想了通过区块链的方法解决这一问题。区块链通过算力证明来保持账本的一致性，也就是必须计算数学题，才能得到记账的权力，其他人对这个记账结果进行验证，如果是对的，就认可你的结果。与拜占庭问题比起来，就增加了叛徒的成本。[2020/5/14]
也就是说每次兑换，其实都是遵循这个公式，及交易前后K值不变，在兑换的过程中，由于要保持K值不变，公式的形式会是这个样子
动态 | 币安科普MimbleWimble算法:币安官方推特今日发布隐私算法Mimblewimble的科普贴，在下方留言区大量网友留言猜测是否是基于 Mimblewimble算法的隐私币Grin或者Beam即将登陆币安交易所，其中猜测Grin的呼声更高。[2019/9/2]
其中X代表卖掉的代币，Y代表要购买的代币，那么每次能兑换到的代币数量会是这个样子(具体的推导过程就不演示了:D)
从公式上可以看到，当输出代币Y的兑换数量上限取决于Y代币的数量，而和X代币数量的大小无关，反过来说，如果要卖掉的X代币数量很大，但是Y代币的数量很小，那么就会造成大量的X代币只能兑换出少量的Y代币，而这个兑换价格相比正常的交易价格会偏离很多，这就是所谓的滑点，是本次攻击中的关键。
科普时报：区块链与云计算长期发展目标不谋而合:据《科普时报》今日报道，区块链与云计算两项技术的结合，从宏观上来说，一方面，利用云计算已有的基础服务设施或根据实际需求做相应改变，实现开发应用流程加速，满足未来区块链生态系统中初创企业、学术机构、开源机构、联盟和金融等机构对区块链应用的需求。另一方面，对于云计算来说，“可信、可靠、可控制”被认为是云计算发展必须要翻越的“三座山”，而区块链技术以去中心化、匿名性，以及数据不可篡改为主要特征，与云计算长期发展目标不谋而合。[2018/5/4]
攻击流程
2020年11月30日，SushiSwap就曾因为SushiMaker的问题出现过一次攻击(详解参阅:以小博大，简析SushiSwap攻击事件始末)，本次攻击和第一次攻击相似，但流程上有区别。相较于旧合约，在新的合约中，手续费在兑换的过程中会通过bridgeFor函数为不同交易对中的代币寻找特定的兑换路由，然后进行兑换。
HeroNode创始人刘国平：工业革命以来最大的技术革命——区块链如何实现去中心化:近日，HeroNode 创始人刘国平受邀前往平安总部进行区块链技术演讲。会上，刘国平就“区块链到底是什么”和“区块链有什么特点”两个问题，用通俗易懂的语言深入浅出地进行讲解，并着重介绍了区块链对现有公司业务的挑战。刘国平，区块链应用技术专家、比特币第一批矿工、Hero 移动跨平台框架开发创始人，Hero 理事会会长。曾任职万得资讯、第九城市、点融网等知名互联网公司负责技术研发、并深度参与点融网区块链应用场景开发。[2018/4/2]
其中，brdigeFor函数的逻辑如下：
根据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
By:?yudan@慢雾安全团队
DeFi
SushiSwap
本文来源：
慢雾科技
文章作者：慢雾安全团队
我要纠错
声明：本文由入驻金色财经的作者撰写，观点仅代表作者本人，绝不代表金色财经赞同其观点或证实其描述。
提示：投资有风险，入市须谨慎。本资讯不作为投资理财建议。
金色财经>区块链>如何通过恒定乘积黑掉SushiSwap？简析SushiSwap第二次被攻击始末
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。