Merge pull request #608 from aave/chore/add-audit-reports-607

add audits round 1 v3
aave · Jan 27, 2022 · 09b0b3b · 09b0b3b
2 parents f9251cf + e51a41f
commit 09b0b3b
Show file tree

Hide file tree

Showing 12 changed files with 14 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -26,9 +26,21 @@ Aave is a decentralized non-custodial liquidity markets protocol where users can
 
 [Pending]
 
-## Audits
+## Audits and Formal Verification
+You can find all audit reports under the audits folder
 
-[Pending]
+Round 1 - October 2021
+- [ABDK [Draft]](./audits/27-01-2022_SigmaPrime_AaveV3.pdf)
+
+- [OpenZeppelin](./audits/01-11-2021_OpenZeppelin_AaveV3.pdf)
+- [Trail of Bits](./audits/07-01-2022_TrailOfBits_AaveV3.pdf)
+- [Peckshield](./audits/14-01-2022_PeckShield_AaveV3.pdf)
+
+Round 2 - December 2021
+- [SigmaPrime[Draft]](./audits/27-01-2022_SigmaPrime_AaveV3.pdf)
+
+Formal Verification
+- [Certora](./Certora/certora/Verification_Report.pdf)
 
 ## Connect with the community
 

diff --git a/audits/01-11-2021_OpenZeppelin_AaveV3.pdf b/audits/01-11-2021_OpenZeppelin_AaveV3.pdf
diff --git a/audits/07-01-2022_TrailOfBits_AaveV3.pdf b/audits/07-01-2022_TrailOfBits_AaveV3.pdf
diff --git a/audits/14-01-2022_PeckShield_AaveV3.pdf b/audits/14-01-2022_PeckShield_AaveV3.pdf
diff --git a/audits/27-01-2022_ABDK_AaveV3.pdf b/audits/27-01-2022_ABDK_AaveV3.pdf
diff --git a/audits/27-01-2022_SigmaPrime_AaveV3.pdf b/audits/27-01-2022_SigmaPrime_AaveV3.pdf
diff --git a/audits/Certik-aave-v2-03-12-2020.pdf b/audits/Certik-aave-v2-03-12-2020.pdf
diff --git a/audits/Certora-FV-aave-v2-03-12-2020.pdf b/audits/Certora-FV-aave-v2-03-12-2020.pdf
diff --git a/audits/Mixbytes-aave-v2-03-12-2020.pdf b/audits/Mixbytes-aave-v2-03-12-2020.pdf
diff --git a/audits/PeckShield-aave-v2-03-12-2020-CN.pdf b/audits/PeckShield-aave-v2-03-12-2020-CN.pdf
diff --git a/audits/Peckshield-aave-v2-03-12-2020-EN.pdf b/audits/Peckshield-aave-v2-03-12-2020-EN.pdf
diff --git a/audits/SigmaPrime-aave-v2-01-2021.pdf b/audits/SigmaPrime-aave-v2-01-2021.pdf