🎙 Behind the Code: How @SquadsProtocol Built v4 with Security at its Core

We sat down with @SimkinStepan (CEO of Squads Labs) & @BasedOrion_ to discuss why they chose formal verification and how it uncovered critical vulnerabilities:

"Certora found sophisticated DoS risks in our transaction buffer logic. A malicious actor could have frozen critical functions.”

Watch the discovery in action ↓