Security
Audit reports, formal verification and security resources for every Aave version.
V4 Audits
View ContractsCollaborative Audit Report
May 14 2026Sherlock
Security Audit
Feb 19 2026ChainSecurity
Security Audit – Tokenization Spoke
Feb 10 2026ChainSecurity
Security Review
Feb 10 2026Trail of Bits
Collaborative Audit Report
Feb 05 2026Sherlock
Security Review
Oct 20 2025Blackthorn
V3.7 Audits
View ContractsSecurity Review
Mar 31 2026Enigma
Supervised Security Review
Mar 30 2026Savant
Security Assessment & Formal Verification
Mar 29 2026Certora
Security Review
Mar 27 2026Pashov
Security Audit Report
Mar 26 2026MixBytes
Audit Contest Report
Mar 26 2026Sherlock
V3.6 Audits
View ContractsSecurity Review
Nov 29 2025Pashov
Security Assessment & Formal Verification
Nov 18 2025Certora
Security Audit Report
Nov 18 2025MixBytes
Supervised Security Review
Nov 18 2025Savant
Security Review
Nov 16 2025Blackthorn
V3.5 Audits
View ContractsSecurity Audit Report
Jul 18 2025MixBytes
Security Review
Jul 17 2025stermi
Smart Contract Audit
Jul 17 2025ABDK
Security Assessment
Jul 14 2025Certora
Umbrella Audits
View ContractsSmart Contract Security Audit
May 19 2025MixBytes
Smart Contract Security Audit
May 19 2025Ackee
Smart Contract Security Audit
Mar 2025stermi
Security Assessment & Formal Verification
Feb 2025Certora
GHO Audits
View ContractsGHO Stability Module Contract Review
Oct 23 2023Sigma Prime
GHO Smart Contract Security Assessment
Jul 06 2023Sigma Prime
GHO Smart Contract Audit
Mar 01 2023ABDK
GHO Audit V2
Nov 10 2022OpenZeppelin