9份合约惊现同一致命漏洞 —— 新型无限授权转账漏洞分析

7月10日晚， 安比（SECBIT）实验室创建并维护的智能合约风险列表仓库中接收到问题合约提交请求（漏洞报告者 xhyumiracle 来自长亭科技）。Lightcoin Token合约（合约地址：0xd97579Cea3fE2473682a4C42648134BB982433B9）的授权转账方法存在漏洞，授权账户可无限转出被授权账户的金额，并且，授权账户可以利用这个漏洞给任意账户授权。

Lightcoin 合约的 transferFrom() 函数，即授权转账函数，在执行完转账后本该修改授权金额，减去已转出部分金额。但这一步骤中把这授权账户地址写错了，也就是将allowed[_from][msg.sender] -= _value; 误写成了 allowed[_from][_to] -= _value;，进而引发了漏洞。

注：_from 地址为被授权地址，实际转出 Token 的地址；_to 地址为转账接收地址；msg.sender 为当前操作账户地址，也就是，授权账户地址。

安比（SECBIT）实验室小伙伴迅速分析了该漏洞指出，这个漏洞引发的后果有两方面：

• 授权账户在完成授权转账后，其被授权的金额不会改变，也就是说，授权账户可以无限转出被授权账户的金额。

• 转账完成后实际修改的是这笔转账接收地址（to）对于被授权账户 _from 的授权转账金额，但是由于对 allowed[_from][_to] -= _value;操作并没有做溢出校验，可以利用溢出来给 _to 地址巨额的授权。

• 若 _to 地址原本就有授权，那么授权金额可能减小，也可能溢出为一个极大的值。

• 若 _to 地址原本没有授权，即 allowed[_from][_to 值为 0， 就可以利用溢出获得这个被授权地址（_from 地址）的授权，一旦授权后，就可以无限转账。

据悉，Lightcoin 项目方已获知该漏洞并已完成合约升级工作，提醒广大持币用户不必恐慌，做好升级工作即可。
目前问题合约已作废：0xd97579Cea3fE2473682a4C42648134BB982433B9
升级后新合约地址为：0x1295b55fA04FBAc6d9e7c351Ecb3486e88129027

根据安比（SECBIT）实验室风险监控平台显示，存在相同漏洞的合约共 9份，强烈建议各个项目方和交易所及时做好自查工作。下图为该问题的合约地址（出于对项目方的保护，合约地址已部分马赛克）。

该漏洞目前已被收录至智能合约风险列表，该列表由安比(SECBIT)实验室发起共建并持续维护的 Token 合约问题列表，至今已收录了28类合约漏洞及风险，问题合约数量超过4000份，我们将不间断更新问题 Token 合约信息，同时也欢迎更多的小伙伴能够参与进来，共同维护这份问题合约列表。

https://github.com/sec-bit/awesome-buggy-erc20-tokens

安比（SECBIT）实验室再次呼吁，项目方发行 Token 一定要慎之又慎，遵守智能合约安全开发规范，引入安全审计流程，必要的时候采用形式化验证 手段，确保万无一失。

智能合约形式化验证示例：https://github.com/sec-bit/tokenlibs-with-proofs

致谢：特别感谢长亭科技小伙伴 xhyumiracle 的及时报告。

参考文献

[1] 智能合约风险列表(awesome-buggy-erc20-tokens) https://github.com/sec-bit/awesome-buggy-erc20-tokens
[2] 安⽐（SECBIT）实验室携⼿路印（Loopring）共同发布智能合约风险列表 https://mp.weixin.qq.com/s/XbXlrmt0fi9IgxicmdAF0w
[3] Lightcoin (Light) https://etherscan.io/token/0xd97579Cea3fE2473682a4C42648134BB982433B9
[4] 构造形式化证明，解决智能合约安全问题——你的合约亟待证明 https://mp.weixin.qq.com/s/Dk8FAODv2SeFXmDgGaQduw
[5] tokenlibs-with-proofs https://github.com/sec-bit/tokenlibs-with-proofs