提升鏈上金融安全性 ― 共同啟動利用 AI 代理進行 DeFi 協議「安全韌性檢查」的概念驗證

Allied Architects, Inc. 將與 Nyx Foundation 合作，利用 AI 代理來驗證 DeFi（去中心化金融）協議的安全韌性，並正式啟動概念驗證（PoC）。

隨著鏈上金融市場的擴大，確保安全性已成為重大課題。本 PoC 將使用 AI 漏洞檢測系統「SPECA」及形式驗證代理，針對從程式碼邏輯到營運與治理進行安全評估。目標是建立一套客觀且具備可解釋性的評估方法，使上市公司與機構投資者能夠放心參與市場。

【背景】 DeFi 的總鎖定價值（TVL）與穩定幣市值正在急劇增長，傳統金融資金亦正湧入鏈上。然而，僅聚焦程式碼的驗證已不足夠，營運與設定所引起的風險成為關鍵挑戰。例如，2026 年 4 月發生於 LayerZero 的約 2.9 億美元規模漏洞攻擊，並非源於程式碼缺陷，而是歸因於配置與營運錯誤。

【結構性課題】 傳統審計面臨以下課題： - 審計常呈點狀與人為化，難以在版本更新時確保品質。 - 僅限於單一協議評估，無法對應跨協議交易的現狀。 - 缺乏對最大損失額的量化與問責制。

【PoC 概述】 本 PoC 將實證新方法在「預見性」（量化最大損失額）與「問責性」（可驗證的判斷依據）上的有效性。將選定具代表性的 DeFi 協議進行評估。