以太坊價格 以太坊價格
Ctrl+D 以太坊價格
ads

ERT:CertiK:Text.finance智能合約安全漏洞分析

Author:

Time:1900/1/1 0:00:00

北京時間11月12日,CertiK安全研究團隊發現DeFi項目text.finance智能合約代碼部分存在安全漏洞。分析之前,先考考大家的眼力,看看下圖里面的文字說了什么。

如果看不清,不妨點擊圖片后把屏幕亮度調至最高。有的時候,某些不想讓你看到的因素,正是通過排版或者這樣的方式,被刻意隱藏了起來。接下來說說該項目中存在的兩處漏洞。大家不妨在閱讀文章的時候注意一下圖中的位置。第一彈:項目擁有者可通過第一處漏洞,將指定數目代幣轉移到任意地址。第二彈:項目擁有者可通過第二處漏洞,將任意投資者的流動性池中的資產強制轉移到項目擁有者的地址中。漏洞分析

Balancer加入Vesta Finance激勵計劃:2月13日消息,抵押借貸協議Vesta Finance發推稱,合作伙伴Balancer已加入其激勵計劃,每周將向Balancer上的VSTA-ETH池釋放1000枚BAL(約1.3萬美元)。BAL激勵將在2月14日星期一UTC時間00:00開啟。

目前的VSTA-ETH池質押者不需要做任何事情,因為Balancer的獎勵系統將直接向那些在Vesta Finance質押合約中質押的用戶發放獎勵。[2022/2/13 9:49:13]

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數量代幣。

Kine將于3月11日通過BalancerLBP拍賣500萬枚KINE:3月9日消息,去中心化衍生品交易所Kine將于北京時間3月11日晚10點通過Balancer流動性引導池(LBP)拍賣500萬枚KINE代幣,本次LBP將持續約36小時。

此前報道,Kine已正式啟動測試網,目前用戶可測試鏈上質押、合成資產交易和質押分紅等功能,主網預計將于月內上線。[2021/3/9 18:29:49]

圖1:第1000行中的withUpdates()函數

現場 | Certik CEO Ronghui Gu:形式驗證方法是實現計算機系統安全和隱私的可靠的方法:金色財經現場報道,NEO DevCon 2019開發者大會今日在西雅圖舉行,Certik CEO Ronghui Gu 做了以“建設可信的區塊鏈生態”主題演講。Ronghui Gu 表示,區塊鏈目前是十分脆弱的,有許多執行上的漏洞。攻擊區塊鏈的受益也是巨大的,據統計截止到2017年已經有6.3億美元的區塊鏈資產被黑客盜取。智能合約對黑客開源,一旦執行很難去修改, 我們應該去避免區塊鏈編程上的漏洞。程序的測試可以用于展示漏洞存在,但是它不能夠去顯示漏洞不存在。而形式驗證的方法是目前唯一可靠的方法去實現計算機系統的安全和隱私,形式驗證在數學上證明代碼滿足規范。[2019/2/17]

圖2:devaddr地址以及項目擁有者owner地址

韓國區塊鏈公司Certon.In參與日本虛擬貨幣'BaaSid’項目:今日(5日)韓國區塊鏈公司Certon.In宣布為了加強其子公司‘X-Chain’的個人認證服務將參與日本安全公司PRO主導準備的基于去中心化認證的虛擬貨幣項目 ‘BaaSid’。根據Certon.In公司的描述, ‘BaaSid’是將用戶敏感的個人身份驗證信息進行拆分,并將這些被拆分的信息在單獨的節點上進行分離·分散的儲存, 進行登錄、付款或使用網上銀行時可以進行暫時合并。該網絡平臺沒有在線服務提供商(OSP)提供的中心化數據庫,是一個即時驗證(即時訪問)的去中心化數據庫公共網絡平臺。[2018/2/5]

圖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官方微信公眾號,點擊公眾號底部對話框,留言免費獲取咨詢及報價!

Tags:CERERTCERTANC0xcertExperty Wisdom TokenCERT立方根ANCC

比特幣最新價格
EFI:Chain Hill Capital:加密借貸及其對市場的影響

本文系ChainHillCapital管理合伙人、指數基金負責人Carrie撰文,未經授權嚴禁轉載.

1900/1/1 0:00:00
比特幣:比特幣突破10萬元,還能買入嗎?

就在昨天,比特幣突破了15000美元,比特幣達到這個價位在圈內引起了巨大的關注。據歷史數據顯示,歷史上只有17天比特幣的價位比這個高,這17天全部都在2017年12月7日至2018年1月10日這.

1900/1/1 0:00:00
區塊鏈:美國公司囤積100億美元比特幣對市場有什么影響?

編者按:本文來自LongHash區塊鏈資訊,作者:JosephYoung,Odaily星球日報經授權轉載.

1900/1/1 0:00:00
REU:最新的以太坊 2.0路徑是如何規劃的?

編者按:本文來自加密谷Live,作者:GianmarcoGuazzo,翻譯:李翰博,Odaily星球日報經授權轉載.

1900/1/1 0:00:00
TOKE:肖颯:幣圈新“口袋罪”?

編者按:本文來自肖颯lawyer,作者:肖颯,Odaily星球日報經授權轉載。據相關信息,某某比特CEO趙某因涉嫌掩飾、隱瞞犯罪所得、收益罪被帶走,現已進入審查起訴階段.

1900/1/1 0:00:00
CBD:數字人民幣概述:屬性、歷程、動因及目標

編者按:本文來自 01區塊鏈,作者:趙越,Odaily星球日報經授權轉載。 摘要 數字人民幣屬于基礎貨幣,它的出現將改變我國基礎貨幣結構.

1900/1/1 0:00:00
ads