MetaTrust Labs，AgentLayer與頂級學術機構合作研究獲得學術頂會大獎，在AI增強智能合約安全取得開創性突破

加州聖地牙哥 - 2025 年 2 月 27 日 - 第 32 屆網路與分散式系統安全研討會（NDSS 2025）將其備受矚目的形式「論文獎」授予了《Property Property GPT》透過增強的屬性產生形式驗證的屬性。這項開創性的研究由 MetaTrust Labs 和 AgentLayer 的研究人員與頂尖學術機構合作完成，引入了一種利用大型語言模型（LLM）來自動化和增強形式化驗證流程的創新方法。

PropertyGPT 透過自動化創建全面的驗證屬性來解決區塊鏈安全性中的關鍵缺口、這以前是一個手動缺口的專家——這以前是自動化過程的專家來解決區塊鏈安全的過程。該技術已透過 AgentLayer 的去中心化 AI 網路成功實施，標誌著智慧合約安全方式的重大進步。

「PropertyGPT 不僅解決了傳統形式化驗證的效率瓶頸，還透過 AgentLayer 的分散式架構實現了可擴展的應用，」新加坡南洋理工大學網路安全研究中心執行共同董事、AgentLayer 代表劉劉。 「我們的方法證明了 LLM 可以顯著改進形式化驗證流程，使其更加易於訪問和全面。」

技術創新與影響

為新的智能合約程式碼產生客製化的安全規範。該系統採用了多種尖端技術：

- 檢索增強生成技術，結合 LLM 的語義理解與透過向量資料庫檢索歷史漏洞資料

- 編譯器和靜態分析回饋循環，以迭代改進屬性品質

- 專用證明器，用於生成屬性的形式化驗證

在廣泛的測試中，PropertyGPT 實現了與專家生成率 80% 的特徵。該系統成功檢測了 37 個測試案例中的 26 個已知漏洞，並發現了 12 個以前未知的安全缺陷，獲得了 8,256 美元的漏洞賞金獎勵。

AgentLayer 集成與行業影響

AgentLayer 已將其自主研發的自動化流程驗證，Propertyleft;">AgentLayer 已將其自主合約的流程驗證實驗表明，該工具在 DeFi 和 Web3 場景中，將複雜合約的漏洞檢測效率提高了 40%。

NDSS 評審委員會稱讚這項成就為「為智慧合約安全提供了可實施的範式升級。」

>

策略合作

MetaTrust Labs與AgentLayer之間的合作代表了透過先進AI技術增強區塊鏈安全的重大承諾。未來計畫包括：

- 推出更多結合MetaTrust Labs在智能合約安全方面的專業知識與AgentLayer在AI技術方面的創新的尖端AIDs

- 建構更 robust 的去中心化AI生態系

由互聯網協會主辦超過30年的NDSS研討會已發展成為全球領先的安全會議之一。最初是網路與分散式系統安全研討會，該會議匯集了來自全球數百名安全教育者、研究人員和從業者，以推動實用安全技術的發展。

關於研究團隊

關於MetaTrust Labs

關於AgentLayer

原文連結