> ## 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.

# Audits

> Independent security audits and formal verification reports for Safe smart contracts and core modules.

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:

## Safe Smart Account audits

* [Safe v1.5.0](https://github.com/safe-fndn/safe-smart-account/blob/v1.5.0/docs/audit_1_5_0.md)
* [Safe v1.4.0](https://github.com/safe-fndn/safe-smart-account/blob/v1.4.0/docs/audit_1_4_0.md)
* [Safe v1.3.0](https://github.com/safe-fndn/safe-smart-account/blob/v1.3.0/docs/audit_1_3_0.md)
* [Safe v1.2.0](https://github.com/safe-fndn/safe-smart-account/blob/v1.2.0/docs/audit_1_2_0.md)
* [Safe v1.1.0 & v1.1.1](https://github.com/safe-fndn/safe-smart-account/blob/v1.1.1/docs/audit_1_1_1.md)
* [Safe v1.0.0 (formal verification)](https://github.com/safe-fndn/safe-smart-account/blob/v1.1.1/docs/Gnosis_Safe_Formal_Verification_Report_1_0_0.pdf)
* [Safe v0.0.1](https://github.com/safe-fndn/safe-smart-account/blob/v1.1.1/docs/alexey_audit.md)

## Module audits

* [Allowance Module v1.0.0](https://github.com/safe-fndn/safe-modules/blob/main/modules/allowances/docs/v1.0.0/audit.md)
* [Allowance Module v0.1.0](https://github.com/safe-fndn/safe-modules/blob/main/modules/allowances/docs/v0.1.0/audit-report-g0.md)
* [Safe 4337 Module v0.3.0](https://github.com/safe-fndn/safe-modules/blob/main/modules/4337/docs/v0.3.0/audit.md)
* [Safe 4337 Module v0.2.0](https://github.com/safe-fndn/safe-modules/blob/main/modules/4337/docs/v0.2.0/audit.md)
* [Safe 4337 Module v0.1.0](https://github.com/safe-fndn/safe-modules/blob/main/modules/4337/docs/v0.1.0/audit.md)
* [Safe Passkey Module v0.2.1](https://github.com/safe-fndn/safe-modules/blob/main/modules/passkey/docs/v0.2.1/audit.md)
* [Safe Passkey Module v0.2.0](https://github.com/safe-fndn/safe-modules/blob/main/modules/passkey/docs/v0.2.0/audit.md)
* [Social Recovery Module v0.1.0](https://github.com/safe-fndn/safe-modules/blob/main/modules/recovery/docs/v0.1.0/audit.md)

## Bug bounty

If you discover a security issue, please report it responsibly.

Contact us via email at [bounty@safefoundation.org](mailto:bounty@safefoundation.org) or learn more about our [bug bounty program](/security/bug-bounty).