编者按：本文来自慢雾科技，Odaily星球日报授权转载。
前言
据链闻消息，4月18日，Tokenlon宣布暂停imBTC转账，因其发现有攻击者通过ERC777在Uniswap流动性合约中的重入漏洞，对ETH-imBTC池循环套利。此次的攻击手法是一个存在于Uniswapv1上的已知漏洞，该漏洞最早由Consensys于2019年4月发现，当时Consensys只是发现了该风险，还没有发现可以利用这种手法进行攻击的token。随后，在imBTC上线Uniswap后，由于imBTC是基于ERC777实现的，通过组合ERC777的特性及Uniswap代码上的问题，使攻击者可以通过重入漏洞实现套利。下面，我们将来分析此次套利中的攻击手法和具体的细节。知识准备
ERC777协议是以太坊上的代币标准协议，该协议是以太坊上ERC20协议的改进版，主要的改进点如下：1、使用和发送以太相同的理念发送token，方法为：send(dest,value,data)2、合约和普通地址都可以通过注册tokensToSendhook函数来控制和拒绝发送哪些token3、合约和普通地址都可以通过注册tokensReceivedhook函数来控制和拒绝接受哪些token4、tokensReceived可以通过hook函数可以做到在一个交易里完成发送代币和通知合约接受代币，而不像ERC20必须通过两次调用来完成5、持有者可以"授权"和"撤销"操作员这些操作员通常是交易所、支票处理机或自动支付系统6、每个代币交易都包含data和operatorData字段，可以分别传递来自持有者和操作员的数据7、可以通过部署实现tokensReceived的代理合约来兼容没有实现tokensReceived函数的地址在这里，我们需要特别关注的点是第二点，即ERC777标准中的tokenToSend函数，根据ERC777协议的定义，遵循该标准的token代币在每一次发生代币转账的时候都会去尝试调用代币发送者tokensToSend函数，而代币持有者可以通过在ERC1820注册合约注册自己的合约并通过在这个hook函数中定义一些操作来处理代币转账的过程中的某些流程，如拒绝代币发送或其他操作。了解这些关键点，有助于我们理解这次攻击的具体攻击手法。现在开始，我们可以稍微加速，看看对于Uniswap而言，这次到底发生了什么？细节分析
慢雾：针对macOS系统恶意软件RustBucket窃取系统信息:金色财经报道，SlowMist发布安全警报，针对macOS 运行系统的 Rust 和 Objective-C 编写的恶意软件RustBucket，感染链由一个 macOS 安装程序组成，该安装程序安装了一个带后门但功能正常的 PDF 阅读器。然后伪造的 PDF 阅读器需要打开一个特定的 PDF 文件，该文件作为触发恶意活动的密钥。[2023/5/23 15:20:27]
通过Etherscan查询攻击者的其中一笔交易0x32c83905db61047834f29385ff8ce8cb6f3d24f97e24e6101d8301619efee96e
可以发现，攻击者两度向Uniswap合约转帐imBTC，金额同样是0.00823084，然后从Uniswap收取了两笔ETH，看上去似乎是十分正常的两笔交易，实际上却是暗流涌动，另有玄机。为了更好的了解整一笔交易的细节，我们需要通过bloxy.info来查看交易的具体细节。
慢雾：Transit Swap黑客攻击交易被抢跑，套利机器人获利超100万美元:10月1日消息，据慢雾安全团队情报，Transit Swap 黑客转移用户 BSC 链 BUSD 资产时被套利机器人抢跑，区块高度为21816885，获利107万BUSD。套利机器人相关地址列表如下：0xa957...70d2、0x90b5...8ff4、0xcfb0...7ac7、
截止到目前，在各方的共同努力下，黑客已将 70% 左右的被盗资产退还到Transit Swap开发者地址，建议套利机器人所属人同样通过service/img/20230509081534420742/3.jpg "/>
通过查询交易的细节，我们发现，攻击者首先是通过ethToTokenSwapInput函数向Uniswap兑换了一些imBTC，然后再通过tokenToEthSwapInput函数开始第一次用imBTC换取ETH，然后Uniswap先将ETH转给了攻击者，再调用imBTC的transferFrom函数，由于imBTC实现了ERC777标准，所以在调用imBTC的trasferFrom函数的时候，imBTC会对攻击者的tokensToSend函数进行调用。随后，在攻击者的tokensToSend函数中，攻击者会进行第二次用imBTC换取ETH，然后流程结束。从交易细节上看，这里似乎还是没有什么问题，我们继续跟踪UniSwap的代码。
慢雾:BSC链上项目BXH遭受攻击分析:10月30日消息，据慢雾区情报，2021年10月30日，币安智能链上(BSC)去中心化交易协议BXH项目遭受攻击，被盗约1.3亿美金。经慢雾安全团队分析，黑客于27日13时(UTC)部署了攻击合约0x8877，接着在29日08时(UTC)BXH项目管理钱包地址0x5614通过grantRole赋予攻击合约0x8877管理权限。30日03时(UTC)攻击者通过攻击合约0x8877的权限从BXH策略池资金库中将其管理的资产转出。30日04时(UTC)0x5614暂停了资金库。因此BXH本次被盗是由于其管理权限被恶意的修改，导致攻击者利用此权限转移了项目资产。[2021/10/30 6:22:02]
上面是代码是Uniswap的ethToTokenSwapInput函数的代码，根据代码分析，Uniswap的ethToTokenSwapInput函数会调用ethToTokenInput函数，然后会先通过getInputPrice获取代币能换取的eth数量，之后通过send函数将eth发给用户，最后再通过transferFrom把代币转进合约。我们继续跟进getInputPrice函数。
慢雾：Let's Encrypt软件Bug导致3月4日吊销 300 万个证书:Let's Encrypt由于在后端代码中出现了一个错误，Let's Encrypt项目将在撤销超过300万个TLS证书。详情是该错误影响了Boulder，Let's Encrypt项目使用该服务器软件在发行TLS证书之前验证用户及其域。慢雾安全团队提醒：数字货币行业有不少站点或内部系统为安全目的而使用 Let's Encrypt 自签证书，请及时确认是否受到影响。如有影响请及时更新证书，以免造成不可预知的风险。用户可查看原文链接在线验证证书是否受到影响。[2020/3/4]
通过分析getInputPrice函数，我们能知道，ETH获取量计算的公式为
声音 | 慢雾：Ghostscript存在多个漏洞:据慢雾区消息，Google Project Zero发布Ghostscript多个漏洞预警，远端攻击者可利用漏洞在目标系统执行任意代码及绕过安全限制。Ghostscript 9.26及更早版本都受影响。软件供应商已提供补丁程序。[2019/1/24]
把该公式放到ethToTokenInput函数的上下文中，该公式就变成了
在该公式下，一次正常的imBTC兑换ETH的过程中，作为分母的imBTC储备量在兑换过后应该要上升，对应的ETH储备量会变小。
但是回顾攻击者的操作方式，在攻击者第一次发送imBTC兑换ETH的过程中，Uniswap会先发送ETH给攻击者，这时候Uniswap中ETH储备量减少，然后Uniswap调用transferFrom函数，(注意此时还未将攻击者的imBTC扣除)，紧接着在transferFrom函数中攻击者调用的第二次的ethToTokenSwapInput时，通过getInputPrice获取兑换的ETH数量的公式会变成这样：
注意看，在第二次的兑换计算中，只有ETH的储备量变少了，而imBTC的储备量并未增加，这导致相比与单独的调用ethToTokenSwapInput函数，攻击者可以通过重入的方式，在第二次使用imBTC兑换ETH的过程中，使计算公式的分子发生了变化，而公式的分母不会发生变化。相比正常的兑换，攻击者通过重入方式进行的第二次兑换会获取微小的利润，导致有利可图。重复这样的过程，就能通过等量的imBTC获取更多的ETH，导致Uniswap做事商的损失。防御方法
在Uniswap的tokenToEthSwapInput函数中加入OpenZeppelin的ReentrancyGuard函数，防止重入问题。在进行代币交换的时候，先扣除用户的代币，再将ETH发送给用户。同时，针对本次攻击事件慢雾安全团队建议：在关键的业务操作方法中加入锁机制，如：OpenZeppelin的ReentrancyGuard开发合约的时候采用先更改本合约的变量，再进行外部调用的编写风格项目上线前请优秀的第三方安全团队进行全面的安全审计，尽可能的发现潜在的安全问题多个合约进行对接的时候也需要对多方合约进行代码安全和业务安全的把关，全面考虑各种业务场景相结合下的安全问题合约尽可能的设置暂停开关，在出现“黑天鹅”事件的时候能够及时发现并止损安全是动态的，各个项目方也需要及时捕获可能与自身项目相关的威胁情报，及时排查潜在的安全风险最后的思考
这两天的DeFi世界被闹得沸沸扬扬，imBTC作为ERC777代币首当其冲，ERC777协议也饱受诟病，但是看完分析，造成此次的攻击事件原因，真的是imBTC或者是ERC777协议的问题吗？如果Uniswap做好了ERC777的兼容，使用ReentrancyGuard，并在代币交换的时候先扣除用户的代币，再将ETH发送给用户，这样的问题是不是就不会发生？imBTC作为以太坊上token化的比特币代币协议，其安全性在自身单独运行的时候并不存在问题，第三方DeFi平台在接入的时候，应需要充分考虑平台本身的业务逻辑与接入代币之间的兼容性，才能避免因兼容性发生不必要的安全问题。而不是简单的将问题归咎于协议和代币提供方。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。