比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads

獨家 | Fairyproof Tech:Pinecone被攻擊事件分析_INE

Author:

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

本文由“Fairyproof Tech”原創,授權“金色財經”獨家發布。

8月19日,BSC上的收益聚合項目Pinecone Finance的保險庫受到黑客攻擊,損失約350萬沒PCT代幣(市值約合20萬美元)。

截至寫稿時為止,項目方已經針對此次攻擊中受損的用戶發布了補償計劃:項目團隊及投資人共持有491萬枚代幣,將用所有代幣補償用戶。

盡管此次攻擊受損的金額相對近期動輒千萬、上億美元的金額不算太大,但這起攻擊事件還是給我們留下了值得吸取的經驗和教訓。

這次攻擊出現漏洞的地方在于轉賬過程使用的代幣有損耗,而合約對這個損耗沒有處理好于是就導致漏洞出現從而被黑客攻擊。

在正常狀況下,用戶之間轉賬(ERC-20等)代幣的時候,如果代幣在轉賬過程中沒有損耗,處理起來是比較簡單的。但如果某些代幣在轉賬過程中會出現損耗,則處理這類代幣的轉賬就要非常小心了。

獨家 | 比特幣年化期現價差約為7.09%,較前一日上漲0.52%:金色財經報道,據同伴客數據顯示,9月18日(格林威治標準0時)比特幣年化期現價差約為7.09%,較前一日上漲0.52%,市場情緒指數為“樂觀”。

指數參考:>20% 極度牛市;10%~20% 牛市;5%~10% 樂觀;2%~5% 謹慎樂觀;0~2% 謹慎;-5%~0 謹慎悲觀;-10%~-5% 悲觀;-20%~-10%熊市;<-20%:極度熊市[2020/9/18]

在Pinecone項目中,其代幣PCT是作為資金池的質押代幣,在其合約設計的代幣轉賬過程中會有手續費的損耗。而項目將這個損耗計入了用戶的份額中,于是用戶份額和質押的PCT總額就會出現偏差。這個偏差就能被攻擊者用來領取多余的獎勵。

具體而言,本次攻擊存在漏洞的合約有:

PineconeFarm合約,其地址為:

獨家 | 熱門DeFi項目Yearn治理幣YFI報價超過1萬美元:據DappBirds DeFi Data專題數據顯示,熱門DeFi項目Yearn治理幣YFI報價超過1萬美元,DeFi中鎖定資產總價值達81.78億美元,較昨日下降0.62%,其中Maker,Aave,Curve,Synthetix,Compound分別以14.70億美元,11.20億美元,10.20億美元,8.12億美元,7.32億美元位列前五名。[2020/8/19]

0x4099f27fb72788b7bb5cb64e3d2b865eb82d0f8f

farm合約使用的策略合約IPineconeStrategy,其地址為:

0x1e542DB46eb87cc8E5fA8e1856eC53F89dc4bC89

PCT代幣合約,其地址為:

0x6019384a802310117a6E889e7021d2d0A144fE50

獨家 | Bakkt期貨合約數據一覽:金色財經報道,BakktVolumeBot數據顯示,本周比特幣月度期貨總交易額為1.11億美元,較上周增加20%;未平倉合約量高點為1310萬美元,較上周增長34%。[2020/5/10]

漏洞涉及的相關代碼片段為:

PineconeToke的_transfer()函數:

在這里,PineconeToken的transferFrom的調用了_transfer()函數,在_transfer()中用戶轉賬會收取手續費,因而實際到賬的金額比transferFrom傳入的 amount 值要小。

PineconeFarm合約的deposit()函數:

獨家 | Johnson:DeFi解決的是未來金融市場發展的需要:TokenInsight首席分析師Johnson在接受金色財經獨家采訪時表示,完全的去中心化金融當前的實際訴求并不大,但是理論可以實現多種多樣的商業模式等例如DAO的一些模式其實是對現有的商業模式的一個挑戰。DeFi解決的是未來金融市場發展的需要,而并不是現在。[2020/4/26]

在上述代碼中,PineconeFarm將存入的PCT質押到IPineconeStrategy合約中獲取收益。通過使用BSC的vm trace工具,可以發現這個IPineconeStrategy是一個VaultRabbitCake合約。PineconeFarm對用戶份額share的計算會用到_wantAmt。而這個_wantAmt和下面的函數片段又有關聯。

獨家 | Bakkt期貨合約數據一覽:金色財經報道,Bakkt Volume Bot數據顯示,3月18日,Bakkt比特幣月度期貨合約單日交易額為973萬美元,環比上升68%,未平倉合約量為507萬美元,環比下降17%。[2020/3/19]

策略合約的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本出版著作。

Tags:PCTTRATECHINESPCTSmart Trade NetworksOtium Technologiesdigifinex怎么買幣

抹茶交易所
黑客還幣之后再發小作文:如果能在一個月內找到我 我想向他發送禮物_ETH

巴比特訊,8月12日23:40,隨著以太坊上一筆28953枚ETH被打入PolyNetwork設置的以太坊多簽收款地址,此前被盜的6.1億美元已全部歸還(5.8億美金已全部歸還.

1900/1/1 0:00:00
EIP1559 部署一周 32000 ETH 被銷毀 還有呢?_ETH

8 月 5 日 20 點 34 分,以太坊網絡區塊高度達到 12,965,000,倫敦升級正式啟動!這是一次備受以太坊社區矚目的升級,隨著升級的順利完成以及網絡銷毀的 ETH 數量不斷飆升.

1900/1/1 0:00:00
DeFi科學家精彩自述:我們如何與聯手自救 破獲StableMagnet大案_EFI

近乎是在同一時間,今年所發生的兩起較大的DeFi安全問題事故都有了最終的答案。在北京時間8月12日,歷經約52小時的Poly Network事故,黑客最終選擇將所有資產返還;另一起起始于6月23.

1900/1/1 0:00:00
電子證據需要提供原件嗎?當事人如何保存?法院如何審查?一文詳解_區塊鏈

在互聯網應用常態化下,手機短信、微信聊天、電子郵件、支付寶等四大常用通訊應用早已成為生活、工作不可或缺的工具.

1900/1/1 0:00:00
揭露比特幣“停滯期”必然結束的原因_CAFE

價格修正是牛市的一個健康方面,因為它允許資產恢復損失的勢頭。隨著價格穩定在40,000美元以下,比特幣在過去的幾天也經歷了類似的時期.

1900/1/1 0:00:00
BHEX Chain BBS跨鏈橋上線 打造DeFi世界的交通系統_Chain

原始社會沒有交通工具,人類活動被限制在一定區域。隨著人類文明的進步,交通工具逐漸演化,由最初的輪子,到獨輪手推車,再到四輪馬車、船舶、火車,汽車、飛機,縱觀人類發展,交通運輸推動著人類文明進程.

1900/1/1 0:00:00
ads