Squads Smart Account Program

Certora28 Jan 2025Code version: not recorded (see the report)

Audit · firm’s term: security assessment & formal verification · Includes formal verification

Certora reviewed Squads (Squads Smart Account Program) on 28 Jan 2025: 2 findings, 0 critical; all acknowledged, none fixed.

No open critical findings

Open the report Open Squads’s security record

Report hosted on GitHub.

Trustblock does not review code.

Findings7

Statuses are the security firm’s own, from its report.

Severity	Open	Acknowledged	Fixed
Critical	0	0	0
High	0	0	0
Medium	0	1	0
Low	0	1	0

Marked Informational by the firm. Not counted as findings.

InformationalRedundant checksOpen

The report gives no description here.

InformationalMismatched numerical types between threshold and num_signers parametersAcknowledged

The report gives no description here.

Informationalrealloc_if_needed function refactorFixed

The report gives no description here.

InformationalRefactor checks on proposal status in transaction_close.rsFixed

The report gives no description here.

InformationalTerminology and TyposFixed

The report gives no description here.

Contracts in scope

No deployed address is recorded for this audit.

The report names a repository or files. Open the report to see its scope.

Part of Squads’s security record

Squads

Audits2 audits by 1 firmLast audit Jan 2025, by Certora.

Critical findingsNo open critical findingsAcross 2 reports.

Open Squads’s security record

Security firm

Certora

29 projects reviewed · 56 reports · latest Aug 2026

See Certora’s audits

Something wrong on this page? A missing report, a wrong date, a finding that was fixed since. Tell us and we check it against its source.