Program audits examine code. Formal verification checks specified properties under stated assumptions. SOC 2 reports examine organizational controls within a defined scope.
Scope | Independent assessment |
Smart Account Program | Certora has formally verified specified properties. Public reports are available from Certora and OtterSec. |
External Signature Program | Audited by Accretion and OtterSec. |
Organizational controls | Squads has SOC 2 Type I and Type II reports. Report access and scope information are available through the Squads Trust Center. |
Audits and formal verification apply to the code revisions and scope identified in each report. They do not establish the correctness of every surrounding service, the authenticity of an invoice or the accuracy of a payment display.