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: