Security is a top priority for Safe. All core Safe smart contracts and critical modules undergo independent security audits and, where applicable, formal verification. Below is a list of publicly available audit reports for Safe Smart Accounts and the Allowance (spending limit) module:Documentation Index
Fetch the complete documentation index at: https://docs.safefoundation.org/llms.txt
Use this file to discover all available pages before exploring further.
Safe Smart Account audits
- Safe v1.5.0
- Safe v1.4.0
- Safe v1.3.0
- Safe v1.2.0
- Safe v1.1.0 & v1.1.1
- Safe v1.0.0 (formal verification)
- Safe v0.0.1
Module audits
- Allowance Module v1.0.0
- Allowance Module v0.1.0
- Safe 4337 Module v0.3.0
- Safe 4337 Module v0.2.0
- Safe 4337 Module v0.1.0
- Safe Passkey Module v0.2.1
- Safe Passkey Module v0.2.0
- Social Recovery Module v0.1.0