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
OpenZeppelin
01-11-2021
Trail of Bits
07-01-2022
Peckshield
14-01-2022

Audit Round 2

Auditor
Date
Report
SigmaPrime
27-01-2022

Formal Verification

Formal verification by Certora