アライドアーキテクツとNyx Foundationが開始した実証実験の目的は何ですか？

AIエージェントを活用し、DeFiプロトコルのセキュリティ耐性を検証することで、上場企業や機関投資家が安心してオンチェーン金融に参入できる、客観的で説明可能な評価手法を確立することです。

実証実験で使用される主な技術は何ですか？

AIバグ発見システム「SPECA（Specification-to-Checklist Agentic Auditing）」および形式検証エージェントを使用します。

LayerZeroの事例のように、脆弱性の多くがコードの欠陥ではなく、運用や構成設定、人間による設定ミスといった「プロトコル外」の要因から発生しているためです。

スポット的・属人的な監査から脱却し、継続的かつ再現可能な評価を行うこと、および最大損失額の定量化や第三者が検証可能な判断根拠（説明責任）を提供することを目指します。

具体的なカテゴリー名は挙げられていませんが、オンチェーン金融における代表的なDeFiプロトコルを選定し、評価対象とします。

AI News NQ Analysis

NQ 評分 86/100

N1 內容完整性 9

提升鏈上金融安全性 ― 共同啟動利用 AI 代理進行 DeFi 協議「安全韌性檢查」的概念驗證
Allied Architects 與 Nyx Foundation 合作，啟動利用 AI 代理進行 DeFi 協議安全韌性驗證的概念驗證（PoC），旨在建立一套包含營運與配置風險在內的全面評估方法。
Source: PR TIMES
Date: Wed Jun 10 2026 20:30:02 GMT+0900 (Japan Standard Time)

Allied Architects 與 Nyx Foundation 合作，啟動利用 AI 代理進行 DeFi 協議安全韌性驗證的概念驗證（PoC），旨在建立一套包含營運與配置風險在內的全面評估方法。

Citation: 提升鏈上金融安全性 ― 共同啟動利用 AI 代理進行 DeFi 協議「安全韌性檢查」的概念驗證 (Wed Jun 10 2026 20:30:02 GMT+0900 (Japan Standard Time)), PR TIMES
Source: PR TIMES
Date: Wed Jun 10 2026 20:30:02 GMT+0900 (Japan Standard Time)

Allied Architects 與 Nyx Foundation 合作，啟動利用 AI 代理進行 DeFi 協議安全韌性驗證的概念驗證（PoC），旨在建立一套包含營運與配置風險在內的全面評估方法。

Q: アライドアーキテクツとNyx Foundationが開始した実証実験の目的は何ですか？: A: AIエージェントを活用し、DeFiプロトコルのセキュリティ耐性を検証することで、上場企業や機関投資家が安心してオンチェーン金融に参入できる、客観的で説明可能な評価手法を確立することです。
Q: 実証実験で使用される主な技術は何ですか？: A: AIバグ発見システム「SPECA（Specification-to-Checklist Agentic Auditing）」および形式検証エージェントを使用します。
Q: なぜコード中心の検証だけでは不十分なのですか？: A: LayerZeroの事例のように、脆弱性の多くがコードの欠陥ではなく、運用や構成設定、人間による設定ミスといった「プロトコル外」の要因から発生しているためです。
Q: 実証実験が目指す評価の改善点は何ですか？: A: スポット的・属人的な監査から脱却し、継続的かつ再現可能な評価を行うこと、および最大損失額の定量化や第三者が検証可能な判断根拠（説明責任）を提供することを目指します。
Q: 対象となるDeFiカテゴリーはどのようなものですか？: A: 具体的なカテゴリー名は挙げられていませんが、オンチェーン金融における代表的なDeFiプロトコルを選定し、評価対象とします。