Security & Audits
Aave has been implemented with security as priority. The system has been designed to be safe and secure, and we have spent all the necessary resources in order to ensure that the protocol matches the highest security standards.
Below are the links to all audit reports and formal verification for Aave V3

Audit Round 1

Auditor
Date
Report
ABDK
27-01-2022
​ABDK_AaveV3​
OpenZeppelin
01-11-2021
​OpenZeppelin_AaveV3​
Trail of Bits
07-01-2022
​TrailOfBits_AaveV3​
Peckshield
14-01-2022
​PeckShield_AaveV3​
​

Audit Round 2

Auditor
Date
Report
SigmaPrime
27-01-2022
​SigmaPrime_AaveV3​
​

Formal Verification

Formal verification by Certora​