diff --git a/README.md b/README.md index 370a139e..36313608 100644 --- a/README.md +++ b/README.md @@ -80,7 +80,7 @@ The following are the security procedures historically applied to Aave v3.X vers **-> Aave v3.1 - April 2024** -- [Certora](./) TBA +- [Certora](./audits/30-04-2024_Certora_AaveV3.1.pdf) - [MixBytes](./) TBA - An internal review by [SterMi](https://twitter.com/stermi) on the virtual accounting feature was conducted on an initial phase of the codebase. - Additionally, Certora properties have been improved over time since the Aave v3 release. More details [HERE](./certora/README.md). diff --git a/audits/30-04-2024_Certora_AaveV3.1.pdf b/audits/30-04-2024_Certora_AaveV3.1.pdf new file mode 100644 index 00000000..cff38994 Binary files /dev/null and b/audits/30-04-2024_Certora_AaveV3.1.pdf differ