Merge pull request #13 from Certora/certora-squashed

Certora review: add report
aave-dao · May 2, 2024 · 572e895 · 572e895
2 parents 1af1fc9 + ab962e2
commit 572e895
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git 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