🎙 コードの裏側: @SquadsProtocol がセキュリティを中心に v4 を構築した方法
私たちは @SimkinStepan（Squads Labs の CEO）＆amp; @BasedOrion_ と座談し、なぜ彼らが フォーマル検証 を選んだのか、そしてそれがどのように重要な脆弱性を明らかにしたのかを議論しました:
「Certora は私たちのトランザクションバッファーロジックにおける高度な DoS リスクを発見しました。悪意のある行為者が重要な機能を凍結する可能性がありました。」
発見の様子を見てください ↓
