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

首發 | Opyn ETH Put邏輯漏洞技術分析_ISE

Author:

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

事件簡述

8月5日凌晨四點,有用戶在opyn論壇反饋自己的賬戶余額無故消失,并有用戶發現可疑的交易信息,如下圖所示:

Opyn項目方再對情況初步分析后做出回應表示:已經轉移了資金,并正在尋找問題原因

截至發稿前,官方發文回應此次事件:遭到黑客攻擊,并已對可能遭受攻擊的資產進行轉移,但此次漏洞只涉及ETH合約,并不影響其他合約。如下圖所示:

成都鏈安-安全實驗室第一時間對本次事件進行跟蹤分析,以下是態勢感知系統檢測盜的攻擊者合約地址:

0xe7870231992ab4b1a01814fa0a599115fe94203f

LBank藍貝殼于5月3日20:00首發 CSPR(Casper),開放USDT交易:據官方公告,5月3日20:00,LBank藍貝殼上線 CSPR(Casper),開放USDT交易,同時并開放充值,資料顯示,Casper網絡是基于CasperCBC規范構建的第一個實時權益證明區塊鏈。Casper旨在加速當今企業和開發人員對區塊鏈技術的采用,同時確保隨著網絡參與者需求的發展,其在未來仍能保持高性能。[2021/5/3 21:19:51]

0xb837531bf4eb8ebfa3e20948bd14be067c18cbd3

0xb72e60ea1d0c04605f406c158dce9ac6ae6d224c

LBANK藍貝殼于3月22日18:00首發 DORA,開放USDT交易:據官方公告,3月22日18:00,LBANK藍貝殼首發DORA(Dora Factory),開放USDT交易,現已開放充值。

資料顯示,Dora Factory 是基于波卡的 DAO 即服務基礎設施,基于 Substrate 的開放、可編程的鏈上治理協議平臺,為新一代去中心化組織和開發者提供二次方投票、曲線拍賣、Bounty 激勵、跨鏈資產管理等可插拔的治理功能。同時,開發者可以向這個 DAO 即服務平臺提交新的治理模塊,并獲得持續的激勵。[2021/3/22 19:07:06]

攻擊者攻擊方式還原:

首發 | 火幣集團全球業務副總裁:監管將決定區塊鏈技術和加密貨幣的落地速度:1月21日,火幣集團全球業務副總裁Ciara Sun在達沃斯世界經濟論壇上表示,對區塊鏈和數字貨幣的監管態度,2019年是重要的一年。在美國,到2019年底,針對加密貨幣和區塊鏈政策有21項法案,這些法案包括稅收問題,監管結構,跟蹤功能和ETF批準,哪些聯邦機構監管數字資產等。歐盟(EU)在2020年1月10日實施了一項新法律,要求加密貨幣平臺采取更嚴格的反洗錢做法。瑞士,日本,立陶宛,馬耳他和墨西哥通過法律,要求交易所必須根據KYC和AML準則獲得許可。中國,土耳其,泰國等國家正在計劃自己的中央銀行數字貨幣(CBDC)。而監管將決定區塊鏈技術和加密貨幣的落地速度。[2020/1/22]

1、攻擊者調用合約向合約發送n個USDC增加抵押,并得到合約幣oETH

首發 | 《一起來捉妖》中玩家達到22級將會接觸到專屬貓的玩法 ?:今日騰訊上線首款區塊鏈游戲《一起來捉妖》,經金色財經查證,游戲中玩家達到22級將會接觸到專屬貓的玩法,而非此前官方對外宣稱的15級。除了誘貓鈴鐺召喚出的0代貓以及部分通過運營活動獎勵的專屬貓以外,游戲中所有的貓默認都是未上鏈狀態。未上鏈的貓不能出售,也無法進入市場與其他玩家配對;但是你可以使用這些貓與你的QQ/微信好友進行配對,產出新的小貓。使用道具“天書筆”可以將你的貓記錄到區塊鏈。當貓被記錄到區塊鏈以后,這些貓就可以進入市場,通過配對賺取點券,或者出售賺取點券。專屬貓是否上鏈,并不影響它的增益效果。但只有上鏈后,它才能面對全服務器所有的玩家進行繁殖、交易。

?

《一起來捉妖》中的專屬貓玩法,基于騰訊區塊鏈技術,游戲中的虛擬數字資產得到有效保護。此外,基于騰訊區塊鏈技術,貓也可以自由繁殖,并且運用區塊鏈技術存儲、永不消失。[2019/4/11]

2、攻擊者調用合約發送ETH進行抵押,并銷毀oETH以贖回自己的USDC

3、攻擊者贖回自己抵押的ETH。

如下圖所示:

在步驟二中,攻擊者調用exercise函數,并向其傳遞了兩個地址A、B和兩倍自己應得的USDC,程序正常執行,這導致地址B的資金受損。

技術分析

以交易

0x56de6c4bd906ee0c067a332e64966db8b1e866c7965c044163a503de6ee6552a

為例,攻擊者通過合約

0xe7870231992ab4b1a01814fa0a599115fe94203f對合約0x951D51bAeFb72319d9FBE941E1615938d89ABfe2

發動攻擊,此筆交易中共獲利$9907。如下圖所示:

攻擊者首先調用了addERC20CollateralOption函數,向合約中發送了9900個USDC,如下圖所示:

此函數中的addERC20Collateral(msg.sender,amtCollateral);負責代理轉賬USDC;函數中的issueOTokens(amtToCreate,receiver);負責鑄幣oETH,此筆交易鑄幣30個oETH并發送給了攻擊者,如下圖所示:

在此完成后,攻擊者的vault參數進行了變化。vault.oTokensIssued和vault.collateral分別更新300000000和9900000000為如下圖所示:

然后攻擊者開始將oETH兌換出來。

調用exercise,構造參數oTokensToExercise為60,vaultsToExerciseFrom為兩個地址,其中一個是也滿足條件的他人地址。如下圖所示:

Exercise函數運行_exercise(vault.oTokensIssued,vaultOwner);分支,將30oETH相應比例的USDC發送給調用者,如下圖所示:

我們可以注意到,在最終轉賬時,_exercise是將USDC轉給了msg.sender,也就是攻擊者。

我們回頭看exercise中存在者for循環,攻擊者輸入的oTokensToExercise為60,所以合約再驗證了第二個地址符合條件的情況下,依舊會將余額轉給msg.sender,也就是攻擊者。這就使得攻擊者可以獲得兩次USDC,從而獲得利潤。

總結建議

此次事件攻擊者利用了exercise函數的邏輯缺陷。此函數在進行最后轉賬前并未驗證調用者是否有權限贖回此地址的USDC,只是簡單的驗證了地址是否可以贖回。屬于代碼層的邏輯漏洞,并且根據官方回復,此合約是經過安全審計的。成都鏈安在此提醒各項目方:

1、項目上線前應當進行足夠有效的安全審計,最好是多方審計

2、對于合約的應當設置暫停合約交易等功能,在發生安全事件時,可以以保證資金安全

3、安全是一個持續的過程,絕非一次審計就能保平安,與第三方安全公司建立長期的合作至關重要

Tags:USD區塊鏈ISEEXEdusd幣怎么跌了區塊鏈存證流程圖TRISE價格exe幣怎么樣

幣安app官方下載最新版
一年的時間以太坊盈利地址增加132%,看看以太坊的魔力!_比特幣

自去年7月開始,以太坊盈利地址暴漲132%,數量增加了1800多萬個。眾多投資者在2019年12月至2020年3月之間,在以太坊100美元時大量購入以太坊,當前以太坊價格在400美金左右.

1900/1/1 0:00:00
歐科云鏈 OKLink 與幣 coin 達成 DeFi 生態戰略合作_穩定幣

消息,歐科云鏈OKLink宣布與區塊鏈聚合產品幣coin達成DeFi生態戰略合作。OKLink表示將為幣coin用戶提供快捷精準的DeFi信息服務,用戶可以通過APP入口進入OKLink瀏覽器查.

1900/1/1 0:00:00
Chromia 啟動去中心化期權交易協議 Hedget,Hedget 基金會將會發行原生代幣 HGET_CHR

鏈聞消息,區塊鏈項目Chromia宣布啟動去中心化期權交易協議「Hedget」,允許投資者在鏈上創建和交易不同的期權產品,并可以對沖價格波動以及抵押貸款頭寸帶來的風險.

1900/1/1 0:00:00
幣汐柔:8.4比特幣以太坊高位震蕩何時休操作建議低多為主_CUM

幣汐柔:8.4比特幣以太坊高位震蕩何時休操作建議低多為主投資是一門復雜的學問,是技巧、技能、心態、人性等的綜合博弈過程.

1900/1/1 0:00:00
8月6日PKEX 鎖倉理財BTM于20:00開搶

8月6日PKEX鎖倉理財BTM于20:00開搶 鎖倉天數30天 總量8000000BTMbytomblockchainprotocol(簡稱比原鏈:bytom)比原鏈采用三層架構:應用層、合約層.

1900/1/1 0:00:00
區塊鏈跨境支付跑分系統搭建,usdt支付系統開發方案_區塊鏈

區塊鏈跨境支付跑分系統搭建,usdt支付系統開發方案區塊鏈的跨境支付,本質上就是將虛擬貨幣做中介,即系統會將代幣/數字資產作為中介,先把匯款人所在地的法幣轉換為代幣/數字資產.

1900/1/1 0:00:00
ads