APPLICATIONS
the protocol
At Squads Labs we are driven by security first development approach. One of the key measures we take to ensure security and mathematical integrity of our codebase is formal verification. Squads Protocol is formally verified
We strongly believe that core primitives existing on open and permissionless networks should be made immutable as soon as practically possible. We are committed to making Squads Protocol programs immutable within months of public release
We work with the best auditors in the space, such as Neodyme, OtterSec and Trail of Bits
Our codebase is always open and available for anyone to review
Our programs are written in Anchor, a development framework that allows to build more secure programs on Solana