链上期权平台 Opyn 以太坊看跌期权 因智能合约漏洞损失 37 万美元，慢雾详细分析此次攻击细节。
原文标题：《慢雾：Opyn 合约被黑详细分析》 撰文 : Kong，就职于慢雾安全团队
2020 年 8 月 5 日，Opyn 合约遭遇黑客攻击。慢雾安全团队在收到情报后对本次攻击事件进行了全面的分析，下面为大家就这次攻击事件展开具体的技术分析。
看其中 一笔攻击交易
通过查看内联交易可以看到攻击者仅使用 272ETH 最终得到 467ETH
使用 OKO 合约浏览器 对具体的攻击细节进行分析
关键点在于 oToken 合约的 exercise 函数，从上图中可以看出在 exercise 函数中通过调用两次 transfer 将 USDC 发送给攻击者合约，接下来我们切入 exercise 函数进行具体的分析
可以看到 exercise 函数允许传入多个 vaultsToExerciseFrom，然后通过 for 循环调用_exercise 函数对各个 vaultsToExerciseFrom 进行处理，现在我们切入_exercise 函数进行具体的分析
以上关键的地方在于步骤 2 与步骤 6，因此我们只需要确保传入的 vaultToExerciseFrom 都创建了 vault，且使 amtUnderlyingToPay 与 msg.value 相等即可，而这些相关参数都是我们可以控制的，所以攻击思路就显而易见了。
让我们通过攻击者的操作来验证此过程是否如我们所想：
1、首先在保险期限内是肯定的
2、攻击者传入的 vaultToExerciseFrom 分别为：
0xe7870231992ab4b1a01814fa0a599115fe94203f0x076c95c6cd2eb823acc6347fdf5b3dd9b83511e4
经验证，这两个地址都创建了 vault
3、攻击者调用 exercise 传入 oTokensToExercise 为 0x1443fd000 (5440000000)，msg.value 为 272ETH，vaultsToExerciseFrom 分别为以上两个地址
4、此时由于此前攻击者创建的 oToken 为 0xa21fe800 (2720000000)，及 vault.oTokensIssued 为 2720000000 小于 5440000000，所以将走 exercise 函数中的 else 逻辑，此时 oTokensToExercise 为 0xa21fe800 (2720000000)，则以上代码第 60 行 msg.value == amtUnderlyingToPay 是肯定成立的
5、由于 vaultsToExerciseFrom 传入两个地址，所以 for 循环将执行两次_exercise 函数，因此将 transfer 两次把 USDC 转给攻击者合约
完整的攻击流程如下
攻击合约地址
0xe7870231992Ab4b1A01814FA0A599115FE94203f
Opyn 合约地址
0x951D51bAeFb72319d9FBE941E1615938d89ABfe2
攻击交易 (其一)
0xa858463f30a08c6f3410ed456e59277fbe62ff14225754d2bb0b4f6a75fdc8ad
此次攻击主要是利用了_exercise 函数中对 vaultToExerciseFrom 是否创建 vault 的检查缺陷。此检查未校验 vaultToExerciseFrom 是否是调用者自己，而只是简单的检查是否创建了 vault，导致攻击者可以任意传入已创建 vault 的地址来通过检查。
建议如下：
来源链接：mp.weixin.qq.com