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

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

Author:

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

注:今日,DeFi安全審計公司TrailofBits披露了Aave借貸協議此前存在的一個嚴重漏洞,在發現到該問題后,Aave迅速修復了該漏洞,從而避免了一場危機。

原文來自TrailofBits:

12月3日,知名DeFi借貸協議Aave部署了V2版本,盡管我們并沒有被雇傭來查看其代碼,但在次日,我們還是對其進行了簡單審查。很快,我們就發現了一個影響AaveV1和V2版本合約的漏洞,并報告了該問題。在將我們的分析發送給Aave的一小時內,他們的團隊修復了該漏洞,以減輕潛在影響。如果該漏洞被利用,這一問題將破壞Aave,并影響外部DeFi合約中的資金。

據悉,有5家不同的安全公司審查了Aave代碼庫,其中有一些使用了形式化驗證。然而,這個漏洞并沒有被這些公司注意到。這篇文章描述了這一問題,以及“該漏洞是如何逃過檢測”等其它的一些經驗教訓。此外,我們也在開發一種新的Slither檢測器,它可以識別這一漏洞,從而為以太坊社區提高安全性。

漏洞

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

Cardano已完成旨在提高網絡安全性和Plutus跨鏈互操作性的網絡升級:2月15日消息,Cardano已完成旨在提高網絡安全性和Plutus跨鏈互操作性的網絡升級,本次升級增強了了加密功能,并允許開發人員基于Cardano智能合約平臺Plutus開發跨鏈應用。

此前報道,Cardano開發公司Input Output與Cardano基金會提交將Cardano主網升級到協議V8更新提案,并計劃于北京時間2023年2月15日5:44:51生效。[2023/2/15 12:08:27]

在Aave中,LendingPool是使用delegatecall代理的可升級組件。

而我們發現的漏洞依賴于這些合約中的兩個功能:

可以直接調用邏輯合約的函數,包括初始化函數;

借貸池具有其自己的delegatecall功能;

初始化可升級合約

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

TRON即將推出流動性質押功能和去中心化資源市場:金色財經報道,孫宇晨發推稱,TRON宣布即將推出TIP 467中的流動性質押功能,用戶可以將其質押的TRX兌換成STRX,增加質押的TRX整體流動性。此外,TRON還將推出TIP 484中所提的去中心化資源市場,用戶可以在獲得質押收益的同時,保持流動性和靈活性。[2023/1/21 11:25:06]

在LendingPool中,初始化函數設置提供者地址:

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

以下:

初始化允許在相同交易中多次調用調節器;

isConstructor是代理執行代碼所需的;

revision>lastInitializedRevision?允許在合約升級時再次調用初始化函數;

韓國游戲開發商Com2uS對區塊鏈加速器FactBlock進行戰略投資:1月5日消息,韓國游戲開發商Com2uS宣布對該國區塊鏈加速器FactBlock進行戰略投資,具體金額未披露。Com2uS擬通過投資FactBlock擴大與國內外Web3專家的業務和技術交流,并利用Com2uS自有的區塊鏈主網XPLA和NFT交易所尋求合作。

據介紹,自2018年以來,FactBlock每年均舉辦了區塊鏈會議“韓國區塊鏈周”(KBW),為區塊鏈業務和技術的發展提供信息共享的場所。FactBlock最近計劃開發一個區塊鏈教育和資訊平臺。(韓聯社)[2023/1/5 9:53:44]

雖然它通過代理,預期可正常工作,但是也允許任何人直接在邏輯合約上調用initialize函數。一旦邏輯合約被部署:

revision將為0x2(LendingPool.sol#L56);

lastInitializedRevision將為0x0;

而漏洞是:任何人都可以在LendingPool邏輯合約中設置_addressesProvider。

任意delegatecall

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

Circle歐元穩定幣EUROC市值達到7600萬美元:金色財經報道,截至10月25日下午,Circle歐元穩定幣EUROC市值已達到7600萬美元,自 8 月中旬以來一直保持穩定。據悉,歐盟推出的加密資產市場監管法案MiCA預計會在未來幾周內在歐洲議會進行最后一次投票。如果通過,該法律預計將于 2024 年生效。Circle 歐盟政策負責人帕特里克·漢森 (Patrick Hansen) 表示:“現在歐洲的穩定幣有了一條受監管的道路,歐元是世界第二大貨幣和匯款資產,隨著穩定幣功能從投機轉向公用事業,使用歐元穩定幣的動機越來越大。MiCA 的三個目標是制定監管標準、協調市場和保護消費者,立法程序的結果是朝著這個方向邁出的一大步。”(decrypt)[2022/10/26 16:39:00]

這允許任何人啟動LendingPool邏輯合約,設置受控地址提供者,并執行任意代碼,包括selfdestruct。

利用漏洞的場景:任何人都可以破壞借貸池邏輯合約。下面是一個簡化的視覺表示:

“像素金剛”NFT項目CyberKongz交易額突破2億美元:金色財經報道,據最新數據顯示,“像素金剛”NFT項目CyberKongz交易額已突破2億美元,本文撰寫時為200,162,198美元,交易量為6,722筆。CyberKongz由1,000個獨特且隨機生成的“像素金剛”猩猩組成,其交易額在今年三月突破1億美元,這意味著該NFT項目近兩個月交易額翻了一番。[2022/5/22 3:33:13]

缺乏存在檢查

就問題本身而言,已經是很嚴重了,因為任何人都可以破壞邏輯合約,并阻止代理執行借貸池代碼。

然而,在代理合約中使用OpenZeppelin會加劇這一問題的嚴重性。我們在2018年撰寫的一篇博客文章中強調,沒有代碼的合約委托調用能在不執行任何代碼的情況下返回成功。盡管我們最初發出警告,但OpenZeppelin并未在其代理合約中修復回退函數:

如果代理委托調用了一個已破壞的借貸池邏輯合約,則代理將返回成功,而不會執行任何代碼。

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

受影響的合約

所有AToken:AToken.redeem調用pool.redeemUnderlying(AToken.sol#L255-L260)。由于調用什么也不做,用戶將燒掉他們的AToken,而不會收到他們的底層資產;

WETHGateway(WETHGateway.sol#L103-L111):存款會存儲在網關中,然后任何人都可以竊取存款資產;

任何基于Aave信用委托v2的代碼庫(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+UTC

LendingPoolV2: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:AVEAAVEINGGATTravelCakeAave SUSDhunterkingtokengate.io怎么下載

酷幣交易所
Cointelegraph中文Focus|對話Pascal Gauthier:如何守護你的加密貨幣_DGE

2020年新一輪比特幣牛市開啟,投資者更加堅定的囤積比特幣。然而,如何存儲比特幣,如何安全且方便的持有比特幣,是一大難題.

1900/1/1 0:00:00
歷史新高!比特幣一夜飆升突破21000美元,到底是誰在買?_ENT

編輯:盧祥勇?王嘉琦 北京時間今天凌晨3時,美國聯邦儲備委員會宣布維持聯邦基金利率目標區間在零至0.25%之間,符合市場預期.

1900/1/1 0:00:00
幣價上漲 煤價高漲電力緊缺 枯水期南方加密礦場出現斷電_YDF

獲悉,近期由于電力緊缺,四川對加密貨幣挖礦行業進行了強制性要求,一些礦場出現斷電情況,新疆準東也要求做緊急限電預案措施.

1900/1/1 0:00:00
2字開頭 前方就是星辰大海_CHR

????????生活,永遠不會虧待用心經營它的人,做一個不輕易垮塌的成年人,天行健,君子以自強不息,地勢坤,君子以厚德載物。提筆安天下,跨馬定乾坤.

1900/1/1 0:00:00
炎王論幣:2020.12.17 午夜比特幣行情分析及行情分析 解套_NCE

  日內做多思路非常明確,合適點位就要果斷出擊,方向明確了上漲只是時間的問題!方向確定就等待積累利潤!  晚間這么強勢的行情,雖然晚間空單止損了,但是多單回了一大口血,大漲收割.

1900/1/1 0:00:00
陳凌云:新手投資小技巧_BER

 1、認識到市場的趨勢 交易中最重要的一點就是,要弄清市場的趨勢什么?是漲還是跌。你可以借助K線、趨勢線和均線等指標來判斷市場的趨勢是漲還是跌.

1900/1/1 0:00:00
ads