🎙 代碼背後：@SquadsProtocol 如何以安全爲核心構建 v4

我們與 @SimkinStepan（Squads Labs 的首席執行官）和 @BasedOrion_ 坐下來討論他們爲何選擇正式驗證，以及這如何揭示了關鍵的安全漏洞：

“Certora 在我們的交易緩衝邏輯中發現了複雜的拒絕服務（DoS）風險。惡意行爲者可能會凍結關鍵功能。”

觀看發現過程 ↓