观点

CertiK:Soda项目智能合约安全漏洞分析

文 / 管理员 来源 / 星球日报 阅读 / 68 10月前

CertiK:Soda项目智能合约安全漏洞分析

判断一个人到底属于什么资产阶级,只需要看他的负债率。简而言之,借的钱越多,代表你越有钱(还款能力强)。

所以借钱从某种角度上来讲,是属于富人的游戏。通过借贷手段合理分配资产从而达到收益也是理财的精髓。

相信每个人都好奇过,银行到底拿我们存的钱去做什么了呢?

从这种角度上来讲,银行属于最大的欠款方。那如果,突然有人攻破了银行系统,强制银行“还款”,然后本来需要还到储蓄者账户里的钱款直接被攻击者收入囊中,储蓄者和银行都将成为最大的受害方。

CertiK:Soda项目智能合约安全漏洞分析

北京时间9月21日,CertiK安全研究团队发现soda区块链项目中存在智能合约安全漏洞,该漏洞允许任意外部调用者通过调用智能合约函数,无视受害用户债务中的代币数目,强行结算受害用户的债务,并将通过结算操作所得的收益转入到自己的收款地址。

soda项目官方现在已经提交修复补丁来修复这个安全漏洞,但由于soda项目采用了TimeLock来将所有的操作延迟48小时,修复补丁会在延迟事件之后生效,因此截止发稿时,该漏洞已完成修复。

漏洞技术分析

CertiK:Soda项目智能合约安全漏洞分析

https://github.com/

CertiK:Soda项目智能合约安全漏洞分析

CertiK:Soda项目智能合约安全漏洞分析

CertiK:Soda项目智能合约安全漏洞分析

soda项目中的WETHCalculator.sol智能合约中存在逻辑实现错误导致的安全漏洞,图一中WETHCalculator.sol智能合约第193行,maximumLoad的计算公式错误的使用了amount作为基础值。

因此,在196行满足require()判断的检测条件 loanTotal >= maximumLoan可以转换为:

loanInfo[_loanId].amount + interest >= loanInfo[_loanId].amount * maximumLTV / LTV_BASE

由于maximumLTV / LTV_BASE的值是在0.15-0.95区域中变动,并且interest >= 0。因此图一196行的require()判断中的检测条件总是为真。

失去了该require()判断的保护,任何外部调用者可以通过调用以下图二中SodaBank.sol中104行的collectDebt()函数来将任意loadId的贷款清空。在执行该函数的过程中,图一中的collectDebt()函数会在图2第121行被执行,并通过123行和125行代码将该用户锁在soda里面的WETH的其中一部分转移到该外部调用者的地址msg.sender中:

CertiK:Soda项目智能合约安全漏洞分析

https://github.com/

通过以上漏洞,任何外部调用者都可以通过调用SodaBank.sol中的collectDebt()并传入其他用户的loadId来清空该用户在soda中的代币。

官方修复细节

soda官方为修复以上漏洞,设计了新的智能合约WETHCalculatorFixed.sol来替换WETHCalculator.sol。

通过分析可以看到在图三WETHCalculatorFixed.sol智能合约第979行,maximumLoan的计算公式被正确的计算为 loanInfo[_loanId].lockedAmount * maximumLTV / LTV_BASE。因此,图三中第982行require()判断的检测条件变更为:

loanInfo[_loanId].amount + interest >= loanInfo[_loanId].lockedAmount * maximumLTV / LTV_BASE

CertiK:Soda项目智能合约安全漏洞分析

https://github.com/

该等式的代码实现与soda项目中的逻辑设计相符,该等式的真假与用户的借贷债务数目和被锁本金数目相关。漏洞完成修复。

soda项目中关于该等式的逻辑设计细节可以从下面的链接中进行了解:

https://medium.com/soda-finance/the-soda-revolution-9185fdb99fc1

事件分析总结

该漏洞是由于逻辑设计与代码实现不符而造成。当前常用的单元测试等测试方法以及自动化的测试工具均无法有效的查找到该种与逻辑相关的漏洞。

因此,CertiK安全团队有以下安全建议:

  • 安全是区块链项目的立足之本,任何区块链项目在上线前需要请专业第三方安全审计团队对项目整体代码进行安全审计。

  • 当前区块链检测工具对智能合约的检测均无法检测其逻辑上出现的漏洞,其结果也没有可信的数学证明作为支撑。形式化验证是当前唯一被证明可以产生可信数学证明的软件验证方法。采用基于形式化验证方法的区块链检测工具来验证项目中的安全漏洞,应成为每一个项目在上链前的必经步骤


声明:币贝bibei.pro部分文章及图片来自互联网转载,如侵犯了您的版权请谅解并告之,我们将会第一时间处理!

评论

共0条评论
  • 这篇文章还没有收到评论,赶紧来抢沙发吧~


Powered By bibei.pro © 2019-2020 币贝 版权所有 | 法律顾问:广东圣和胜律师事务所-陈俊兵律师 | 备案号:粤ICP备20035688号-1

友情链接: Odaily星球日报 火币 OKEX 财路网 链得得 币小白 博链财经 链嗅网 搜搜币SOSOB 链商店 一灯社区 创造者日报 量化狗 每日区块链 蜜蜂财经 麦田财经 洞悉财经 币牛资讯 币海网 奇迹摩尔 链百财经 IT 帮 链司令 比特能 玩客中国 上海挖易 糖果空投网 比特帝国 虚拟币啦 派传时报 奔跑财经 毛球科技 C 财经 盛币网 千里眼链讯 比特巴 第1时间新闻网 比特币论坛 区块链开发 3点财经 链团财经