スマートコントラクトのセキュリティにおける経済的非対称性は、常に厳しく続いてきた。 攻撃者はAPI呼び出し1回で済むが、防御側はエンジニア1週間分の労力を費やす。 形式的検証は、理論的には常に正しい答えだった。 しかし、仕様を手動で記述するのは遅く、高コストであるため、スケールしなかった。 @wgrieskampが構築したものは、この障壁を打ち破る。 → Claude CodeはMCPを通じてMove Proverと連携 → AIが仕様を生成 → プルーバーが数学的に検証 → 検証が成功するまで精緻化を繰り返す 退屈な部分は自動化され、厳密な部分はそのまま厳密に保たれる。 この仕組みが有効であることを証明するのに最適なターゲットは@DecibelTradeだ：注文マッチング、証拠金ロジック、清算、資金調達率。 @wgrieskampによる完全な解説は、あなたの時間を価値あるものにする👇🏻