昨天，去中心化交易所协议0x项目方称其发现严重安全漏洞。PeckShield安全人员跟进分析发现，0xExchange合约在校验订单签名时存在缺陷，导致攻击者可以进行恶意挂单，进而将用户的数字资产低价卖出，扰乱正常的交易秩序。所幸项目方及时发现并修复问题，截至目前，尚未有真实攻击发生，并没有产生数字资产损失。
背景
北京时间2019年07月13日，去中心化交易所0x协议项目方称其发现严重安全漏洞，并紧急关闭了0xExchangev2.0合约，随后部署了修复后的合约。受此影响，基于0x协议的交易所及钱包，包括RadarRelay，Tokenlon,StarBit等紧急暂停了相关交易服务。PeckShield安全人员跟进分析发现，0xExchange合约在校验订单签名时存在缺陷，导致攻击者可以进行恶意挂单，进而将用户的数字资产低价卖出，扰乱正常的交易秩序。0x协议简介
BTC跌破33000美元关口 日内涨幅为3.25%:火币全球站数据显示，BTC短线下跌，跌破33000美元关口，现报32989.89美元，日内涨幅达到3.25%，行情波动较大，请做好风险控制。[2021/1/25 13:27:19]
0x协议是一个基于以太坊的开放协议，实现链上资产的点对点交易。它期望在以太坊上创建一种标准协议，使得任何人能够基于此协议运行去中心化交易所，实现以太坊上的代币之间的交易。0x协议上的交易特点是链下订单撮合，链上结算，其中为用户交易提供订单服务的参与者称为中继者。0x项目发行了自己的代币ZRX，一方面作为去中心化治理投票权的证明，同时也被作为交易服务费，用于建立在0x协议之上的中继者提供服务的收益。0x协议受到不少去中心化交易所和钱包的青睐，从Etherscan的DEX过去七天交易份额的饼图中能看到，排名靠前的RadarRelay和Tokenlon都是基于0x协议：
摩根大通认为BTC长期目标价格将达到146000美元:据摩根大通（JPMorgan Chase&Co.）称，由于比特币在投资流量方面与黄金展开竞争，比特币可能在长期内有进一步大幅上涨的潜力。Nikolaos Panigirtzoglou）领导的策略师在一份报告中表示，比特币的市值约为5750亿美元，必须增长4.6倍。理论上的价格为146,000美元，才能与私人部门通过交易所基金、金条和货币对黄金的总投资相匹配。
从黄金中挤出作为一种“替代”货币，从长远来看意味着比特币有很大的上涨空间。”但是，比特币和黄金之间的波动率收敛不太可能很快发生，在我们看来，这是一个多年的过程。这意味着，高于146,000美元的理论比特币价格应被视为长期目标。（彭博社）[2021/1/5 16:27:59]
另外，从DAppTotal的DEX24小时交易额排名中也能看到它们的排名：
由于Ethereum平台上大量的DEX都使用了0x协议，而作为最根本的TokenTranfer主合约出问题，这对于整个DEX领域来说，都是比较重大的事件。漏洞原理分析
本次漏洞共涉及isValidWalletSignature()和isValidValidatorSignature()两个相似的漏洞，由于两者出问题的代码是相似的，本文只以前者为例说明。isValidWalletSignature(bytes32,address,bytes)函数用于验证给定的Wallet合约所定义的签名信息与给定的签名是否一致，用于确保Order是由正确的Maker/Taker执行的交易。但是0xExchange合约在验证的过程中，存在着比较严重的问题：
上图是这一函数的全部逻辑，分为两部分：组装签名具体字段为ABI编码格式；根据组装的ABI编码内容计算签名值正确性。其中，第2步的逻辑，在0xv2合约代码中是用汇编实现的:引入cdStart指针，指向calldata中对应的位置；对WalletAddress调用staticcall()OpCode计算签名正确性，注意观察代码，其中的input和output都为cdStart这一指针，即复用input/output的内存；检验步骤2.2中的结果是否正确。WalletAddress为合约的前提下，这样子的流程没有问题。先来看下EVM中合约的执行流程是怎样的，PeckShield安全人员查阅EVM源码的时候发现：
当被调用的合约没有code,也就是EOA账号的情况下，什么都没有的执行，直接返回。因此，对应到isValidWalletSignature(bytes32,address,bytes)函数来说，其中的cdStart所对应的内存内容在调用staticcall()前后并没有变化，而后面在判断签名是否正确的isValid取值的时候，也就取到了错误的值。用户通过fillOrder(Order,uint256,bytes)函数完成Token买卖，PeckShield安全人员发现，这一函数的三个参数可以由用户自由配置：
分别为：代表订单信息的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类项目，项目方在上线前需要找有资质的安全公司审计安全风险。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。