前言
4 月 18 日，Tokenlon 宣布暂停 imBTC 转账，因其发现有攻击者通过 ERC777 在 Uniswap 流动性合约中的重入漏洞，对 ETH-imBTC 池循环套利。此次的攻击手法是一个存在于 Uniswap v1 上的已知漏洞，该漏洞最早由 Consensys 于 2019 年 4 月发现，当时 Consensys 只是发现了该风险，还没有发现可以利用这种手法进行攻击的 token。随后，在 imBTC 上线 Uniswap 后，由于 imBTC 是基于 ERC777 实现的，通过组合 ERC777 的特性及 Uniswap 代码上的问题，使攻击者可以通过重入漏洞实现套利。下面，我们将来分析此次套利中的攻击手法和具体的细节。
知识准备
ERC777 协议是以太坊上的代币标准协议，该协议是以太坊上 ERC20 协议的改进版，主要的改进点如下：
1. 使用和发送以太相同的理念发送 token，方法为：send(dest, value, data)
2. 合约和普通地址都可以通过注册 tokensToSend hook 函数来控制和拒绝发送哪些token（拒绝发送通过在hook函数tokensToSend 里 revert 来实现）
慢雾：已冻结部分BitKeep黑客转移资金:12月26日消息，慢雾安全团队在社交媒体上发文表示，正在对 BitKeep 钱包进行深入调查，并已冻结部分黑客转移资金。[2022/12/26 22:08:58]
3. 合约和普通地址都可以通过注册 tokensReceived hook 函数来控制和拒绝接受哪些token（拒绝接受通过在hook函数tokensReceived 里 revert 来实现）
4. tokensReceived 可以通过 hook 函数可以做到在一个交易里完成发送代币和通知合约接受代币，而不像 ERC20 必须通过两次调用（approve/transferFrom）来完成
5. 持有者可以"授权"和"撤销"操作员（operators: 可以代表持有者发送代币） 这些操作员通常是（去中心化）交易所、支票处理机或自动支付系统
6. 每个代币交易都包含 data 和 operatorData 字段， 可以分别传递来自持有者和操作员的数据
7. 可以通过部署实现 tokensReceived 的代理合约来兼容没有实现tokensReceived 函数的地址
慢雾：Ribbon Finance遭遇DNS攻击，某用户损失16.5 WBTC:6月24日消息，Ribbon Finance 发推表示遭遇 DNS 攻击，慢雾MistTrack通过链上分析发现攻击者与今天早前的Convex Finance 攻击者是同一个，地址 0xb73261481064f717a63e6f295d917c28385af9aa 是攻击者共用的用来调用恶意合约的钱包地址。同时分析发现，Ribbon Finance某用户在攻击中损失了 16.5 WBTC，具体交易为：https://etherscan.io/tx/0xd09057f1fdb3fa97d0ed7e8ebd8fd31dd9a0b5b61a29a22b46985d6217510850。[2022/6/24 1:29:35]
在这里，我们需要特别关注的点是第二点，即 ERC777 标准中的 tokenToSend 函数，根据 ERC777 协议的定义，遵循该标准的 token 代币在每一次发生代币转账的时候都会去尝试调用代币发送者 tokensToSend 函数，而代币持有者可以通过在 ERC1820 注册合约注册自己的合约并通过在这个 hook 函数中定义一些操作来处理代币转账的过程中的某些流程，如拒绝代币发送或其他操作。
慢雾：Furucombo被盗资金发生异动，多次使用1inch进行兑换:据慢雾MistTrack，2月28日攻击Furucombo的黑客地址（0xb624E2...76B212）于今日发生异动。黑客通过1inch将342 GRO、69 cWBTC、1700万cUSDC兑换成282 ETH，并将147ETH从Compound转入到自己的地址，截至目前该黑客地址余额约170万美元，另一个黑客地址余额为约1200万美元。[2021/3/3 18:12:14]
了解这些关键点，有助于我们理解这次攻击的具体攻击手法。现在开始，我们可以稍微加速，看看对于 Uniswap 而言，这次到底发生了什么？
细节分析
通过 Etherscan 查询攻击者的其中一笔交易 0x32c83905db61047834f29385ff8ce8cb6f3d24f97e24e6101d8301619efee96e
慢雾：nanotron安全审计报告是伪造的:慢雾科技发推表示：团队并没有对于nanotron进行审计，项目的安全审计报告是伪造的，请注意防范风险。[2020/10/8]
从交易细节上看，这里似乎还是没有什么问题，我们继续跟踪 UniSwap 的代码。
动态 | 慢雾：9 月共发生 12 起较典型的安全事件，供应链攻击趋势愈发明显:过去的 9 月区块链生态共发生 12 起较典型的安全事件，包括：EOSPlay 遭受新型随机数攻击、资金盘项目 FairWin 智能合约权限管理缺陷、EOS 黑名单账号 craigspys211 利用新晋 BP 黑名单缺陷转移走 19.999 万枚 EOS 等典型安全事件。此外，慢雾区块链威胁情报(BTI)系统监测发现，针对区块链生态的供应链攻击越来越多，形如：去年 11 月慢雾披露的污染 NPM 模块 EventStream、今年 7 月披露的对数字货币钱包 Agama 构建链的攻击、今年 8 月披露的针对数字货币行情/导航站的 URL 劫持攻击，还有 9 月慢雾披露的针对交易所使用的第三方统计、客服 js 的恶意代码植入，进行实施盗币攻击。[2019/10/1]
上面是代码是 Uniswap 的 ethToTokenSwapInput 函数的代码，根据代码分析， Uniswap 的 ethToTokenSwapInput 函数会调用 ethToTokenInput 函数，然后会先通过 getInputPrice 获取代币能换取的 eth 数量，之后通过 send 函数将 eth 发给用户，最后再通过 transferFrom 把代币转进合约。我们继续跟进 getInputPrice 函数。
通过分析 getInputPrice 函数，我们能知道，ETH 获取量计算的公式为
把该公式放到 ethToTokenInput 函数的上下文中，该公式就变成了
防御方法
1. 在 Uniswap 的 tokenToEthSwapInput 函数中加入 OpenZeppelin 的 ReentrancyGuard 函数，防止重入问题。
2. 在进行代币交换的时候，先扣除用户的代币，再将 ETH 发送给用户。
同时，针对本次攻击事件慢雾安全团队建议：
1. 在关键的业务操作方法中加入锁机制，如：OpenZeppelin 的 ReentrancyGuard
2. 开发合约的时候采用先更改本合约的变量，再进行外部调用的编写风格
3. 项目上线前请优秀的第三方安全团队进行全面的安全审计，尽可能的发现潜在的安全问题
4. 多个合约进行对接的时候也需要对多方合约进行代码安全和业务安全的把关，全面考虑各种业务场景相结合下的安全问题
5. 合约尽可能的设置暂停开关，在出现“黑天鹅”事件的时候能够及时发现并止损
6. 安全是动态的，各个项目方也需要及时捕获可能与自身项目相关的威胁情报，及时排查潜在的安全风险
最后的思考
这两天的 DeFi 世界被闹得沸沸扬扬，imBTC 作为 ERC777 代币首当其冲，ERC777 协议也饱受诟病，但是看完分析，造成此次的攻击事件原因，真的是 imBTC 或者是 ERC777 协议的问题吗？
如果 Uniswap 做好了 ERC777 的兼容，使用 ReentrancyGuard，并在代币交换的时候先扣除用户的代币，再将 ETH 发送给用户，这样的问题是不是就不会发生？
imBTC 作为 以太坊上 token 化的比特币代币协议，其安全性在自身单独运行的时候并不存在问题，第三方 DeFi 平台在接入的时候，应需要充分考虑平台本身的业务逻辑与接入代币之间的兼容性，才能避免因兼容性发生不必要的安全问题。而不是简单的将问题归咎于协议和代币提供方。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。