🎙 代码背后：@SquadsProtocol 如何以安全为核心构建 v4

我们与 @SimkinStepan（Squads Labs 的首席执行官）和 @BasedOrion_ 坐下来讨论他们为何选择正式验证，以及这如何揭示了关键的安全漏洞：

“Certora 在我们的交易缓冲逻辑中发现了复杂的拒绝服务（DoS）风险。恶意行为者可能会冻结关键功能。”

观看发现过程 ↓