🎙 Por Trás do Código: Como @SquadsProtocol Construiu a v4 com Segurança no Seu Núcleo

Sentamos com @SimkinStepan (CEO da Squads Labs) & @BasedOrion_ para discutir por que escolheram a verificação formal e como isso revelou vulnerabilidades críticas:

"A Certora encontrou riscos sofisticados de DoS em nossa lógica de buffer de transações. Um ator malicioso poderia ter congelado funções críticas.”

Assista à descoberta em ação ↓