提升鏈上金融安全性 ― 共同啟動利用 AI 代理進行 DeFi 協議「安全韌性檢查」的概念驗證
Key facts
- 提升鏈上金融安全性 ― 共同啟動利用 AI 代理進行 DeFi 協議「安全韌性檢查」的概念驗證
- Allied Architects 與 Nyx Foundation 合作，啟動利用 AI 代理進行 DeFi 協議安全韌性驗證的概念驗證（PoC），旨在建立一套包含營運與配置風險在內的全面評估方法。
- Source: PR Times
- Date: 2026年6月10日
Direct answer
Allied Architects 與 Nyx Foundation 合作，啟動利用 AI 代理進行 DeFi 協議安全韌性驗證的概念驗證（PoC），旨在建立一套包含營運與配置風險在內的全面評估方法。
- Citation
- 提升鏈上金融安全性 ― 共同啟動利用 AI 代理進行 DeFi 協議「安全韌性檢查」的概念驗證 (2026年6月10日), PR Times
- Source
- PR Times
- Date
- 2026年6月10日
Allied Architects 與 Nyx Foundation 合作，啟動利用 AI 代理進行 DeFi 協議安全韌性驗證的概念驗證（PoC），旨在建立一套包含營運與配置風險在內的全面評估方法。
📋 文章處理履歷
- 📰 發表: 2026年6月10日 20:30
- 🔍 收集: 2026年6月10日 11:51
- 🤖 AI分析完成: 2026年6月10日 11:55（收集後4分鐘）
Allied Architects, Inc. 將與 Nyx Foundation 合作，利用 AI 代理來驗證 DeFi（去中心化金融）協議的安全韌性，並正式啟動概念驗證（PoC）。
隨著鏈上金融市場的擴大，確保安全性已成為重大課題。本 PoC 將使用 AI 漏洞檢測系統「SPECA」及形式驗證代理，針對從程式碼邏輯到營運與治理進行安全評估。目標是建立一套客觀且具備可解釋性的評估方法，使上市公司與機構投資者能夠放心參與市場。
【背景】
DeFi 的總鎖定價值（TVL）與穩定幣市值正在急劇增長，傳統金融資金亦正湧入鏈上。然而，僅聚焦程式碼的驗證已不足夠，營運與設定所引起的風險成為關鍵挑戰。例如，2026 年 4 月發生於 LayerZero 的約 2.9 億美元規模漏洞攻擊，並非源於程式碼缺陷，而是歸因於配置與營運錯誤。
【結構性課題】
傳統審計面臨以下課題：
- 審計常呈點狀與人為化，難以在版本更新時確保品質。
- 僅限於單一協議評估，無法對應跨協議交易的現狀。
- 缺乏對最大損失額的量化與問責制。
【PoC 概述】
本 PoC 將實證新方法在「預見性」（量化最大損失額）與「問責性」（可驗證的判斷依據）上的有效性。將選定具代表性的 DeFi 協議進行評估。
隨著鏈上金融市場的擴大，確保安全性已成為重大課題。本 PoC 將使用 AI 漏洞檢測系統「SPECA」及形式驗證代理，針對從程式碼邏輯到營運與治理進行安全評估。目標是建立一套客觀且具備可解釋性的評估方法，使上市公司與機構投資者能夠放心參與市場。
【背景】
DeFi 的總鎖定價值（TVL）與穩定幣市值正在急劇增長，傳統金融資金亦正湧入鏈上。然而，僅聚焦程式碼的驗證已不足夠，營運與設定所引起的風險成為關鍵挑戰。例如，2026 年 4 月發生於 LayerZero 的約 2.9 億美元規模漏洞攻擊，並非源於程式碼缺陷，而是歸因於配置與營運錯誤。
【結構性課題】
傳統審計面臨以下課題：
- 審計常呈點狀與人為化，難以在版本更新時確保品質。
- 僅限於單一協議評估，無法對應跨協議交易的現狀。
- 缺乏對最大損失額的量化與問責制。
【PoC 概述】
本 PoC 將實證新方法在「預見性」（量化最大損失額）與「問責性」（可驗證的判斷依據）上的有效性。將選定具代表性的 DeFi 協議進行評估。
常見問題
アライドアーキテクツとNyx Foundationが開始した実証実験の目的は何ですか？
AIエージェントを活用し、DeFiプロトコルのセキュリティ耐性を検証することで、上場企業や機関投資家が安心してオンチェーン金融に参入できる、客観的で説明可能な評価手法を確立することです。
実証実験で使用される主な技術は何ですか？
AIバグ発見システム「SPECA（Specification-to-Checklist Agentic Auditing）」および形式検証エージェントを使用します。
なぜコード中心の検証だけでは不十分なのですか？
LayerZeroの事例のように、脆弱性の多くがコードの欠陥ではなく、運用や構成設定、人間による設定ミスといった「プロトコル外」の要因から発生しているためです。
実証実験が目指す評価の改善点は何ですか？
スポット的・属人的な監査から脱却し、継続的かつ再現可能な評価を行うこと、および最大損失額の定量化や第三者が検証可能な判断根拠（説明責任）を提供することを目指します。
対象となるDeFiカテゴリーはどのようなものですか？
具体的なカテゴリー名は挙げられていませんが、オンチェーン金融における代表的なDeFiプロトコルを選定し、評価対象とします。