本文由“Fairyproof Tech”原創,授權“金色財經”獨家發布。
8月19日,BSC上的收益聚合項目Pinecone Finance的保險庫受到黑客攻擊,損失約350萬沒PCT代幣(市值約合20萬美元)。
截至寫稿時為止,項目方已經針對此次攻擊中受損的用戶發布了補償計劃:項目團隊及投資人共持有491萬枚代幣,將用所有代幣補償用戶。
盡管此次攻擊受損的金額相對近期動輒千萬、上億美元的金額不算太大,但這起攻擊事件還是給我們留下了值得吸取的經驗和教訓。
這次攻擊出現漏洞的地方在于轉賬過程使用的代幣有損耗,而合約對這個損耗沒有處理好于是就導致漏洞出現從而被黑客攻擊。
在正常狀況下,用戶之間轉賬(ERC-20等)代幣的時候,如果代幣在轉賬過程中沒有損耗,處理起來是比較簡單的。但如果某些代幣在轉賬過程中會出現損耗,則處理這類代幣的轉賬就要非常小心了。
獨家 | Curve Y池流動性較最高點時下跌56%:據DappBirds DeFi Data專題數據顯示,Curve Y池當前流動性約1.57億美元,較最高點時下跌約56%,DeFi中鎖定資產總價值達51.38億美元,較昨日上漲0.65%,其中Maker,Compound,Synthetix,Aave,InstaDApp分別以13.50億美元,8.17億美元,5.45億美元,4.86億美元,3.19億美元位列前五名。[2020/8/5]
在Pinecone項目中,其代幣PCT是作為資金池的質押代幣,在其合約設計的代幣轉賬過程中會有手續費的損耗。而項目將這個損耗計入了用戶的份額中,于是用戶份額和質押的PCT總額就會出現偏差。這個偏差就能被攻擊者用來領取多余的獎勵。
具體而言,本次攻擊存在漏洞的合約有:
PineconeFarm合約,其地址為:
獨家 | BTC 24h鏈上交易量上升39.99%:據歐科云鏈OKLink數據顯示,BTC 24h鏈上活躍地址數總計893756,較前日上升17.62%;鏈上交易量總計725441.1BTC,較前日上升39.99%;鏈上交易筆數總計308772,較前日上升7.69%;BTC鏈上活躍度上升。
截至上午10時,BTC全網算力約為122.19EH/s,較前日下降1.95EH/s,全網算力呈下降趨勢。[2020/7/14]
0x4099f27fb72788b7bb5cb64e3d2b865eb82d0f8f
farm合約使用的策略合約IPineconeStrategy,其地址為:
0x1e542DB46eb87cc8E5fA8e1856eC53F89dc4bC89
PCT代幣合約,其地址為:
0x6019384a802310117a6E889e7021d2d0A144fE50
獨家 | BTC全網合約賬戶占比最新統計:多頭占優:金色財經報道,據AIcoin全網合約賬戶占比統計顯示,目前行情多頭占優,其中多頭占比為51.80%,空頭占比為48.20%。 主流合約交易所中,Huobi的多頭占比為50.16%,空頭占比為49.84%;OKEx的多頭占比為52.56%,空頭占比為47.44%;BitMex的多頭占比為52.35%,空頭占比為47.65%。[2020/2/10]
漏洞涉及的相關代碼片段為:
PineconeToke的_transfer()函數:
在這里,PineconeToken的transferFrom的調用了_transfer()函數,在_transfer()中用戶轉賬會收取手續費,因而實際到賬的金額比transferFrom傳入的 amount 值要小。
獨家 | 本周新增合約數量驟減 或與ETH價格下跌有關:第三方大數據評級機構RatingToken最新數據顯示,截止2018年8月11日,本周日均新增合約地址981個,較上周下降512個,降幅達34.29%;其中230個為代幣型智能合約,較上周減少78個,降幅25.32%。RatingToken專家指出,近期新增合約減少有兩個原因:一是因Fomo3D游戲熱度減弱,山寨合約增發減少;二是代幣型合約的增發速度驟減,有極大可能與近日ETH價格下跌有關。
此外,昨日登上新增合約風險榜TOP10的合約包括FOMO Test(Test)、CAE4D(CAE4D)、NurveRhinoSale、KE(千尋幣)、BYL(BYL)、ZWC(ZWC)、Boss(Boss)、Ferm Real Mining Coin(FRMC)、Reiki Coin(REI)和DIECI(DCI)。如需查看更多智能合約檢測結果,請查看原文鏈接。[2018/8/12]
PineconeFarm合約的deposit()函數:
金色獨家 食鏈foodc創始人劉源:應對世界杯“假票門” 區塊鏈可編碼防破譯:目前世界杯正熱,針對近日爆出的門票造假事件,金色財經獨家專訪了食鏈foodc創始人劉源。針對門票防偽,區塊鏈技術擁有明顯優勢。劉源表示:門票的防偽,首先要防范票造假,實際上就是標簽防偽,現在主要通過印刷時按照一定的算法印一些花線在上面,類似于身份證花紋防偽技術;另一方面,是防止票編碼造假,防止有人反推出票據的生成算法,從而偽造票編碼,這個技術就是產品身份識別的技術,防止算法別破譯。區塊鏈門票的防偽,主要是應用在票編碼防破譯這塊,使用區塊鏈的加密算法把票編碼存儲進鏈,實現票編碼算法無法破譯。
區塊鏈在實現防偽溯源方面相對于傳統防偽手段有哪些優勢呢?劉源說,區塊鏈防偽的技術的應用中,使用區塊鏈技術對產品身份進行加密存儲,一方面利用共識機制達到不可篡改的效果,另一方面,數據在存儲時可使用以太坊的ECDSA算法進行簽名加密,會經過約8個步驟,并進行了多次消息摘要算法加密,確保在未來產生量子計算機時也不能被破譯,從而做到身份識別的唯一和防偽特性。[2018/6/19]
在上述代碼中,PineconeFarm將存入的PCT質押到IPineconeStrategy合約中獲取收益。通過使用BSC的vm trace工具,可以發現這個IPineconeStrategy是一個VaultRabbitCake合約。PineconeFarm對用戶份額share的計算會用到_wantAmt。而這個_wantAmt和下面的函數片段又有關聯。
策略合約的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本出版著作。
據Forbes消息指出,一份日期為2021年6月30日的強制性SEC文件顯示,擁有9萬億美元資產的全球最大資產管理公司BlackRock已持有兩家比特幣礦商的大量股份,價值3.8億美元.
1900/1/1 0:00:00習近平總書記曾指出,把區塊鏈作為核心技術自主創新重要突破口,加快推動區塊鏈技術和產業創新發展。我們要明確主攻方向,加大投入力度,著力攻克一批關鍵核心技術,加快推動區塊鏈技術和產業創新發展.
1900/1/1 0:00:00你能想象,在多年后,你所經歷過的一切都被記錄在鏈上,你人生中每一個值得被記錄的瞬間都永久地保留在了這個世上.
1900/1/1 0:00:00市場上總是有人把比特幣看作是一種“新黃金”或“數字黃金”。首先先來了解一下,為什么大家總喜歡把比特幣和黃金放在一起做比較。簡單說,兩者之間有很多相似性.
1900/1/1 0:00:00這是兩位 20 世紀貨幣經濟學偉人之間的一場傳奇般的辯論,辯論的焦點是:「挑戰者貨幣」是否會取代政府支持的標準貨幣,成為世界上最受歡迎的支付媒介.
1900/1/1 0:00:008月10日Ergo團隊做客Bitcoin.com交易所電報頻道進行AMA活動,以下是精彩內容回顧:問:你們對區塊鏈的采用有何看法.
1900/1/1 0:00:00