ChainCatcher reports that Squads, a multi-signature protocol in the Solana ecosystem, announced in its official blog that Squads Protocol v5 will be formally verified and will be launched on the Solana mainnet later this year. This will enable users to exercise fine-grained control over smart accounts, accelerating the adoption of smart accounts and account abstraction on Solana and SVM. The new version is said to introduce features such as synchronous transaction execution and will also include performance and memory improvements.