🎙 Detrás del Código: Cómo @SquadsProtocol Construyó v4 con la Seguridad en su Núcleo

Nos sentamos con @SimkinStepan (CEO de Squads Labs) & @BasedOrion_ para discutir por qué eligieron la verificación formal y cómo esta descubrió vulnerabilidades críticas:

"Certora encontró riesgos sofisticados de DoS en la lógica de nuestro buffer de transacciones. Un actor malicioso podría haber congelado funciones críticas."

Mira el descubrimiento en acción ↓