v1.5.0 Audit (#912)

This pull request includes documentation updates related to the audit results for version 1.5.0. The changes provide details about the audit process, including the auditor, notes on the audit, and the final audit report file. Documentation updates: * [`docs/audit_1_5_0.md`](diffhunk://#diff-16a7a881e174c77f794e98d3b228ce159cbc145d6541b331ef2f90bd3c2616bcR1-R15): Added a new section titled "Audit Results" which includes information about the auditor (Certora), notes on the audit, and a link to the final audit report for version 1.5.0.
safe-global · Feb 18, 2025 · a1e7f4a · a1e7f4a
1 parent 88d77ad
commit a1e7f4a
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 0 deletions.
diff --git a/docs/Safe_Audit_Report_1_5_0.pdf b/docs/Safe_Audit_Report_1_5_0.pdf
diff --git a/docs/audit_1_5_0.md b/docs/audit_1_5_0.md
@@ -0,0 +1,15 @@
+### Audit Results
+
+##### Auditor
+
+-   Certora (https://www.certora.com/)
+
+##### Notes
+
+The final audit was performed on commit [1c8b24a0a438e8c2cd089a9d830d1688a47a28d5](https://github.com/safe-global/safe-smart-account/tree/1c8b24a0a438e8c2cd089a9d830d1688a47a28d5).
+
+There has been few bugfixes and gas optimization based changes.
+
+##### Files
+
+-   [Final Audit Report 1.5.0](Safe_Audit_Report_1_5_0.pdf)