注:今日,DeFi安全審計公司TrailofBits披露了Aave借貸協議此前存在的一個嚴重漏洞,在發現到該問題后,Aave迅速修復了該漏洞,從而避免了一場危機。
原文來自TrailofBits:
12月3日,知名DeFi借貸協議Aave部署了V2版本,盡管我們并沒有被雇傭來查看其代碼,但在次日,我們還是對其進行了簡單審查。很快,我們就發現了一個影響AaveV1和V2版本合約的漏洞,并報告了該問題。在將我們的分析發送給Aave的一小時內,他們的團隊修復了該漏洞,以減輕潛在影響。如果該漏洞被利用,這一問題將破壞Aave,并影響外部DeFi合約中的資金。
據悉,有5家不同的安全公司審查了Aave代碼庫,其中有一些使用了形式化驗證。然而,這個漏洞并沒有被這些公司注意到。這篇文章描述了這一問題,以及“該漏洞是如何逃過檢測”等其它的一些經驗教訓。此外,我們也在開發一種新的Slither檢測器,它可以識別這一漏洞,從而為以太坊社區提高安全性。
漏洞
Aave使用了delegatecall代理模式,這一點我們在過去的文章中已經詳細討論過了。簡單來看,每個組件被分成了兩個合約:包含實現的邏輯合約,包含數據并使用delegatecall與邏輯合約進行交互的代理。在邏輯合約上執行代碼時,用戶與代理合約進行交互。這是delegatecall代理模式的簡化表示:
Gem發布V2內測版本,用戶可申請獲得訪問權限:2月21日,NFT交易聚合器Gem已發布V2內測版本,新功能包括聚合不同平臺的常設出價并允許即時賣出最佳報價等。用戶可通過提交申請獲得測試版訪問權限。[2023/2/22 12:20:47]
在Aave中,LendingPool是使用delegatecall代理的可升級組件。
而我們發現的漏洞依賴于這些合約中的兩個功能:
可以直接調用邏輯合約的函數,包括初始化函數;
借貸池具有其自己的delegatecall功能;
初始化可升級合約
這種可升級模式的一個限制是,代理不能依賴邏輯合約的構造函數進行初始化。因此,狀態變量和初始設置必須在公共初始化函數中執行。
在LendingPool中,初始化函數設置提供者地址:
隊記:NBA開拓者隊結束與加密貨幣公司StormX的球衣廣告贊助協議:10月2日消息,NBA波特蘭開拓者隊記者Sean Highkin在社交媒體上表示,開拓者方面發布了一份聲明,聲明中稱他們已經結束了與StormX的球衣贊助商合作關系,并尋找新的球衣廣告合作伙伴。Sean Highkin稱,就在四天前的媒體日,他們的球衣上仍有StormX的標志。
據悉,開拓者隊于去年7月份與StormX達成合作。[2022/10/2 18:37:19]
initializer調節器防止多次調用initialize,它要求滿足以下條件為true:
以下:
初始化允許在相同交易中多次調用調節器;
isConstructor是代理執行代碼所需的;
revision>lastInitializedRevision?允許在合約升級時再次調用初始化函數;
雖然它通過代理,預期可正常工作,但是也允許任何人直接在邏輯合約上調用initialize函數。一旦邏輯合約被部署:
數據:超過10年未活躍的比特幣供應量創歷史新高:金色財經報道,Glassnode數據顯示,超過10年未活躍的比特幣供應量達到2,520,888.300枚,創歷史新高。[2022/9/25 7:19:41]
revision將為0x2(LendingPool.sol#L56);
lastInitializedRevision將為0x0;
而漏洞是:任何人都可以在LendingPool邏輯合約中設置_addressesProvider。
任意delegatecall
LendingPool.liquidationCall直接委托調用由_addressProvider返回的地址:
這允許任何人啟動LendingPool邏輯合約,設置受控地址提供者,并執行任意代碼,包括selfdestruct。
利用漏洞的場景:任何人都可以破壞借貸池邏輯合約。下面是一個簡化的視覺表示:
企業級元宇宙軟硬件服務提供商Varjo完成4000萬美元D輪融資:金色財經報道,企業級元宇宙軟硬件服務提供商Varjo宣布完成4000萬美元D輪融資,EQT Ventures、Atomico、沃爾沃汽車技術基金、Lifeline Ventures 以及芬蘭政府風險投資和私募股權基金 Tesi、以及瑞士金融和銀行業巨頭Mirabaud 和富士康參投,該公司首席執行官 Timo Toikkanen 在接受采訪時透露目前富士康正在幫助制造其設備。Varjo為工業和其他企業應用程序的“專業級”虛擬和增強現實構建硬件和集成軟件,今年年初推出了軟件應用程序和工具平臺Varjo Reality Cloud,其客戶包括洛克希德馬丁、波音、阿斯頓馬丁、起亞等財富 100 強企業。(TechCrunch)[2022/9/6 13:12:18]
缺乏存在檢查
就問題本身而言,已經是很嚴重了,因為任何人都可以破壞邏輯合約,并阻止代理執行借貸池代碼。
然而,在代理合約中使用OpenZeppelin會加劇這一問題的嚴重性。我們在2018年撰寫的一篇博客文章中強調,沒有代碼的合約委托調用能在不執行任何代碼的情況下返回成功。盡管我們最初發出警告,但OpenZeppelin并未在其代理合約中修復回退函數:
重慶共開立“數字人民幣”個人錢包106.66萬個,交易金額2.88億元:金色財經報道,重慶市新聞辦舉行重慶數字人民幣試點新聞發布會。人民銀行重慶營管部黨委委員、副主任吳豪聲表示,自4月份“數字人民幣”重慶試點工作啟動以來,“數字人民幣”使用場景和規模逐步擴大。
數據顯示,截至5月15日,重慶共開立“數字人民幣”個人錢包106.66萬個,對公錢包4.24萬個,累計交易筆數157.67萬筆,交易金額2.88億元。
吳豪聲介紹:“目前,重慶已在多個領域實現‘數字人民幣’應用落地,超12000家商戶可以接受數字人民幣支付。”(上游新聞)[2022/5/19 3:27:53]
如果代理委托調用了一個已破壞的借貸池邏輯合約,則代理將返回成功,而不會執行任何代碼。
由于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檢測器來防止類似的錯誤。
來源:金色財經
全球加密市場擁躉期待中,數字貨幣來到了競爭更加激烈的下半場。屬于比特幣時代的輝煌雖然已經過去,余震之下,數字貨幣還將繼續蓬勃發展,市場行情向好指明公鏈長期發展之路——生態才是價值依托,次世代公鏈.
1900/1/1 0:00:00兩者分別發展,卻也分別占有了區塊鏈技術全球的江山半壁,因此也算不上誰更有優點,可是兩者卻有不能取代的使用價值.
1900/1/1 0:00:00各位幣友們,大家好,我是幣圈龍校長本著負責、誠懇、認真的態度用心寫好每一篇分析文章,在交易中,最重要的就是要敢于出手,面對機會,果斷出擊,這樣才不至于錯失機會.
1900/1/1 0:00:00???隨著區塊鏈技術的不斷創新和成熟,基于區塊鏈技術的改革風暴正在席卷全球,各行各業都在不斷地融合轉型,深怕錯過發展的契機.
1900/1/1 0:00:00行情觀點; 四小時級別來看,以太觸壓676.55一線回調,隨后短線下挫插針至626一線反彈,延續震蕩下行,K線連續二連陰,從K線形態來看,幣價插針沖高后,由于多頭過度放量,大幅回調是必然的.
1900/1/1 0:00:0012月16日,火幣大學校長于佳寧與火幣嘉賓應邀參觀了鏈上ChainUP、金色算力云以及開源礦池.
1900/1/1 0:00:00