本文由“Fairyproof Tech”原創,授權“金色財經”獨家發布。
8月19日,BSC上的收益聚合項目Pinecone Finance的保險庫受到黑客攻擊,損失約350萬沒PCT代幣(市值約合20萬美元)。
截至寫稿時為止,項目方已經針對此次攻擊中受損的用戶發布了補償計劃:項目團隊及投資人共持有491萬枚代幣,將用所有代幣補償用戶。
盡管此次攻擊受損的金額相對近期動輒千萬、上億美元的金額不算太大,但這起攻擊事件還是給我們留下了值得吸取的經驗和教訓。
這次攻擊出現漏洞的地方在于轉賬過程使用的代幣有損耗,而合約對這個損耗沒有處理好于是就導致漏洞出現從而被黑客攻擊。
在正常狀況下,用戶之間轉賬(ERC-20等)代幣的時候,如果代幣在轉賬過程中沒有損耗,處理起來是比較簡單的。但如果某些代幣在轉賬過程中會出現損耗,則處理這類代幣的轉賬就要非常小心了。
獨家 | Bakkt期貨合約數據一覽:金色財經報道,Bakkt Volume Bot數據顯示,8月24日,Bakkt比特幣月度期貨合約日交易額為1.3209億美元,同比上升53%,未平倉合約量為1042萬美元,同比下降4%。[2020/8/25]
在Pinecone項目中,其代幣PCT是作為資金池的質押代幣,在其合約設計的代幣轉賬過程中會有手續費的損耗。而項目將這個損耗計入了用戶的份額中,于是用戶份額和質押的PCT總額就會出現偏差。這個偏差就能被攻擊者用來領取多余的獎勵。
具體而言,本次攻擊存在漏洞的合約有:
PineconeFarm合約,其地址為:
0x4099f27fb72788b7bb5cb64e3d2b865eb82d0f8f
farm合約使用的策略合約IPineconeStrategy,其地址為:
獨家 | BTC 24h 鏈上交易量上升92.07%:據歐科云鏈OKLink數據顯示,BTC 24h鏈上活躍地址數總計974,373,較前日上升40.4%;鏈上交易量總計555,365.43BTC,較前日上升92.07%;鏈上交易筆數總計315,048,較前日上升23.39%;BTC鏈上活躍度上升。
截至上午10時,全網算力約為114.38EH/s,較前日上升1.32EH/s,全網算力呈上升趨勢。[2020/6/9]
0x1e542DB46eb87cc8E5fA8e1856eC53F89dc4bC89
PCT代幣合約,其地址為:
0x6019384a802310117a6E889e7021d2d0A144fE50
漏洞涉及的相關代碼片段為:
PineconeToke的_transfer()函數:
獨家 | 近7天比特幣搜索指數整體日均值整體同比上升132%:據百度指數數據,近7天區塊鏈搜索指數整體日均值為3986,整體同比上升91%,移動同比上升83%;近7天比特幣搜索指數整體日均值為25498,整體同比上升132%,移動同比上升133%。[2020/2/11]
在這里,PineconeToken的transferFrom的調用了_transfer()函數,在_transfer()中用戶轉賬會收取手續費,因而實際到賬的金額比transferFrom傳入的 amount 值要小。
PineconeFarm合約的deposit()函數:
獨家 | 幣鏈云算負責人鄧智:挖礦行業被正規化管理是一個極大的利好:今日,中國政府網發布《產業結構調整指導目錄(2019年本)》,文件顯示“虛擬貨幣挖礦”從“淘汰產業”中刪除。就此,金色財經采訪了幣鏈云算負責人鄧智。鄧智表示,從多年挖礦的從業經驗來看,我個人的看法主要有兩點。
首先,這個文件對于挖礦行業的現在和未來都是一個極大的利好。對于挖礦,國家不再針對這種行為,不再認為它是一個淘汰產業,不再是抵觸的情緒。國家后續可能會出臺一些相關性政策,來管控挖礦行業,將其從灰色地帶移出,進行監管、修邊等,把它羅列為一個相對比較正規的產業,來促進發展。
其次,結合近期國家以及習總書記對區塊鏈的一些講話、精神來看,我覺得國家的態度從之前的抵觸轉為現在的大力發展。對于區塊鏈肯定是大力支持,但是對于挖礦行業可能會進行一些調控,或者是小范圍性的調控。中國挖礦業位居全球前列,若國家將挖礦行業進行正規化處理,電費方面會為國家帶來增收,從這方面來說對國家是一件好事。
對于今日發布的文件,我覺得對整個行業來說有兩條路,一條是歸到正規化,為國家產生稅收,且數額不小。第二條是依舊放置于灰色地帶,現狀是除了稅收外,礦工的利潤會被壓榨,但可能還是會有人冒著巨大的風險進入此行業。[2019/11/6]
在上述代碼中,PineconeFarm將存入的PCT質押到IPineconeStrategy合約中獲取收益。通過使用BSC的vm trace工具,可以發現這個IPineconeStrategy是一個VaultRabbitCake合約。PineconeFarm對用戶份額share的計算會用到_wantAmt。而這個_wantAmt和下面的函數片段又有關聯。
獨家 | 一張圖看懂ETF提案對數字貨幣市場的影響:2017年至今,ETF提案與BTC價格聯動,金色內參團隊發現:每一次向SEC提交比特幣ETF申請,短期內都會推動比特幣價格的上漲;每一次SEC拒絕比特幣ETF的申請,絕大多數情況下,都會導致比特幣價格的下跌。欲查看全部內參內容,點擊原文鏈接。[2018/8/24]
策略合約的deposit()函數
從上述代碼可以看出,在計算sharesAdded時,其分母是wantTotal,而wantTotal 依賴balance()。balance是關聯的總鎖倉PCT余額。由于實際的PCT余額小于 deposit傳入的金額_wantAmt,這就會造成用戶份額在計算時增加了。
最后,當攻擊者調用withdraw函數時,只要輸入比deposit值大的參數就可以贖回超過質押數的PCT代幣。
按照這個機制,黑客在攻擊時,可以重復重復調用deposit和withdraw功能,從而導致合約質押的PCT損耗不斷增加、資金池持有的PCT余額不斷變小。然后在計算獎勵時,由于使用資金池中的余額作為分母,而分母越小,則可額外領取的獎勵就越多。
了解了代碼的漏洞及相關機制后,我們再來看黑客諸多攻擊中的一次攻擊:
這次攻擊中,黑客的地址為:0xfc6682db7e9f57882e8b18ebc9adc7a19f770494,其交易流程如下:
可以看出第一筆交易0xe446f質押了8.1萬PCT,然后在0x76d33 提取獎勵時卻提取了16萬PCT。
我們繼續查看withdraw交易的參數,可以看出傳入amount值為 22603495a2af5d0ccc34,將其轉換為10進制數就是16萬,遠超質押金額8.1萬。詳細細節如下圖所示:
從這次攻擊的漏洞原因看,在轉賬時有損耗的代幣在參與收益類項目時,存在較多的問題。因此Fairyproof Tech提醒項目方要充分考慮損耗對收益計算的影響。
對此類問題,Fairyproof Tech一直以來都會在審計時特別和項目方強調。另外我們也再次強調審計在項目中的重要性,希望項目方在項目上線前充分做好審計工作。
關于Fairyproof Tech:
Fairyproof Tech科技有限公司是一家專注區塊鏈生態安全的公司。Fairyproof Tech科技主要通過“代碼風險檢測+邏輯風險檢測“的一體化綜合方案服務了諸多新興知名項目。公司成立于2021年01月,團隊由一支擁有豐富智能合約編程經驗及網絡安全經驗的團隊創建。
團隊成員參與發起并提交了以太坊領域的多項標準草案,包括ERC-1646、ERC-2569、ERC-2794,其中ERC-2569 被以太坊團隊正式收入。
團隊參與了多項以太坊項目的發起及構建,包括區塊鏈平臺、DAO組織、鏈上數據存儲、去中心化交易所等項目, 并參與了多個項目的安全審計工作,在此基礎上基于團隊豐富的經驗構建了完善的漏洞追蹤及安全防范系統。
作者:
Fairyproof TechCEO 譚粵飛
美國弗吉尼亞理工大學(Virginia Tech, Blacksburg, VA, USA) 工業工程(Industrial Engineering) 碩士(Master)。曾任美國硅谷半導體公司 AIBT Inc(San Jose, CA, USA) 軟件工程師,負責底層控制系統的開發、設備制程的程序實現、算法的設計,并負責與臺積電的全面技術對接和交流。自2011至今,從事嵌入式,互聯網及區塊鏈技術的研究,深圳大學創業學院《區塊鏈概論》課程教師,中山大學區塊鏈與智能中心客座研究員,廣東省金融創新研究會常務理事 。個人擁有4項區塊鏈相關專利、3本出版著作。
隨著以人工智能、大數據和互聯網為代表的信息技術革命的推進,數據的價值進一步凸顯,數據成為了企業的重要資產和持續創新的推動力。因此,保障數據在采集、傳輸、利用和共享等各個環節安全的重要性不言而喻.
1900/1/1 0:00:00過去一年,區塊鏈領域的一個重要趨勢是從專注于DeFi轉變為也考慮去中心化治理 (DeGov)。雖然2020年被廣泛譽為DeFi之年,但自那以來,構成這一趨勢的DeFi項目的復雜性和能力不斷增長,
1900/1/1 0:00:002000年后,虛擬現實技術、計算機圖形學快速發展,游戲《第二人生》流行,激發學術界產生對元宇宙討論的第一波浪潮.
1900/1/1 0:00:00區塊鏈市場情報機構Blockdata在上周的一份最新報告中公列出了迄今為止對加密貨幣和區塊鏈公司投資最多的13家銀行/投行。全球銀行業巨頭紛紛下場,對新興的加密和區塊鏈公司產生了濃厚的興趣.
1900/1/1 0:00:00推動市場的是流動性。—— 道格拉斯·亞當斯金融有三個關鍵性基礎:價值的跨時間轉移、一份涉及未來權益的契約以及債權的可轉讓性.
1900/1/1 0:00:00過去十年來,互聯網極大地改變了我們的工作性質,這是人類歷史上任何技術都未能做到的。人們安坐家中,與一群匿名人士遠程協作,過著體面的生活,這在過去簡直是聞所未聞.
1900/1/1 0:00:00