Passkey Audit Report Added (#476)

This PR adds the Passkey Audit (`v0.2.1`) done by Certora to the Passkey `modules` folder. Fixes #460
safe-global · Aug 2, 2024 · d2def83 · d2def83
1 parent 4e697bd
commit d2def83
Show file tree

Hide file tree

Showing 3 changed files with 16 additions and 0 deletions.
diff --git a/modules/passkey/README.md b/modules/passkey/README.md
@@ -127,6 +127,8 @@ The test cases in [userstories](./test/userstories) directory demonstrates the u
 ## Audits
 
 - [For version 0.2.0 by Certora](docs/v0.2.0/audit.md)
+- [For version 0.2.1 by Hats Finance Audit Competition](docs/v0.2.1/audit-competition-report-hats.md)
+- [For version 0.2.1 by Certora](docs/v0.2.1/Safe-Certora-Passkey-Module-July-2024.pdf)
 
 ## Security and Liability
 

diff --git a/modules/passkey/docs/v0.2.1/Safe-Certora-Passkey-Module-July-2024.pdf b/modules/passkey/docs/v0.2.1/Safe-Certora-Passkey-Module-July-2024.pdf
diff --git a/modules/passkey/docs/v0.2.1/audit.md b/modules/passkey/docs/v0.2.1/audit.md
@@ -25,3 +25,17 @@ There were three low severity findings that were found as part of the competitio
 ### Files
 
 - [Final audit competition report](audit-competition-report-hats.md)
+
+## Auditor
+
+Certora (<https://www.certora.com/>).
+
+### Notes
+
+The final audit was performed on commit [c3a4d0671099c5e17fda7287b764b93f6b9801df](https://github.com/safe-global/safe-modules/tree/c3a4d0671099c5e17fda7287b764b93f6b9801df).
+
+No new issues were discovered during this audit.
+
+### Files
+
+- [Final audit report](Safe-Certora-Passkey-Module-July-2024.pdf)