Squads Docs
Security
Squads
Security
Development
SquadsX Beta (Development)
Squads Legacy (v3)
More
Ask or Search
Ctrl + K
Squads Protocol v4
Previous
Formal Verifications
Next
Squads Protocol v3
Last updated
5 months ago
OtterSec Formal Verification
https://github.com/Squads-Protocol/v4/blob/main/audits/ottersec_squads_v4_audit_2024.pdf
Certora Formal Verification
https://github.com/Squads-Protocol/v4/blob/main/certora_security_report_and_formal_verification.pdf
