昨天，去中心化交易所协议0x项目方称其发现严重安全漏洞。PeckShield安全人员跟进分析发现，0xExchange合约在校验订单签名时存在缺陷，导致攻击者可以进行恶意挂单，进而将用户的数字资产低价卖出，扰乱正常的交易秩序。所幸项目方及时发现并修复问题，截至目前，尚未有真实攻击发生，并没有产生数字资产损失。
背景
北京时间2019年07月13日，去中心化交易所0x协议项目方称其发现严重安全漏洞，并紧急关闭了0xExchangev2.0合约，随后部署了修复后的合约。受此影响，基于0x协议的交易所及钱包，包括RadarRelay，Tokenlon,StarBit等紧急暂停了相关交易服务。PeckShield安全人员跟进分析发现，0xExchange合约在校验订单签名时存在缺陷，导致攻击者可以进行恶意挂单，进而将用户的数字资产低价卖出，扰乱正常的交易秩序。0x协议简介
“0x653d”和“0x9370”开头聪明地址再次买入237亿枚RFD:金色财经报道，据Lookonchain监测，两个在RFD上赚钱的地址又买了RFD，0x653d开头地址花费400枚ETH在0.00006795美元买入107亿枚RFD，之前在RFD上赚取380枚ETH。0x9370花费371枚ETH在0.00005114美元买入130亿枚RFD，之前在RFD上赚取303.5枚ETH。[2023/5/25 10:39:34]
0x协议是一个基于以太坊的开放协议，实现链上资产的点对点交易。它期望在以太坊上创建一种标准协议，使得任何人能够基于此协议运行去中心化交易所，实现以太坊上的代币之间的交易。0x协议上的交易特点是链下订单撮合，链上结算，其中为用户交易提供订单服务的参与者称为中继者。0x项目发行了自己的代币ZRX，一方面作为去中心化治理投票权的证明，同时也被作为交易服务费，用于建立在0x协议之上的中继者提供服务的收益。0x协议受到不少去中心化交易所和钱包的青睐，从Etherscan的DEX过去七天交易份额的饼图中能看到，排名靠前的RadarRelay和Tokenlon都是基于0x协议：
数据：0xb154开头的巨鲸地址将之前提出的17500枚ETH重新转入币安:5月23日消息，据链上分析师余烬监测，十几分钟前，0xb154开头的巨鲸地址将5月12日至5月14日期间从币安提出的17500枚ETH(约合3220万美元)重新转入了币安。他上次5月19日将21,000枚ETH转入币安时，使ETH从1860美元下跌至1827美元。[2023/5/23 15:20:04]
另外，从DAppTotal的DEX24小时交易额排名中也能看到它们的排名：
由于Ethereum平台上大量的DEX都使用了0x协议，而作为最根本的TokenTranfer主合约出问题，这对于整个DEX领域来说，都是比较重大的事件。漏洞原理分析
本次漏洞共涉及isValidWalletSignature()和isValidValidatorSignature()两个相似的漏洞，由于两者出问题的代码是相似的，本文只以前者为例说明。isValidWalletSignature(bytes32,address,bytes)函数用于验证给定的Wallet合约所定义的签名信息与给定的签名是否一致，用于确保Order是由正确的Maker/Taker执行的交易。但是0xExchange合约在验证的过程中，存在着比较严重的问题：
0xScope：持有近8万枚比特币的巨鲸已沉睡12年，并未转出资金:金色财经报道，据0xScope监测显示，拥有79957枚比特币的巨鲸已经沉睡12年，并没有比特币转出。据推测，该地址属于Mt.Gox黑客，一直无比特币转出，但这些年里有若干笔随机收到的小于0.00001枚BTC的资金转入。[2023/4/25 14:25:26]
上图是这一函数的全部逻辑，分为两部分：组装签名具体字段为ABI编码格式；根据组装的ABI编码内容计算签名值正确性。其中，第2步的逻辑，在0xv2合约代码中是用汇编实现的:引入cdStart指针，指向calldata中对应的位置；对WalletAddress调用staticcall()OpCode计算签名正确性，注意观察代码，其中的input和output都为cdStart这一指针，即复用input/output的内存；检验步骤2.2中的结果是否正确。WalletAddress为合约的前提下，这样子的流程没有问题。先来看下EVM中合约的执行流程是怎样的，PeckShield安全人员查阅EVM源码的时候发现：
去中心化交易协议 0x API 现已上线 Optimism:1月12日消息，去中心化交易协议 0x API 现已在 Optimism 上线，并聚合 Uniswap 和 Synapse 的流动性，同时Matcha、DexGuru等平台已集成 0x API。[2022/1/12 8:42:48]
当被调用的合约没有code,也就是EOA账号的情况下，什么都没有的执行，直接返回。因此，对应到isValidWalletSignature(bytes32,address,bytes)函数来说，其中的cdStart所对应的内存内容在调用staticcall()前后并没有变化，而后面在判断签名是否正确的isValid取值的时候，也就取到了错误的值。用户通过fillOrder(Order,uint256,bytes)函数完成Token买卖，PeckShield安全人员发现，这一函数的三个参数可以由用户自由配置：
0x协议优化与UniswapV3集成的提议ZEIP-88已开启投票:去中心化交易协议0x协议称，其关于「优化与UniswapV3集成以降低相关交易成本」的提议ZEIP-88已开启投票。此次提案中提出了两项更改，一是将UniswapV3Feature合约添加到交易代理（ExchangeProxy），二是在MultiplexFeature上添加了对UniswapV3的支持。[2021/5/26 22:45:38]
分别为：代表订单信息的Order类型；用户为此订单付出的Token数量；Order对应的签名信息signature其中比较关键的是Order及对应的signature信息的一致性正是通过上面的isValidWalletSignature()类函数校验，因此，当攻击者精心构造signature为SignatureTypeWallet时，可『跳过』签名合法性检查，从而使得用户在不经意之间被恶意挂单，从而被攻击者顺利吃单，由于这一订单信息是由攻击者直接传入合约的，因此这一订单信息在线下的中继者也无法查询。漏洞影响分析
基于上述分析发现，曾在0x协议Exchange上做过授权转账的普通用户帐号都将受到影响：攻击者可伪造用户挂单，低价获得用户代币。鉴于此安全漏洞的危害性，PeckShield安全人员发现0x项目方在漏洞被发现的时候先紧急关闭了0xExchangev2.0合约的Tokentransfer功能，将所有的ERC20、ERC721、以及MultiAsset的Transfer功能全部下线；随后部署了修复后的合约，同时告知用户及使用了0xExchange的所有DEX及Relayer，相关的迁移升级工作正在进行中。受此影响，基于0x协议的交易所及钱包，包括RadarRelay,Tokenlon,StarBit等紧急暂停了交易服务。PeckShield安全人员通过漏洞特性分析链上数据发现，从0xExchange2018-09上线至今，并没有因此安全漏洞造成的用户直接资产损失。对于使用了0x的DEX及钱包来说，当前的阶段需要暂停交易服务，如无法暂停交易服务的话，可将对应的0xExchange合约地址变更为当前已经修复的合约地址。结语
0x协议本次出现漏洞的合约代码，主要是内联汇编代码编写签名验证功能出现的问题，直接编写汇编代码虽然在编译器无法优化合约代码的情况下非常有用，可控性更强且能提高执行效率，减少Gas消耗，但是编写Solidity汇编代码需要对EVM运行机制有非常熟悉的理解，不然EVM的某些特性可能导致编写的合约无法正常运行，同时也缺少了Solidity提供的多种安全机制。PeckShield安全人员在此提醒广大开发者及时排查合约的相关代码，避免类似问题可能造成的安全风险，对于DEX等DeFi类项目，项目方在上线前需要找有资质的安全公司审计安全风险。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。