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

Aave經歷驚魂一刻,這個漏洞差點釀成一場危機_AAVE

Author:

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

12月3日,知名DeFi借貸協議Aave部署了V2版本,盡管我們并沒有被雇傭來查看其代碼,但在次日,我們還是對其進行了簡單審查。很快,我們就發現了一個影響AaveV1和V2版本合約的漏洞,并報告了該問題。在將我們的分析發送給Aave的一小時內,他們的團隊修復了該漏洞,以減輕潛在影響。如果該漏洞被利用,這一問題將破壞Aave,并影響外部DeFi合約中的資金。據悉,有5家不同的安全公司審查了Aave代碼庫,其中有一些使用了形式化驗證。然而,這個漏洞并沒有被這些公司注意到。這篇文章描述了這一問題,以及“該漏洞是如何逃過檢測”等其它的一些經驗教訓。此外,我們也在開發一種新的Slither檢測器,它可以識別這一漏洞,從而為以太坊社區提高安全性。漏洞

Aave使用了delegatecall代理模式,這一點我們在過去的文章中已經詳細討論過了。簡單來看,每個組件被分成了兩個合約:包含實現的邏輯合約,包含數據并使用delegatecall與邏輯合約進行交互的代理。在邏輯合約上執行代碼時,用戶與代理合約進行交互。這是delegatecall代理模式的簡化表示:

Aave V2以太坊池上的TUSD儲備已被凍結:7月4日消息,關于凍結AaveV2以太坊池上的TUSD儲備的AIP提案已于近期通過并執行,繼最近發生的TUSD資產事件之后,ACI提議凍結AaveV2以太坊池上的TUSD儲備。將阻止用戶在AaveV2以太坊池中存入或借出TUSD。

這不會影響目前的頭寸,用戶仍然可以從AaveV2以太坊池中償還和提取TUSD。本AIP旨在對TUSD情況采取保守方法。它將允許社區在做出任何進一步決定之前先評估情況。[2023/7/4 22:17:02]

在Aave中,LendingPool是使用delegatecall代理的可升級組件。而我們發現的漏洞依賴于這些合約中的兩個功能:可以直接調用邏輯合約的函數,包括初始化函數;借貸池具有其自己的delegatecall功能;初始化可升級合約

Aave或計劃支持用戶抵押ENS進行借貸:11月24日,Aave創始人消息,Stani Kulechov援引Aave社區關于添加ENS作為借貸抵押品的提議稱,ENS Token將被添加進Aave協議。目前,ENS已經在Aave生態釋放數百萬美元的流動性。[2021/11/24 7:08:42]

這種可升級模式的一個限制是,代理不能依賴邏輯合約的構造函數進行初始化。因此,狀態變量和初始設置必須在公共初始化函數中執行。在LendingPool中,初始化函數設置提供者地址:

initializer調節器防止多次調用initialize,它要求滿足以下條件為true:

韋氏評級:AAVE、UNI與SUSHI或不久迎來爆發期:5月12日,韋氏評級發推文表示,AAVE和UNI在下一階段的市場中是潛在的贏家,SUSHI正處于橫盤狀態。UNI阻力位在45美元,如果突破則會迎來爆發。與AAVE和UNI不同,SUSHI價格水平稍稍滯后,仍有很大的上行空間。接下來在山寨幣季節周期的現階段,預計資金將很快從以太坊轉移至其他山寨幣。[2021/5/13 21:57:30]

以下:初始化允許在相同交易中多次調用調節器;isConstructor是代理執行代碼所需的;revision>lastInitializedRevision允許在合約升級時再次調用初始化函數;雖然它通過代理,預期可正常工作,但是也允許任何人直接在邏輯合約上調用initialize函數。一旦邏輯合約被部署:revision將為0x2(LendingPool.sol#L56);lastInitializedRevision將為0x0;而漏洞是:任何人都可以在LendingPool邏輯合約中設置_addressesProvider。任意delegatecall

AAVE突破420美元關口 日內漲幅為9.23%:火幣全球站數據顯示,AAVE短線上漲,突破420美元關口,現報420.0909美元,日內漲幅達到9.23%,行情波動較大,請做好風險控制。[2021/4/13 20:13:19]

LendingPool.liquidationCall直接委托調用由_addressProvider返回的地址:

這允許任何人啟動LendingPool邏輯合約,設置受控地址提供者,并執行任意代碼,包括selfdestruct。利用漏洞的場景:任何人都可以破壞借貸池邏輯合約。下面是一個簡化的視覺表示:

缺乏存在檢查

Bitwise推出DeFi指數基金 支持UNI AAVE等代幣:加密資產管理公司Bitwise今日宣布,已推出首只DeFi指數基金:Bitwise DeFi加密基金,該基金為合格投資者提供對DeFi代幣的敞口。該基金啟動時只有少量種子資產,每周兩次認購,該基金最初將包括Uniswap、Aave、Synthetix、Maker、 Compound、 UMA、Yearn.Finance、0x和Loopring。(TheBlock)[2021/2/17 17:24:50]

就問題本身而言,已經是很嚴重了,因為任何人都可以破壞邏輯合約,并阻止代理執行借貸池代碼。然而,在代理合約中使用OpenZeppelin會加劇這一問題的嚴重性。我們在2018年撰寫的一篇博客文章中強調,沒有代碼的合約委托調用能在不執行任何代碼的情況下返回成功。盡管我們最初發出警告,但OpenZeppelin并未在其代理合約中修復回退函數:

如果代理委托調用了一個已破壞的借貸池邏輯合約,則代理將返回成功,而不會執行任何代碼。由于Aave可以更新代理以指向另一個邏輯合約,因此這種漏洞利用不會持久。但在可利用此漏洞的時間范圍內,任何調用該借貸池的第三方合約,都將表現為某些代碼已被執行,但實際卻并未執行。這將打破很多外部合約的基本邏輯。受影響的合約

所有AToken:AToken.redeem調用pool.redeemUnderlying的代碼庫(MyV2CreditDelegation.sol);如果我們發現的問題被利用,則Aave之外的很多合約都會受到各種方式的影響。確定一份完整的名單是困難的,我們沒有試圖這樣做。這一事件凸顯了DeFi可組合性的潛在風險,以下是我們找到的一些受影響的合約:DefiSaverv1(AaveSaverProxy.sol)DefiSaverv2(AaveSaverProxyV2.sol)PieDao–pieoven(InterestingRecipe.sol#L66)修復及建議

幸運的是,在我們報告這個漏洞之前,還沒有人利用它。Aave對其兩個版本的借貸池調用了initialize函數,從而保證了合約的安全:LendingPoolV1:0x017788dded30fdd859d295b90d4e41a19393f423修復時間:2020年12月4日07:34:26PM+UTCLendingPoolV2:0x987115c38fd9fd2aa2c6f1718451d167c13a3186修復時間:2020年12月4日07:53:00PM+UTC長期而言,合約部署者應:在所有邏輯合約中添加一個構造函數以使initialize函數無效;檢查delegatecall代理fallback函數中是否存在合約;仔細檢查delegatecall陷阱,并使用slither-check-upgradeability;形式化驗證合約并不是防彈的

Aave的代碼庫經過了形式化驗證,區塊鏈領域的一個趨勢是,人們會認為安全特性是圣杯。用戶可能會嘗試根據這些特性的存在與否,對各種合約的安全性進行排序。我們認為這是危險的,它會導致錯誤的安全感。Aave形式化驗證報告列出了LendingPool視圖函數以及池操作的屬性。例如,已驗證的屬性之一是:

然而,如果邏輯合約遭到破壞,則該屬性可能會被破壞。那如何才能對此進行驗證?雖然我們無法訪問定理證明或所使用的設置,但很可能證明proof沒有考慮可升級性,或者prover不支持復雜的合約交互。這在代碼驗證中是很常見的。你可以通過對整體行為的假設來證明目標組件中的行為,但是在多合約設置中證明屬性是具有挑戰性和耗時的,因此必須進行權衡。形式化驗證技術很棒,但是用戶必須意識到它們覆蓋范圍很小,并且可能會錯過攻擊媒介。另一方面,自動化工具和人工審查可幫助開發人員以較少的資源來提升代碼庫的安全性。了解每種解決方案的優點和局限性,對開發人員和用戶而言都至關重要。當前的問題就是一個很好的例子,Slither可以在幾秒鐘內發現這個問題,受過訓練的專家可能會很快指出它,而要用安全特性來檢測,則需要付出很大的精力。總結

Aave做出了積極反應,并在發現問題后迅速修復了該漏洞。危機避免了,但最近遭受黑客攻擊的其他受害者卻沒有那么幸運。在部署代碼并將其暴露于對抗性環境之前,我們建議開發者:查看這里的檢查表和訓練;將Slither添加到你的持續集成管道中并調查其所有報告;給安全公司適當的時間來審查你的系統;請注意可升級性,至少請審查合約升級反模式,合約遷移的工作方式,以及使用OpenZeppelin的可升級性;我們希望通過分享此信息以及與此問題相關的Slither檢測器來防止類似的錯誤。

Tags:AVEAAVEINGALLCAVE價格aave幣價格今日行情Dingo TokenVegaWallet

比特幣價格實時行情
The Graph的未來:通往Web 3的道路_THE

TheGraph前幾天推出了它的主網。對于一個已經在幕后工作了三年多的項目來說,這是一個巨大的成就。現在TheGraph已經上線了,我想退后一步,看看TheGraph協議和子圖在未來會如何發展.

1900/1/1 0:00:00
硬核圓桌:為什么我推薦開發者一定要試一下DFINITY?_DFI

12月23日晚6點,「DFINITY中國生態見面會·上海站圣誕Meet-Up」順利舉辦,來自DFINITY生態的科學家、經濟學家、工程師以及生態投資者、開發者齊聚一堂.

1900/1/1 0:00:00
行情分析:主力意圖明顯,警惕尾部行情風險_USDT

本文來自:哈希派,作者:哈希派分析團隊,星球日報經授權轉發。金色財經合約行情分析 | BTC 圍繞9500美元窄幅盤整:據火幣BTC永續合約行情顯示,截至今日16:00(GMT+8),BTC價格.

1900/1/1 0:00:00
公鏈競選「超級節點」是否還有收益?_POS

2018年被稱為「公鏈元年」,以EOS為代表的公鏈在2018年6月主網上線,除此之外,TRON、Bytom等海內外知名公鏈緊跟左右相繼上線,走出了一波很漂亮的公鏈行情.

1900/1/1 0:00:00
Telegram創始人:Telegram將從明年開始創收,普通用戶仍可免費使用_TEL

隨著Telegram活躍用戶數接近5億,很多人都在問一個問題--誰來支付支持這種增長所需的開支?畢竟,更多的用戶意味著更多的流量和服務器的開支.

1900/1/1 0:00:00
比特幣經濟學_比特幣

編者按:本文來自智本社,作者:清和智本社社長,Odaily星球日報經授權轉載。2020年底,比特幣重回巔峰,價格再創新高.

1900/1/1 0:00:00
ads