Update Certora reports in readme

bgd-labs · Sep 28, 2023 · 2113a2b · 2113a2b
1 parent 18f2f80
commit 2113a2b
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -55,7 +55,8 @@ An export of storage layout changes can be found [here](./storage.md)
 **External**
 
 - [SigmaPrime report](./audits/Sigma_Prime_Aave_Safety_Module_Security_Assessment_Report_v2.pdf)
-- [Certora report](./audits/Certora_FV_Report.pdf)
+- [Certora report v1.5](./audits/Formal_Verification_Report_stk_v1_5.pdf)
+- [Certora report v3](./audits/Formal_Verification_Report_stk_v3.pdf)
 - [Certora properties](./certora/specs/)
 
 **Procedures followed**

diff --git a/certora/report/Certora_FV_Report.pdf b/certora/report/Certora_FV_Report.pdf