CER:CertiK：Text.finance智能合约安全漏洞分析_certik

北京时间11月12日，CertiK安全研究团队发现DeFi项目text.finance智能合约代码部分存在安全漏洞。分析之前，先考考大家的眼力，看看下图里面的文字说了什么。

如果看不清，不妨点击图片后把屏幕亮度调至最高。有的时候，某些不想让你看到的因素，正是通过排版或者这样的方式，被刻意隐藏了起来。接下来说说该项目中存在的两处漏洞。大家不妨在阅读文章的时候注意一下图中的位置。第一弹：项目拥有者可通过第一处漏洞，将指定数目代币转移到任意地址。第二弹：项目拥有者可通过第二处漏洞，将任意投资者的流动性池中的资产强制转移到项目拥有者的地址中。漏洞分析

CertiK：TRUMPCoin项目存在高风险，请勿交互:金色财经报道，区块链安全公司CertiK发推称，监测到一个名为TRUMPCoin的项目存在高风险，特权功能出现在了具有无限铸币特权的合约中。CertiK提醒用户不要进行交互。[2022/1/9 8:35:52]

textMiner.sol部署地址:https://etherscan.io/address/0x9858728de38c914c2ea32484a113b6628d984a82#code1.漏洞一项目拥有者在textMiner.sol智能合约1000行处实现了withUpdates()函数。该函数的的作用是可以将任意数量的为devaddr地址铸造任意数量的代币。而通过查看图2中devaddr和项目拥有者owner的地址值，可以发现两者相同，因此项目拥有者可以通过该漏洞为devaddr地址铸造任意数目代币。同时，当前的devaddr地址拥有者可以通过图3的dev()函数将devaddr地址值更换到另外一个地址，因此最终项目拥有者可以更换将devaddr地址值更换的方法，向任意地址中铸造任意数目代币。虽然项目拥有者将图1中的withUpdates()函数设置为不允许智能合约外部调用，但是却有意地在图4中919行实现了允许被外部调用的add()函数，然后通过921行代码调用withUpdates()函数，从而实现向devaddr地址铸造1000000000000000000000000000000数量代币。

Aragon与Balancer将为Snapshot各提供10万美元开发奖励:DAO解决方案提供商Aragon （ANT）宣布 Aragon Association将与Balancer Labs合作，将为Snapshot代码库贡献代码，并提供价值10万美元的ANT，同时Balancer Labs将承诺提供10万美元的 BAL （取决于 BAL 治理批准），两种代币都将进入一个50/50的Balancer池，用于Snapshot的开发和资金奖励。此前，Aragon 基于Snapshot和Aragon法庭（Aragon Court）推出一项结合链下投票和链上治理的治理解决方案，Snapshot提供链下投票，允许社区用户在链下进行投票，Aragon法庭将进行链上治理，包括审理诉讼以及执行等。[2020/10/7]

Spencer Noon：可在YFI价格连续超过比特币10天后将其拆分:DTC Capital 投资者 Spencer Noon发推提出一个适度的非正式拆分YFI建议：在YFI价格连续超过比特币10天之后以10:1的比例拆分YFI，拆出ySplit。新的ySplit保证1YFI=1比特币，这能够让社区在同一文化氛围下集结，并且永远拥有以绩效为导向的目标。

此前，yearn.finance宣布将推出去中心化保险功能，这促使YFI币价大涨，一度触及9000美元，这点燃了YFI支持者对价格超过比特币的信心。（哔哔News）[2020/8/18]

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

Balancer上线分配治理代币BAL 日内涨超2倍:此前报道，Balancer在其以太坊主网上正式部署治理代币BAL，BAL现已在Balancer交易平台、去中心化交易所Uniswap以及MXC抹茶上交易。

行情显示，BAL价格日内已从7美元涨到最高22美元，现报16.12美元。有分析称，BAL的上线似乎在复制DeFi协议Compound的模式。Compound上周同样上线了其治理代币COMP，上线之后不久，Compound就超过了MakerDAO成为第一大DeFi项目。COMP代币也急剧增长443％。[2020/6/24]

图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项目的恶意漏洞中可以看出，盲目投资一个没有经过严格审计的项目，或引发极大风险，并造成难以估量的损失。CertiK是采用形式化验证工具来证明智能合约可靠性的业内顶尖公司。公司内部审计专家将利用包括形式化验证在内的多种软件测试方法，结合一流的白帽黑客团队提供专业渗透测试，从而确保项目从前端到智能合约整体的安全性。如你的项目需要保障，请发送邮件至bd.china@certik.org或直接后台留言进行免费咨询及报价。于此同时，CertiK的新产品预言机及快速扫描，也将为链上项目进行实时打分并且出具快速扫描分数。如果你需要查找某项目的信息及安全分数，请登录CertiKFoundation官网的CertiKShield页面进行浏览：https://shield.certik.foundation/欢迎搜索微信关注CertiK官方微信公众号，点击公众号底部对话框，留言免费获取咨询及报价！

标签：CERNCEBALcertikCER价格CafeSwap FinanceStellarPayGlobalcertik币价

比特币行情热门资讯