- 元宇宙：本站分享元宇宙相關資訊，資訊僅代表作者觀點與平臺立場無關,僅供參考.
引言
隨著去中心化金融(DeFi)生態(tài)系統(tǒng)的迅速發(fā)展，AAVEV2作為領先的去中心化借貸協(xié)議之一，在提供創(chuàng)新借貸與流動性管理解決方案方面始終處于行業(yè)前沿。其獨特的無信任機制和高效的資本利用率吸引了大量用戶和機構的參與。然而，隨著其應用的普及及所涉及的資金規(guī)模逐步擴大，安全審計和風控措施的重要性日益凸顯。本手冊將深入探討AAVEV2協(xié)議的核心設計、關鍵功能及相關審計要點。項目背景概述
AAVEV2是一個基于EthereumBlockchain構建的開放式借貸平臺，允許用戶存入各種ERC-20Tokens并從中賺取利息，同時也允許以支付利息的形式借用市場中的Tokens。通過引入“利率市場”的概念，AAVEV2實現(xiàn)了去中心化的資金池管理和自動化的利率調(diào)整機制。此外，AAVEV2還提供了閃電貸、抵押貸款和Tokens交換等高級功能，以滿足用戶的多樣化需求，進一步鞏固了其在DeFi領域的領先地位。項目架構分析
OraclesProxy：依賴外部預言機(Chainlink)提供資產(chǎn)市場價格數(shù)據(jù)，用于評估用戶抵押資產(chǎn)的價值，確保借貸行為的定價準確性和系統(tǒng)的穩(wěn)定性。
LendingRateOracle：根據(jù)系統(tǒng)的狀態(tài)和市場情況，提供動態(tài)的借貸利率，優(yōu)化資本利用率和流動性。配置與管理
Configurator：用于配置系統(tǒng)參數(shù)，如不同資產(chǎn)的風險參數(shù)和借貸限額，管理儲備金的各種操作，包括激活、借款、抵押、凍結、更新參數(shù)及在緊急情況下啟用或禁用功能。確保協(xié)議可以根據(jù)市場變化進行動態(tài)調(diào)整。其他關鍵功能
LiquidationManager：當用戶抵押品價值下降至清算門檻以下時，管理清算操作，保護系統(tǒng)的資金安全。清算人可以通過清算操作獲得獎勵。
ReservesBalances：存儲系統(tǒng)的儲備資金數(shù)據(jù)，用于計算和調(diào)整利率策略。利率策略
InterestRateStrategy：根據(jù)市場和用戶需求，動態(tài)調(diào)整利率以實現(xiàn)最佳資本配置，同時考慮流動性風險，確保系統(tǒng)在不同市場條件下的靈活性和穩(wěn)定性。
盡管存在兩種利率模型（穩(wěn)定型和浮動型），但是其模型計算都類似于一個拐點型模型。在拐點最優(yōu)利用率下的slope1和超過最優(yōu)利用率的slope2分段計算，且在這個條件下也分為固定利率模型和可變利率模型。
用戶通過調(diào)用LendingPool合約的deposit函數(shù)進行存款，該函數(shù)接受四個參數(shù)：資產(chǎn)地址、存款金額、接收方地址及推薦碼。首先驗證合約未處于啟用狀態(tài)，然后通過ValidationLogic.validateDeposit驗證存款金額必須大于0，同時確認儲備處于激活狀態(tài)且未被凍結。接著系統(tǒng)會更新儲備狀態(tài)，調(diào)用reserve.updateState()更新流動性累積指數(shù)和可變借款指數(shù)，并計算時間段內(nèi)產(chǎn)生的利息，其中一部分利息會被鑄造并轉入?yún)f(xié)議國庫。
公式如下：
與Compound相比，AAVEV2的提現(xiàn)過程有以下主要特點：
使用aToken代表用戶在協(xié)議中的存款，提現(xiàn)實際上是銷毀aToken。
允許用戶提現(xiàn)到指定地址（通過to參數(shù)），增加了靈活性。
提供了部分提現(xiàn)和全額提現(xiàn)的選項。
在提現(xiàn)驗證中，AAVE使用了更復雜的balanceDecreaseAllowed函數(shù)來檢查提現(xiàn)對用戶整體抵押品狀況的影響。
AAVE的提現(xiàn)過程直接更新了利率，而不是像Compound那樣通過accrueInterest函數(shù)來更新。借貸
用戶通過borrow函數(shù)進行借貸，執(zhí)行借款會先從價格預言機獲取資產(chǎn)的當前價格，將借款金額轉換為ETH等價。隨后通過ValidationLogic.validateBorrow檢查以及GenericLogic.calculateUserAccountData用戶借款是否合法，計算包括onBehalfOf地址的總抵押資產(chǎn)、總債務、當前貸款價值比率(LTV)、清算閾值和健康因子以及市場的穩(wěn)定性等（類似于Compound的getHypotheticalAccountLiquidityInternal），是否有足夠的抵押資產(chǎn)借貸。reserve.updateState更新儲備狀態(tài)，如利率和借款指數(shù)（這一步類似于Compound中的accrueInterest），用于計算并更新利息。
隨后根據(jù)用戶選擇進行的interestRateMode（穩(wěn)定利率或浮動利率）生成債務，選擇不同的利率模型的Tokens合約來鑄造Tokens。同時，鑄造Tokens時也會進行檢查，如果onBehalfOf地址不是調(diào)用者，則會在Tokens合約中減去其對調(diào)用用戶的借貸授權。如果是用戶的首次借款，會將其配置為活躍借款者。DebtToken鑄造給用戶后，協(xié)議會通過updateInterestRates更新借款利率，反映借款后的新利率和儲備池的變化。如果用戶請求釋放借款的底層資產(chǎn)，協(xié)議會將資產(chǎn)直接轉移給用戶。
與Compound相比，AAVEV2的借貸過程有以下主要特點：
支持穩(wěn)定和可變兩種利率模式。
使用單獨的驗證邏輯合約進行借貸驗證。
使用債務Tokens(DebtToken)來表示用戶的借款。
支持信用委托，允許用戶代表其他地址進行借款。
還款
用戶通過repay函數(shù)進行還款，首先獲取用戶的當前債務（包括穩(wěn)定債務stableDebt和浮動債務variableDebt）。根據(jù)用戶選擇的利率模式（穩(wěn)定或浮動），由ValidationLogic.validateRepay驗證用戶的還款操作合法性，包括用戶的債務余額是否足夠進行還款。根據(jù)用戶選擇的利率模式來確定還款的具體債務類型（穩(wěn)定利率或浮動利率）。如果用戶要還的金額小于當前債務余額，系統(tǒng)會使用用戶提供的還款金額進行部分還款；否則，將償還所有債務。更新儲備的狀態(tài)updateState，用于計算并更新協(xié)議中的利息、借貸量以及借貸指數(shù)。隨后燃燒相應的穩(wěn)定債務Tokens，并通過updateInterestRates更新借款利率。此時，如果用戶的所有債務（包括穩(wěn)定和浮動債務）在還款后為零，則會將該用戶的借款狀態(tài)標記為false，表示用戶不再借款。最后用戶將還款金額從其賬戶轉移到協(xié)議的aToken合約地址。
與Compound相比，AAVEV2的還款過程有以下主要特點：
支持穩(wěn)定和浮動兩種利率模式的還款。
使用DebtToken來表示和管理債務，還款時燃燒對應債務Tokens。
支持部分還款和全額還款，并分別處理穩(wěn)定債務和浮動債務。
支持用戶通過信用委托為其他地址還款。清算
用戶通過lendingpool的liquidationCall函數(shù)進行清算，函數(shù)通過代理模式調(diào)用LendingPoolCollateralManager的liquidationCall函數(shù)，確保函數(shù)的成功執(zhí)行。首先GenericLogic.calculateUserAccountData獲取抵押品資產(chǎn)及債務資產(chǎn)的儲備數(shù)據(jù)和用戶的配置信息，計算用戶的健康因子，并通過getUserCurrentDebt獲取用戶的當前穩(wěn)定和可變負債。
ValidationLogic.validateLiquidationCall函數(shù)驗證清算調(diào)用的合法性，包括檢查用戶的健康因子、債務狀態(tài)和抵押品配置。若健康因子小于閥值，已作為抵押品，且兩種債務都不為0則驗證通過。接著計算用戶的最大可清算債務，并確定實際需要清算的債務數(shù)量。如果清算的債務超過用戶的可用抵押物，將調(diào)整清算金額。
如果清算人選擇接收被清算人抵押的底層資產(chǎn)，需要確保抵押物儲備中有足夠的流動性。更新債務儲備的狀態(tài)，并根據(jù)清算人是否接收aToken情況，燃燒相應數(shù)量的可變和穩(wěn)定債務Tokens。更新債務的利率，反映清算后的市場情況。清算人獎勵如果選擇接收aToken，清算人將獲得相應數(shù)量的aToken。如果不接受aToken，則更新其抵押狀態(tài)和抵押物的利率，從用戶賬戶中燃燒掉對應數(shù)量的aToken，將底層資產(chǎn)轉移給清算人。最后，將清算所需的債務資產(chǎn)從清算人轉移到相應的儲備aToken中，完成清算過程。
與Compound相比，AAVEV2的清算過程有以下主要特點：
支持多種抵押品和債務資產(chǎn)的組合清算。
允許清算人選擇接收aToken或底層資產(chǎn)。
清算過程更加模塊化，將驗證邏輯、計算邏輯等分離到不同的函數(shù)中。
支持穩(wěn)定利率和可變利率兩種債務類型的清算。閃電貸
用戶通過lendingpool的flashLoan函數(shù)進行閃電貸。作為借貸協(xié)議的閃電貸，可以允許當前閃電貸立刻還款或是作為債務來后續(xù)還款，其中以傳入的modes參數(shù)不同而決定。0為立刻還款，1為作為穩(wěn)定型債務，2為浮動型債務。
函數(shù)首先通過ValidationLogic.validateFlashloan檢查輸入?yún)?shù)匹配，計算閃電貸所需的溢價成本，并直接將所需的aToken轉給接收者地址。調(diào)用接受者的executeOperation操作實現(xiàn)預設的閃電貸。AAVE實現(xiàn)的閃電貸操作已包括了兌換，兌換清算，以及兌換償還操作。在executeOperation完成以上操作后，記錄需償還的閃電貸金額和相應的費用。如果用戶選擇以非債務模式歸還資金：系統(tǒng)更新儲備狀態(tài)，累積儲備流動性以及更新流動性指數(shù)。最后再從請求者轉移資金和費用至儲備池。若用戶選擇以債務模式處理，則調(diào)用_executeBorrow，開啟相應的債務頭寸。轉換債務模式
在AAVEV2中，用戶可以通過swapBorrowRateMode函數(shù)在穩(wěn)定利率模式和浮動利率模式之間切換。首先通過getUserCurrentDebt函數(shù)獲取用戶在目標資產(chǎn)上的當前穩(wěn)定利率債務和浮動利率債務，確定用戶的債務狀況。接著調(diào)用ValidationLogic.validateSwapRateMode函數(shù)驗證切換操作是否合法。其中檢查用戶是否有足夠的穩(wěn)定或浮動債務以支持模式切換，確保切換目標模式符合資產(chǎn)的配置和用戶的債務情況。調(diào)用reserve.updateState更新資產(chǎn)儲備的狀態(tài)，確保儲備數(shù)據(jù)最新。隨后就是對于兩種債務Tokens的相互轉換，燃燒穩(wěn)定債務Tokens鑄造浮動債務Tokens或是燃燒浮動債務Tokens鑄造穩(wěn)定債務Tokens。轉換完成后，reserve.updateInterestRates更新目標資產(chǎn)利率，確保反映當前市場狀態(tài)和用戶債務的變化。安全漏洞Checklist空市場導致的舍入漏洞
在AAVE和Compound中，都存在空市場中精度損失而造成的漏洞問題。如果在一個空市場的情況（即沒有用戶在市場中進行借貸），由于cumulateToLiquidityIndex函數(shù)中l(wèi)iquidityIndex的值依賴于合約對應的底層資產(chǎn)Tokens的數(shù)量，所以攻擊者可以通過閃電貸向合約存入大量的底層資產(chǎn)Tokens來操縱aToken的價格。
與之前Compoundfork項目HundredFinance第一次被黑相似，在HopeLend事件中，攻擊者先操縱liquidityIndex將hETHWBTC兌WBTC的價值控制為1:1，通過兌換底層資產(chǎn)以及借貸的方式又提高liquidityIndex的值。隨后通過循環(huán)的閃電貸不斷調(diào)用_handleFlashLoanRepayment函數(shù)。
審計要點：在審計時，需要關注兌換率的計算方式是否容易被操控以及舍入的方式是否恰當，同時可以建議項目團隊在新的市場創(chuàng)建后立刻鑄造aToken，以防止市場為空進而被操控。ERC677/ERC777Tokens導致的重入漏洞
與之前Compoundfork項目HundredFinance第二次被黑相同，在Agave攻擊事件中，攻擊者在沒有任何負債的情況下調(diào)用了liquidateCall函數(shù)來清算自己。而清算的Tokens是GnosisChain鏈上使用的ERC-677標準Tokens，該類Tokens轉賬時會外部調(diào)用接收地址的函數(shù),所以使得清算合約調(diào)用了攻擊合約，攻擊合約在此過程中存入了2728個通過閃電貸獲取的WETH，鑄造出2728aWETH，并以此為抵押，借出了Agave項目中所有可用資產(chǎn)。外部調(diào)用結束后，liquidationCall函數(shù)直接清算了攻擊者之前存入的2728aWETH，并將其轉給清算者。
審計要點：在審計時，需特別關注與外部第三方協(xié)議的交互代碼。重點評估外部合約的輸入和輸出是否經(jīng)過嚴格限制，交互邏輯是否對協(xié)議核心模型或資金安全產(chǎn)生潛在影響，輸入數(shù)據(jù)是否經(jīng)過清理和驗證，防止惡意數(shù)據(jù)引發(fā)安全問題。通過嚴格審查外部交互的代碼邏輯以及數(shù)據(jù)驗證機制，可有效降低此類漏洞風險。Tokens與利率策略兼容問題
在Polygon鏈上，AAVE部署過程中，由于InterestRateStrategy設置不兼容的問題導致功能異常，錯誤地為WETH設置了不兼容的利率策略。
錯誤設置的InterestRateStrategy合約中的interface如下：
而AAVEV2的LendingPool實現(xiàn)的代碼如下：
(參考來源：https://x.com/mookim_eth/status/1659589328727859205)
由于接口不兼容，新InterestRateStrategy無法正常被LendingPool調(diào)用，直接導致AAVEV2的WETH池功能中斷，用戶無法存入或提取ETH。
審計要點：在審計時，需確保代碼（或fork）中關鍵組件的接口完全兼容。同時，盡管以上問題并不是由多鏈特性導致的原因，但是審計時仍需要注意不同鏈的特性下是否會造成非預期的結果。DustTokens問題
AAVE的存款和取款會通過setUsingAsCollateral函數(shù)設置usingAsCollateral來實現(xiàn)，從而靈活地管理抵押策略。當外部協(xié)議或合約通過AAVE借貸函數(shù)第一次借入資金時，借貸函數(shù)會將usingAsCollateral設置為true。當外部協(xié)議或合約從AAVE完全提取資金時，AAVE中協(xié)議處理程序的usingAsCollateral狀態(tài)將被設置為false。但實際上，AAVE在計算取款需要燒掉的aToken數(shù)量時，此時如果由于算術精度誤差，協(xié)議處理程序中可能還有極少的aToken剩余。因此，當協(xié)議處理程序下次向AAVE存款時，usingAsCollateral將不會變動，依然設置為true，由于協(xié)議處理程序合約中沒有調(diào)用setUserUseReserveAsCollateral函數(shù)的接口，這可能導致協(xié)議處理程序無法再執(zhí)行借款操作。
審計要點：在審計時，需要對所調(diào)用的協(xié)議有充分的熟悉度，充分了解其特性的情況下，判斷是否對于其與外部協(xié)議交互存在一定的兼容性問題，如Tokens兼容性、調(diào)用實現(xiàn)邏輯兼容性等。
寫在最后
本手冊深入探討了AAVEV2協(xié)議的核心設計、關鍵功能及相關審計要點，我們希望該手冊可以更好地幫助開發(fā)人員和安全研究人員識別潛在風險并確保協(xié)議的安全運行。由于篇幅限制，本文省略了部分代碼和圖片，讀者可點擊文末的閱讀原文跳轉至GitHub閱讀完整版(https://github.com/slowmist/AAVE-V2-Security-Audit-Checklist)。
免責聲明:慢霧：AAVE V2 安全審計手冊文章轉發(fā)自互聯(lián)網(wǎng)，版權歸其所有。
文章內(nèi)容不代表本站立場和任何投資暗示。加密貨幣市場極其波動，風險很高，可能不適合所有投資者。在投資加密貨幣之前，請確保自己充分了解市場和投資的風險，并考慮自己的財務狀況和風險承受能力。此外，請遵循您所在國家的法律法規(guī)，以及遵守交易所和錢包提供商的規(guī)定。對于任何因使用加密貨幣所造成的投資損失或其他損失，本站不承擔任何責任。
2025-4-27
2025-4-27
2025-4-27
2025-4-27
2025-4-27
2025-4-27
2025-4-27
2025-4-27
2025-4-02
2025-4-27
Copyright © 2021.Company 元宇宙YITB.COM All rights reserved.元宇宙YITB.COM