Certora review: add report

Certora · Apr 30, 2024 · ab962e2 · ab962e2
1 parent 1af1fc9
commit ab962e2
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