Conducted from January 7 to January 28, 2025, Certora’s review of the Squads Smart Account Program v0.1 combines formal verification using the Certora Prover with an in-depth manual code review. The following report provides details of the findings and reviews.