Links
Comment on page

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.0.1

V3.0.1 Audits

Auditor
Audit Type
Date
Smart Contract
12-23-2022
Certora
Formal Verification
11-17-2022 - 12-15-2022
Smart Contract
12-09-2022

V3 Audits

Auditor Report
Audit Type
Date
ABDK
Smart Contract
01-27-2022
Smart Contract
01-27-2022
Certora
Formal Verification
11-12-2021 - 01-24-2022
Smart Contract
01-14-2022
Smart Contract
01-07-2022
Smart Contract
01-11-2021