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

獨家 | Fairyproof Tech:代幣合約不匹配 Cream Finance遭二次攻擊_KEN

Author:

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

Cream Finance是DeFi領域的知名去中心化借貸協議。項目方在業內首先推出了白名單機制的Ion Bank借貸機制。這一創新一方面為DeFi借貸提供了更為便捷的工具,另一方面也為黑客攻擊創造了條件。

在今年2月13日,Cream Finance就因為其Ion Bank被黑客利用并輔以閃電貸工具遭到攻擊。時隔半年,在8月30日,Cream Finance再次遭到閃電貸攻擊。

本次攻擊是因為項目中的APM代幣合約與借貸合約的cToken合約不適配造成重入漏洞,被黑客利用。

在本次攻擊中,攻擊者的地址為:0xce1f4b4f17224ec6df16eeb1e3e5321c54ff6ede。

攻擊合約的地址為:0x38c40427efbAAe566407e4CdE2A91947dF0bD22B。

獨家 | BTC 24h 鏈上交易量上升10.11%:金色財經報道,據歐科云鏈OKLink數據顯示,BTC 24h鏈上活躍地址數總計1030690,較前日上升11.55%;鏈上交易量總計620969.94 BTC,較前日上升10.11%;鏈上交易筆數總計369016,較前日上升17.95%;BTC鏈上活躍度上升。

截至上午10時,BTC全網算力約為113.55EH/s,較前日下降1.82EH/s,全網算力呈下降趨勢。[2020/7/23]

被攻擊的合約有兩個,合約及地址分別為:

APM token合約:0xff20817765cb7f73d4bde2e66e067e58d11095c2

cToken合約:0xd06527d5e56a3495252a528c4987003b712860ee

獨家 | ETC亞太社區經理 :CoreGeth作為ETC Core官方維護客戶端繼續服務于ETC網絡:金色財經報道,7月17日,針對此前“ETC兩大客戶端OpenEthereum和MultiGeth宣布停止支持ETC”消息,ETC亞太社區經理 Christian表示,OpenEthereum的維護者Gnosis已作出正式申明,停止支持ETC是為了將其有限的精力投入到以太坊主網開發中,而不是Wei Tang所說的原因。Phoenix之后MultiGeth的實際開發者只有Wei Tang本人,由于某些分歧,Wei Tang選擇了將MultiGeth停止ETC支持。從去年以來,ETC先后完成了三次硬分叉升級,使ETC網絡目前與ETH完全一致。其中,ETC Core團隊功不可沒。早在上半年,ETC Core團隊即開發了一款更加安全的Go語言客戶端CoreGeth,CoreGeth完美地支持了Phoenix硬分叉,并且至今保持完好運行。從對Gnosis的回帖中大家也可以看到,OpenEthereum和MultiGeth退出后,CoreGeth作為ETC Core官方維護的客戶端完全值得大家信賴,繼續服務于ETC網絡。[2020/7/17]

我們先看cToken合約中出現漏洞的代碼片段:

獨家 | QuestGroup創始人曲鳴:云算力產品已經較為金融化:在今晚由算力互聯主辦,金色財經獨家支持直播的2020礦業新勢力AMA上,QuestGroup創始人曲鳴表示,目前看來,云算力產品已經比較金融化了。對于公司而言,在產品設計的邏輯上具備很強的金融思維是非常關鍵的,并且是圍繞如何讓客戶持續性的獲得盡可能多的盈利來展開。現有產品除了交固定周期的算力費與電費來獲得數字資產以外,還有很多其他方式,例如算力租賃,礦機租賃,算力合約甚至算力的交易所都是金融化之后的產物。對于新入場的創業者,我認為找到最合適自己的機會入場是最好的,此時新入場的創業者可以通過自己的專業知識與技能儲備,自有行業相關資產評估,投資資金體量以及融資能力以及核心團隊擅長點來結合一定的需求展開。[2020/2/25]

獨家 | 金色財經2月19日礦幣數據播報:金色財經報道,據幣印礦池數據顯示:

主流幣挖礦日收益分別為:BTC(¥1.17/T)、ZEC(¥0.53/T)、LTC(¥22.45/G)、BSV(¥1.19/T)、BCH(¥1.22/T)、DASH(¥0.10/G)。

當前熱門礦機數據及凈收益分別為:阿瓦隆A1066(BTC,¥29.23)、芯動A9+(ZEC,¥49.87)、芯動A4+(LTC,¥7.08)。[2020/2/19]

上面的代碼所實現的邏輯是在轉賬完成之后,才修改借貸額度狀態accountBorrows。

這是一個典型的競態問題。

代碼中的doTransferOut函數最終會調用標的代幣(underling token)合約的transfer函數,在此之后再對與標的代幣關聯的cToken合約的狀態進行修改。

獨家 | 天風證券李煉炫:保障穩定幣的穩定性關鍵在于信心的維持:針對“穩定幣其穩定性該如何保障”一事,金色財經獨家采訪到天風證券李煉炫,他表示保障穩定幣的穩定性就是要維持人們對穩定幣的信心,方法也很簡單:抵押品公開透明,第三方獨立審計。不過這樣做帶來的結果是項目方很難盈利,我預計最終的市場走向是,市場上只會剩下幾款穩定幣,這些穩定幣也不是真的按1:1的比例抵押發行,而是會超發一部分(比如按1:0.5的比例發行)來維持項目方的盈利,此時人們信用的基礎不僅僅是抵押品做支撐,還有對項目方的信任,因此要求項目方有強大的實力背景或類似銀行存款保險的制度安排,保證持幣人在提幣兌換時能及時付現。事實上,這和當前銀行的存貸款業務有相似之處。[2018/10/25]

通常cToken對應的標的代幣合約都是標準的ERC-20代幣合約,這類標準的ERC-20代幣合約中的transfer函數中沒有回調函數。但如果標的代幣不是標準的ERC-20代幣合約,其transfer函數帶有回調函數,則會引發重入漏洞。

本次攻擊恰恰就是因為cToken對應的標的代幣(APM代幣)不是標準的ERC-20代幣。APM代幣合約是個基于ERC-777標準的合約。這個合約中的transfer函數最后會調用_callPostTransferHooks()函數,在這個函數的最后會有一個回調函數IAmpTokensRecipient.tokensReceived。

下面是與此相關的代碼片段:

在回調函數中,攻擊者可以再次發起交易,而此時cToken還未修改用戶借款的相關狀態,攻擊者卻已經收到借款,可以利用這些借款進行后續的動作。

合約中與cToken修改借款狀態的相關接口已經定義了防重入的鎖 borrowInternal,使用戶無法再次直接從初始的借款合約中借入資金。

borrowInternal的代碼片段如下:

攻擊者也注意到了這一點,于是選擇從一個借貸池借來的cToken,去另一個借貸池借款,以繞開上述防重入鎖的限制。

由于cToken被再次用于借款,因此超過了借款額度。如果攻擊者直接還款則會因為超額借貸而導致第一次借貸交易失敗。因此攻擊者選擇不還款,而是使用另一個地址清算了這個滿足清算條件的cToken,從而完成全部攻擊。

縱觀整個攻擊過程,導致本次攻擊成功的原因有兩個:

1 為AMP代幣添加借貸池時,沒有考慮到AMP代幣與借貸合約的適配性

2 借貸生成的cToken存在競態條件問題,代碼的實現邏輯沒有嚴格遵循狀態修改要放在外部調用之前的默認規范。

在此,Fairyproof Tech提醒所有的項目方:編寫Solidity合約代碼時一定要遵循Solidity合約編寫的安全規范,不能心存僥幸。

在此例中Cream.Finance的代碼分叉復制于Compound,盡管后者已經經過考驗,但依然不能認為其代碼是萬無一失的。

根據我們的經驗,即便是利用一些成熟的、歷經考驗的項目代碼,也不能認為它們是絕對安全的,依然要進行充分的審計。尤其是要弄清楚,這些代碼適用的前提條件和安全假設,以及具體到自己的應用場景中,這些代碼是否還滿足這些前提和假設。

在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:KENTOKTOKENTOKEPKG TokenWheat Tokenimtoken網址Omax Token

Gate交易所
多個“虛擬貨幣”詐騙案宣判 主犯被判“無期徒刑”_NSH

有粉絲問到一個問題,稱是不是因為虛擬貨幣沒有立法,所以依靠數字貨幣、區塊鏈行使詐騙只判個幾年,沒有判無期的。這個真不是,判無期的案例還真有.

1900/1/1 0:00:00
數字人民幣離普及應用只差臨門一腳_數字人

在北京首鋼園舉行的中國國際服務貿易交易會上,十幾家機構次第排在“數字人民幣大道”展區兩邊,一輛黃色的共享單車停放在中國銀行站臺邊,周圍站滿了人群.

1900/1/1 0:00:00
金色觀察 | 年內漲幅380% ETH超越BTC還會遠嗎?_ETH

9月2日,搖擺不定的市場行情出現逆轉。這一天,比特幣突破50000.00美元關口。以太坊的價格延續近兩日漲勢出現了大幅躍升突破3800美元,達到三個多月來的最高水平.

1900/1/1 0:00:00
科技巨頭和普通玩家 都在掘金“元宇宙”世界_元宇宙

在解釋“元宇宙(Metaverse)”概念的時候,總是會提到電影《頭號玩家》。《頭號玩家》的虛擬世界叫“綠洲”,在綠洲里,“唯一限制你的就是你自己的想象力”.

1900/1/1 0:00:00
區塊鏈能否成為反壟斷法的一個技術補充手段?_區塊鏈

據相關報道稱,韓國國會于8月31日表決通過《電氣通信事業法》修正案,禁止蘋果和谷歌等主要商店平臺使用其支付系統并收取30%傭金。若法案生效,韓國將成為全球第一個限制科技巨頭在應用商店抽成的國家.

1900/1/1 0:00:00
覓新 | 如何在推文交易平臺Cent 上購買和出售NFT_CENT

《覓新》是金色財經推出的一檔區塊鏈項目觀察類項目,覆蓋行業各領域項目發展情況,具體設計到項目概況、技術進展、募資情況等,力圖為您呈現熱門新潮的項目合輯.

1900/1/1 0:00:00
ads