首发 | Text.finance智能合约安全漏洞分析

北京时间11月12日,CertiK安全研究团队发现DeFi项目text.finance智能合约代码部分存在安全漏洞。

分析之前,先考考大家的眼力,看看下图里面的文字说了什么。

如果看不清,不妨点击图片后把屏幕亮度调至最高。

有的时候,某些不想让你看到的因素,正是通过排版或者这样的方式,被刻意隐藏了起来。

接下来说说该项目中存在的两处漏洞。大家不妨在阅读文章的时候注意一下图中【function函数】的位置。

第一弹:项目拥有者可通过第一处漏洞,将指定数目代币转移到任意地址。

第二弹:项目拥有者可通过第二处漏洞,将任意投资者的流动性池中的资产强制转移到项目拥有者的地址中。

textMiner.sol

美监管机构考虑就稳定币是否威胁金融稳定启动正式评估:9月12日消息,三位知情人士透露,经过数周的审议后,美国财政部和其他联邦机构即将决定是否由金融稳定监管委员会(FSOC)启动评估,确定Tether等稳定币是否威胁金融稳定。FSOC有权认定某个企业或活动对金融体系构成系统性威胁。如果做出这一定性,有可能会对稳定币产生重大影响。 (彭博)[2021/9/12 23:19:02]

部署地址: 

https://etherscan.io/address/0x9858728de38c914c2ea32484a113b6628d984a82#code

1. 漏洞一

项目拥有者在textMiner.sol智能合约1000行处实现了withUpdates()函数。该函数的的作用是可以将任意数量的为devaddr地址铸造任意数量的代币。而通过查看图2中devaddr和项目拥有者owner的地址值,可以发现两者相同,因此项目拥有者可以通过该漏洞为devaddr地址铸造任意数目代币。

标普500指数及道琼斯指数收盘上涨:标普500指数10月16日(周五)收盘上涨0.50点,涨幅0.01%,报3483.81点;

纳斯达克指数10月16日(周五)收盘下跌42.30点,跌幅0.36%,报11671.56点;

道琼斯指数10月16日(周五)收盘上涨112.10点,涨幅0.39%,报28606.31点。[2020/10/17]

同时,当前的devaddr地址拥有者可以通过图3的dev()函数将devaddr地址值更换到另外一个地址,因此最终项目拥有者可以更换将devaddr地址值更换的方法,向任意地址中铸造任意数目代币。

虽然项目拥有者将图1中的withUpdates()函数设置为不允许智能合约外部调用,但是却有意地在图4中919行实现了允许被外部调用的add()函数,然后通过921行代码调用withUpdates()函数,从而实现向devaddr地址铸造1000000000000000000000000000000数量代币。

图1:第1000行中的withUpdates()函数

图2:devaddr地址以及项目拥有者owner地址

图3:dev()函数

图4:add()函数

2. 漏洞二

图5:emergencyWithdraw()函数

项目拥有者可以通过调用图5中emergencyWithdraw()函数,将某一个特定地址投资者的某一个流动性池中的流动性资产全部取出,并转移到项目拥有者的地址中。

该emergencyWithdraw()函数是一个基于正确的emergencyWithdraw()函数。因此就算审视合约者不恶意揣测,也很难说项目方不是恶意改写,并添加了该漏洞。

从下图6的对比中可以发现,Sushiswap允许投资者通过调用emergencyWithdraw()函数,紧急取出属于自己的流动性资产,而在text.finance中却仅允许项目拥有者来调用该函数,同时允许项目拥有者取出属于任何投资者的流动性资产。

图6:text.finance和sushiswap项目中emergencyWithdraw()函数实现对比

CertiK安全研究团队认为当投资者在对DeFi项目进行投资时,不仅需要对智能合约常见的代码有所了解,更需要谨慎地审视具体代码的实现逻辑。否则极易掉入类似该项目中的恶意漏洞陷阱当中。

对于非技术背景的投资者,更需要了解项目是否经过严谨的技术审计。从Text.finance项目的恶意漏洞中可以看出,盲目投资一个没有经过严格审计的项目,或引发极大风险,并造成难以估量的损失。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

区块博客

TRX以太坊的价格为什么持续飙升?

昨天上午,以太坊2.0已达到最低质押数(524299枚ETH)要求,12月1日将完成创世区块,且质押数还在持续上升,目前已超70万枚以上。 要知道在一周前,质押数量还未到达10万,距离最低质押数还遥遥无期,许多人对比看衰,预测的出块时间均在1月份,就像一台匀速运转的机器,均匀到不出故障也不会加速。

币安app官网下载比特币这轮牛市与2017年那波有何不同?

随着市场进入一个新的牛市周期,不少人开始担心比特币会重复2017年底走过的路。 11月24日,比特币在近三年里首次突破19000万美元。接下来的三天,比特币急跌3000点,跌幅超过15%,当众人以为行情会出现2017年同样的命运时,比特币又缓缓升至18500美元。可以说,除了价格走势上的相似之处,2020年这波情况与过去完全不同。

以太坊最新价格独家视频 | 以太坊2.0:你了解以太坊2.0升级的各阶段吗?

本期由金色财经和Bitouq联合推出。每周三,周五固定更新。周末不定时更新。 以太坊ETH2.0升级在即,以太坊再次引起市场的大范围关注,本次金色财经和Bitouq联合推出以太坊2.0视频科普专题,详细解答以太坊2.0升级全部细节,你想知道的都在这里! 微信社群:Bitouq B站&新浪微博:陈默Bitouq 公众号:Bitouq。

[0:15ms0-9:270ms