北京时间2020年08月05日，DeFi期权平台Opyn的看跌期权智能合约遭到黑客攻击，损失约37万美元。
Opyn是一个通用期权协议，于今年2月份转型为保险平台，通过oTokens为DeFi平台提供可交易的ETH看跌期权，以此锚定ETH市场价格，为高波动性的DeFi市场提供相对的稳定性。
PeckShield安全团队获悉Opyn平台遭受攻击后，迅速定位到问题关键点在于：
攻击者发现?Opyn智能合约行权接口对接收到的ETH存在某些处理缺陷，其合约并没有对交易者的实时交易额进行检验，使得攻击者可以在一笔对自己发起真实的交易之后，再插入一笔伪装交易得卖方所抵押的数字资产，进而实现空手套白狼。
简单来说，由于OpynETHPut智能合约中的行权函数exercise()没有对交易者的ETH进行实时校验。根据Opyn平台的业务逻辑，看跌期权的买方给卖方转移相应价值的ETH，即可获得卖方抵押的数字资产。狡猾的攻击者，先向自己发起伪装的交易，利用这笔ETH可以重复使用的特性，再次向卖方用户发起转账，进而取卖方已经抵押的数字资产。
首发 | imKey正式支持Filecoin，成为首批Filecoin硬件钱包:12月1日，随着imToken2.7.2版本上线，imKey同步支持Filecoin，成为业内首批正式支持FIL的硬件钱包。Filecoin作为imKey多链支持的优先级项目之一，成为继BTC、ETH、EOS和COSMOS四条公链后的第五条公链。
据悉，imKey团队已在Q4全面启动多链支持计划，计划实现imToken已经支持的所有公链项目，本次imKey升级更新，无需更换硬件，不涉及固件升级，通过应用（Applet）自动升级，即可实现imKey对Filecoin的支持及FIL的代币管理。[2020/12/2 22:52:32]
下面为您详细分析漏洞原因及攻击过程。
首发 | 嘉楠耘智宣布与Northern Data在AI、区块链等高性能计算领域达成战略合作:据官方消息，2020年2月17日，嘉楠耘智宣布与区块链解决方案及数据中心服务提供商Northern Data AG达成战略合作。本次合作的内容涵盖AI、区块链及数据中心运维等高性能计算领域。
嘉楠耘智拥有丰富的高性能计算专用ASIC芯片研发经验。Northern Data AG则专注于区块链和数据中心等高性能计算基础设施的建设。通过本次战略合作，双方将在AI、区块链等新兴领域进一步释放增长潜能。[2020/2/19]
、
漏洞详细过程分析
先来说说，Opyn平台的业务逻辑：当用户使用Opyn合约行权即买卖期货时，需要买方向卖方转入相应数量的ETH或者ERC20Token，然后合约将销毁买方对应的oToken，而后买方将获得卖方已经抵押的资产。
CryptoPunks系列NFT近24小时交易额跌幅超20%:金色财经报道，据NFTGo.io数据最新数据显示，CryptoPunks系列NFT总市值为828,651.18 ETH，过去24小时的交易额为514.47 ETH，跌幅达22.25%；地板价为65.95ETH，持有NFT地址总数为3619个。[2022/10/25 16:37:43]
例如：小王认为行情进入了下跌趋势，看到Opyn上挂着一个小李对ETH330美元的看跌期权，于是进入交易系统，向小李转账一个ETH，获得小李抵押的等额数字资产。若此刻行情已经跌至了300美元，小王便可获得其中的差价。
图1.exercise()函数中循环执行传入的vaults地址列表
首发 | 《一起来捉妖》中玩家达到22级将会接触到专属猫的玩法 ?:今日腾讯上线首款区块链游戏《一起来捉妖》，经金色财经查证，游戏中玩家达到22级将会接触到专属猫的玩法，而非此前官方对外宣称的15级。除了诱猫铃铛召唤出的0代猫以及部分通过运营活动奖励的专属猫以外，游戏中所有的猫默认都是未上链状态。未上链的猫不能出售，也无法进入市场与其他玩家配对；但是你可以使用这些猫与你的QQ/微信好友进行配对，产出新的小猫。使用道具“天书笔”可以将你的猫记录到区块链。当猫被记录到区块链以后，这些猫就可以进入市场，通过配对赚取点券，或者出售赚取点券。专属猫是否上链，并不影响它的增益效果。但只有上链后，它才能面对全服务器所有的玩家进行繁殖、交易。
?
《一起来捉妖》中的专属猫玩法，基于腾讯区块链技术，游戏中的虚拟数字资产得到有效保护。此外，基于腾讯区块链技术，猫也可以自由繁殖，并且运用区块链技术存储、永不消失。[2019/4/11]
如上面的合约代码片段所示，行权函数exercise()的内部是一个循环，依据参数中传递的vaultsToExerciseFrom中的地址数量依次调用真正的行权逻辑_exercise()函数。
图2.重用传入合约的ETH来获得抵押资产
函数处理ERC20Token时，和大部分的DeFi项目做法一样，使用transferFrom()，如代码1882行所示，从msg.sender转账到address(this)。
但是当函数处理的资产为ETH时，处理的方式就完全不一样了。因为在Solidity中，msg.value的意思是合约调用者在调用具有payable接口时所转给该合约的ETH数量，仅是一个量值，所以在合约代码的1879行中，检查msg.value==amtUnderlyingToPay仅能确保合约确实收到了amtUnderlyingToPay数量的ETH，并不会对msg.value的值造成任何影响。
但是正如上面讲到的在exercise()中会循环调用_exercise()函数，这导致尽管合约实际只收到一次ETH，然而在循环过程中却可以重复使用。
攻击点就在这里，由于合约少了一步对ETH实时数量的检验，使得攻击者可以先伪造一笔指向自己的交易，然后再把已经花掉的本金再次利用，和平台其他用户完成一笔正常交易。
图3.攻击交易分析
在图3中，我们通过Bloxy浏览器显示的调用过程来展示攻击的过程。由于攻击者吃掉了很多笔订单，我们以其中一笔交易为例，向大家展示其攻击逻辑：
1、攻击者先从Uniswap购入了75oETH为进一步调用函数行权做好筹备；2、攻击者创建了一个Vault地址，作为看空期权卖方，并且抵押24,750USDC铸造出75oETH，但并未卖出这些期权，等于自己同时买入了以330的价格卖出75ETH的权利；3、攻击者在Opyn合约中调用了exercise()，在持有150oETH看空期权的情况下，先向自己的Vault地址转入了75个ETH，获得自己事先抵押的24,750个USDC，再重利用了这75个ETH，成功吃掉了另一个用户的24,750个USDC，进而实现非法获利。
修复建议
PeckShield安全团队建议，在Solidity中，合约可使用一个局部变量msgValue来保存所收到ETH。这样，在后续的步骤中通过操作msgValue，就能准确的标记有多少ETH已经被花费，进而避免资产被重复利用。此外，我们还可以使用address(this).balance来检查合约余额来规避msg.value被重复使用的风险。
PeckShield作为业内领先的区块链安全公司，安全业务已覆盖全球范围，主要客户包括有：公链提供商(EOS、Nervos、Harmony、AVA、HBTC、NEO、IOST、Bytom、TRON、OKChain），头部钱包和矿池(imToken、SparkPool、比特派、Cobo金库，VoiceWallet)，以及头部交易所(Huobi、KuCoin、Bithumb、Upbit、OKex)、DeFi应用及智能合约等。
近一年内，PeckShield已经接连审计了数十个DeFi项目，帮助DeFi协议做代码安全审计、业务逻辑风控、威胁情报风险预警等等，已经成为服务DeFi领域的头部安全公司。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。