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

AIエージェントを活用し、DeFiプロトコルのセキュリティ耐性を検证することで、上场企业や机関投资家が安心してオンチェーン金融に参入できる、客観的で说明可能な评価手法を确立することです。

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

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

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

スポット的・属人的な监查から脱却し、継続的かつ再现可能な评価を行うこと、および最大损失额の定量化や第三者が検证可能な判断根拠（说明责任）を提供することを目指します。

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

AI News NQ Analysis

提升链上金融安全性 ― 共同启动利用 AI 代理进行 DeFi 协议「安全韧性检查」的概念验证
Allied Architects 与 Nyx Foundation 合作，启动利用 AI 代理进行 DeFi 协议安全韧性验证的概念验证（PoC），旨在创建一套包含营运与配置风险在内的全面评估方法。
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)

尚無 AI 分析資料。

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