Squads Docs
Security
Squads
Security
Development
SquadsX Beta (Development)
Squads Legacy (v3)
More
Ask or Search
Ctrl + K
Squads Protocol v3
Previous
Squads Protocol v4
Next
Bug bounty
Last updated
10 months ago
OtterSec Formal Verification
https://osec.io/blog/2023-01-26-formally-verifying-solana-programs#case-study-squads-multisig