diff --git a/README.md b/README.md index 9b99b38a..81b40bf9 100644 --- a/README.md +++ b/README.md @@ -61,7 +61,7 @@ The following are the security procedures historically applied to Aave v3.X vers - [Trail of Bits](./audits/07-01-2022_TrailOfBits_AaveV3.pdf) - [Peckshield](./audits/14-01-2022_PeckShield_AaveV3.pdf) - [SigmaPrime](./audits/27-01-2022_SigmaPrime_AaveV3.pdf) -- [Certora](./certora/Aave_V3_Formal_Verification_Report_Jan2022.pdf) +- [Certora](./audits/24_01_2022_Certora_AaveV3)
@@ -69,6 +69,7 @@ The following are the security procedures historically applied to Aave v3.X vers - [PeckShield](./audits/09-12-2022_PeckShield_AaveV3-0-1.pdf) - [SigmaPrime](./audits/23-12-2022_SigmaPrime_AaveV3-0-1.pdf) +- [Certora](./audits/25-12-2022_Certora_AaveV3.0.1)
diff --git a/audits/24_01_2022_Certora_AaveV3.pdf b/audits/24_01_2022_Certora_AaveV3.pdf new file mode 100644 index 00000000..4e2907f9 Binary files /dev/null and b/audits/24_01_2022_Certora_AaveV3.pdf differ diff --git a/audits/25-12-2022_Certora_AaveV3.0.1.pdf b/audits/25-12-2022_Certora_AaveV3.0.1.pdf new file mode 100644 index 00000000..9ceadfc2 Binary files /dev/null and b/audits/25-12-2022_Certora_AaveV3.0.1.pdf differ