Passkey Audit Report Added

[remedcu]

This PR adds the Passkey Audit (v0.2.1) done by Certora to the Passkey modules folder.

Fixes #460

[coveralls]

Pull Request Test Coverage Report for Build 10214008636

Details

• 0 of 0 changed or added relevant lines in 0 files are covered.
• No unchanged relevant lines lost coverage.
• Overall coverage remained the same at 100.0%

---

Totals
Change from base Build 10158413431:	0.0%
Covered Lines:	92
Relevant Lines:	92

---

💛 - Coveralls