DeFiのセキュリティ耐性チェックを共同検証

マーケティングAX事業や資産AX事業を展開するアライドアーキテクツは6月10日、一般社団法人Nyx Foundationと共同で、AIエージェントを活用したDeFi（分散型金融）プロトコルの「セキュリティ耐性チェック」に関する実証実験を開始すると発表しました。

今回のPoC（概念実証）は、オンチェーン金融で使われるプロトコルについて、コントラクトのコードに加え、運用や設定、ガバナンス面を含めたリスクを継続的に検証する手法を試す取り組みです。Nyx FoundationのAIバグ発見システム「SPECA」などを活用し、上場企業や機関投資家がオンチェーン金融へ参入する際に求められる、客観的で説明可能な安全性評価の確立を目指します。

最大損失額や判断根拠の可視化を検証

実証では、最大損失額の定量化などを通じた「予見性」や、第三者が検証できる判断根拠を残す「説明責任」を重視します。従来の監査が単発的・属人的になりやすい点や、複数のDeFiを横断して利用する実態を十分に評価しにくい点を踏まえ、継続的で再現可能な検証方法の有効性を確認します。

役割分担では、Nyx FoundationがSPECAや形式検証エージェントの運用、出力の最終確認、検証レポートの作成を担当します。アライドアーキテクツは、上場企業の監査・ガバナンス観点からの知見提供、追加チェック項目の提案、PoC対象となるDeFiプロトコルとの連携、日本企業や投資家向けのニーズ調査などを担います。

横断評価は次段階以降での確立へ

両社はPoCの結果を踏まえ、検証パターンを蓄積し、対象プロトコルの拡大や評価手法の標準化を進める方針です。検証ログや攻撃再現コードも再利用可能な資産として積み上げ、第三者が検証・追跡できるライブラリとして公開していくとしています。

複数のDeFiを横断した評価については、今回のPoCで得る検証パターンを土台に、次段階以降での確立を目指します。今回の実証では、コード監査にとどまらず、運用やガバナンスを含む安全性評価を、継続的かつ再現可能な形で実施できるかが検証されます。

公式発表：アライドアーキテクツ PR TIMES