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

DeFi平臺Opyn智能合約漏洞詳解:攻擊者空手套白狼_DEF

Author:

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

北京時間2020年08月05日,DeFi期權平臺Opyn的看跌期權智能合約遭到黑客攻擊,損失約37萬美元。Opyn是一個通用期權協議,于今年2月份轉型為保險平臺,通過oTokens為DeFi平臺提供可交易的ETH看跌期權,以此錨定ETH市場價格,為高波動性的DeFi市場提供相對的穩定性。PeckShield安全團隊獲悉Opyn平臺遭受攻擊后,迅速定位到問題關鍵點在于:攻擊者發現Opyn智能合約行權接口對接收到的ETH存在某些處理缺陷,其合約并沒有對交易者的實時交易額進行檢驗,使得攻擊者可以在一筆對自己發起真實的交易之后,再插入一筆偽裝交易騙得賣方所抵押的數字資產,進而實現空手套白狼。簡單來說,由于OpynETHPut智能合約中的行權函數exercise()沒有對交易者的ETH進行實時校驗。根據Opyn平臺的業務邏輯,看跌期權的買方給賣方轉移相應價值的ETH,即可獲得賣方抵押的數字資產。狡猾的攻擊者,先向自己發起偽裝的交易,利用這筆ETH可以重復使用的特性,再次向賣方用戶發起轉賬,進而騙取賣方已經抵押的數字資產。下面為您詳細分析漏洞原因及攻擊過程。漏洞詳細過程分析

PROOF與NFT藝術家DesLucrece合作推出Defybirds:3月9日消息,Moonbirds母公司PROOF與NFT藝術家DesLucrece合作推出Defybirds,專門面向無裝扮Moonbirds(Nudebirds)和選定的DesLucrece NFT作品持有者進行空投。[2023/3/9 12:51:18]

先來說說,Opyn平臺的業務邏輯:當用戶使用Opyn合約行權即買賣期貨時,需要買方向賣方轉入相應數量的ETH或者ERC20Token,然后合約將銷毀買方對應的oToken,而后買方將獲得賣方已經抵押的資產。例如:小王認為行情進入了下跌趨勢,看到Opyn上掛著一個小李對ETH330美元的看跌期權,于是進入交易系統,向小李轉賬一個ETH,獲得小李抵押的等額數字資產。若此刻行情已經跌至了300美元,小王便可獲得其中的差價。

DeFi協議B.Protocol進行第一次治理投票:DeFi協議B.Protocol今日推特宣布將于4月26日進行第一次治理投票,社區將投票決定下一步的發展方向。據悉,B.Protocol或是首個在項目伊始就將100%的控制權交給用戶的項目。[2021/4/8 19:58:56]

圖1.exercise()函數中循環執行傳入的vaults地址列表如上面的合約代碼片段所示,行權函數exercise()的內部是一個循環,依據參數中傳遞的vaultsToExerciseFrom中的地址數量依次調用真正的行權邏輯_exercise()函數。

加密托管商Anchorage新增五種DeFi代幣的托管服務:金色財經報道,加密托管商Anchorage已支持五個新DeFi代幣的托管服務,即UNI、AAVE、BAL、NXM和YFI。[2020/9/25]

圖2.重用傳入合約的ETH來獲得抵押資產函數處理ERC20Token時,和大部分的DeFi項目做法一樣,使用transferFrom(),如代碼1882行所示,從msg.sender轉賬到address(this)。但是當函數處理的資產為ETH時,處理的方式就完全不一樣了。因為在Solidity中,msg.value的意思是合約調用者在調用具有payable接口時所轉給該合約的ETH數量,僅是一個量值,所以在合約代碼的1879行中,檢查msg.value==amtUnderlyingToPay僅能確保合約確實收到了amtUnderlyingToPay數量的ETH,并不會對msg.value的值造成任何影響。但是正如上面講到的在exercise()中會循環調用_exercise()函數,這導致盡管合約實際只收到一次ETH,然而在循環過程中卻可以重復使用。攻擊點就在這里,由于合約少了一步對ETH實時數量的檢驗,使得攻擊者可以先偽造一筆指向自己的交易,然后再把已經花掉的本金再次利用,和平臺其他用戶完成一筆正常交易。

動態 | 幣安研究院:Defi相較傳統金融產品具有“透明度和價格效率”等三個優勢:幣安研究院在6月6日發布的“Defi”主題報告中提到:與傳統金融產品相比,分散式、非托管協議提供了一些有前景的優勢,例如:1. 透明度和價格效率,因為價格取決于市場需求;2. 借貸資本時的便利和速度;2. 審查阻力及不變性。然而,其同時存在技術風險(智能合約風險取代交易對手風險)及流動性低(限制以當前利率借貸,但不會對平衡利率產生重大影響)等兩個劣勢。[2019/6/7]

圖3.攻擊交易分析在圖3中,我們通過Bloxy瀏覽器顯示的調用過程來展示攻擊的過程。由于攻擊者吃掉了很多筆訂單,我們以其中一筆交易為例,向大家展示其攻擊邏輯:1、攻擊者先從Uniswap購入了75oETH為進一步調用函數行權做好籌備;2、攻擊者創建了一個Vault地址,作為看空期權賣方,并且抵押24,750USDC鑄造出75oETH,但并未賣出這些期權,等于自己同時買入了以330的價格賣出75ETH的權利;3、攻擊者在Opyn合約中調用了exercise(),在持有150oETH看空期權的情況下,先向自己的Vault地址轉入了75個ETH,獲得自己事先抵押的24,750個USDC,再重利用了這75個ETH,成功吃掉了另一個用戶的24,750個USDC,進而實現非法獲利。修復建議

PeckShield安全團隊建議,在Solidity中,合約可使用一個局部變量msgValue來保存所收到ETH。這樣,在后續的步驟中通過操作msgValue,就能準確的標記有多少ETH已經被花費,進而避免資產被重復利用。此外,我們還可以使用address(this).balance來檢查合約余額來規避msg.value被重復使用的風險。

Tags:ETHDEFEFIPYNEthereum AlpesPINETWORKDEFI價格Kong DefiPYN幣

幣安交易所app下載
錯過了YFI,還有哪些流動性挖礦項目值得關注?_COM

編者按:本文來自加密谷Live,作者:StevenZheng,翻譯:凌杰,Odaily星球日報經授權轉載.

1900/1/1 0:00:00
被指對賭條款倒逼主網上線,Filecoin首批礦機商套現離場_OIN

留給Filecoin的時間不多了。2020年上半年,Filecoin的溫度在國內居高不下,持續攀升.

1900/1/1 0:00:00
OKEx Jay Hao:Uniswap很難取代當前的主流交易所_Uniswap

最近行業中Uniswap的異軍突起引發了市場的關注。這是一個有趣且潛力巨大的DEX項目,在過去的一周,Uniswap的日均交易量邁過了1億美元的大關,而在3個月前這一數值僅僅為1百萬美元.

1900/1/1 0:00:00
ETH成為新龍頭,牛市就此開啟了嗎?_ETH

在山寨幣各顯神通以后,近段時間終于輪到主流幣發威,特別是ETH和BTC呈現領頭架勢,BTC成功沖擊10000美元,價格最高時到達10300美元上方.

1900/1/1 0:00:00
2020,區塊鏈應用落地加速?_LEE

近期,疫情通過積極有序的控制和管理之后,情況得到了很大改善。而在此期間,各行各業紛紛開始恢復正常營業,區塊鏈應用落地增速明顯加快.

1900/1/1 0:00:00
ETH2.0測試網今晚上線,以太坊期貨交易量創新高_DEFI

自上周日幣市上演插針行情后,各幣種當前都處于緩慢的消化中,而ETH卻已經吹響了反攻的號角,今日早上再次引發上漲行情,一度沖上400美元,和前日的高位僅差15美元不到.

1900/1/1 0:00:00
ads