Add v3.0.1 audits and formal verification date (#794)

Author: je55g

README.md

@@ -31,16 +31,20 @@ See the link to the technical paper or visit the Aave Developer docs
 ## Audits and Formal Verification
 You can find all audit reports under the audits folder
 
-Round 1 - October 2021
+V3.0.1 - December 2022
+- [PeckShield](./audits/09-12-2022_PeckShield_AaveV3-0-1.pdf)
+- [SigmaPrime](./audits/23-12-2022_SigmaPrime_AaveV3-0-1.pdf)
+
+V3 Round 1 - October 2021
 - [ABDK](./audits/27-01-2022_ABDK_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
+V3 Round 2 - December 2021
 - [SigmaPrime](./audits/27-01-2022_SigmaPrime_AaveV3.pdf)
 
-Formal Verification
+Formal Verification - November 2021-January 2022
 - [Certora](./Certora/certora/Verification_Report.pdf)
 
 ## Connect with the community