This repository is a public registry of all the Aave governance proposals verified and security-reviewed by Aave DAO service providers. It will be updated with new reports as proposals enter into the Aave governance voting process.
As of 29th April 2024, Certora is the service provider of the Aave DAO writing the reports, within their engagement for services formally approved HERE
2024 Aave DAO