加利福尼亞州聖地亞哥 - 2025 年 2 月 27 日 - 第 32 屆網絡與分佈式系統安全研討會（NDSS 2025）將其備受矚目的「傑出論文獎」授予了《PropertyGPT：通過檢索增強屬性生成的 LLM 驅動的智能合約形式化驗證》。這項開創性的研究由 MetaTrust Labs 和 AgentLayer 的研究人員與頂尖學術機構合作完成，引入了一種利用大型語言模型（LLM）來自動化和增強形式化驗證流程的創新方法。
PropertyGPT 通過自動化創建全面的驗證屬性來解決區塊鏈安全中的一個關鍵缺口——這以前是一個手動的、專家驅動的過程。該技術已通過 AgentLayer 的去中心化 AI 網絡成功實施，標誌著智能合約安全方式的重大進步。
「PropertyGPT 不僅解決了傳統形式化驗證的效率瓶頸，還通過 AgentLayer 的分佈式架構實現了可擴展的應用，」新加坡南洋理工大學網絡安全研究中心執行主任、AgentLayer 聯合創始人劉楊教授表示。「我們的方法證明了 LLM 可以顯著改進形式化驗證流程，使其更加易於訪問和全面。」
技術創新與影響
PropertyGPT 利用最先進的 LLM 的情境學習能力，將現有手工編寫屬性的知識轉移到為新的智能合約代碼生成定製的安全規範。該系統採用了多種尖端技術：
- 檢索增強生成技術，結合 LLM 的語義理解與通過向量數據庫檢索歷史漏洞數據
- 編譯器和靜態分析反饋循環，以迭代改進屬性質量
- 多維度相似性評估，用於屬性排名和選擇
- 專用證明器，用於生成屬性的形式化驗證
在廣泛的測試中，PropertyGPT 實現了與專家生成屬性相比令人印象深刻的 80% 召回率。該系統成功檢測了 37 個測試案例中的 26 個已知漏洞，並發現了 12 個以前未知的安全缺陷，獲得了 8,256 美元的漏洞賞金獎勵。
AgentLayer 集成與行業影響
AgentLayer 已將其自主研發的 AI Agent 與 PropertyGPT 集成，以優化智能合約的自動化驗證流程。實驗表明，該工具在 DeFi 和 Web3 場景中，將複雜合約的漏洞檢測效率提高了 40%。
NDSS 評審委員會稱讚這一成就為「為智能合約安全提供了可實施的範式升級。」
戰略合作
MetaTrust Labs與AgentLayer之間的合作代表了通過先進AI技術增強區塊鏈安全的重大承諾。未來計劃包括：
- 推出更多結合MetaTrust Labs在智能合約安全方面的專業知識與AgentLayer在AI技術方面的創新的尖端AI產品
- 為區塊鏈應用開發專門的AI Agent
- 構建更 robust 的去中心化AI生態系統
關於NDSS研討會
由互聯網協會主辦超過30年的NDSS研討會已發展成為全球領先的安全會議之一。最初是網絡與分佈式系統安全研討會，該會議彙集了來自全球數百名安全教育者、研究人員和從業者，以推進實用安全技術的發展。
關於研究團隊
合作團隊包括來自MetaTrust Labs、AgentLayer、新加坡管理大學、香港科技大學和新加坡南洋理工大學的研究人員：Ye Liu（SMU, AgentLayer）, Yue Xue (MetaTrust Labs), Daoyuan Wu (HKUST, AgentLayer), Yuqiang Sun (NTU), Yi Li (NTU), Miaolei Shi (MetaTrust Labs), and Yang Liu (NTU, AgentLayer).
關於MetaTrust Labs
MetaTrust Labs是一個領先的Web3安全平臺，為區塊鏈開發者提供AI驅動的解決方案。在新加坡南洋理工大學誕生，它提供自動安全掃描、智能合約審計和簡化安全管理的工具。MetaTrust Labs正在塑造安全Web3基礎設施的未來。
關於AgentLayer
AgentLayer正在開創去中心化AI的未來，推出了世界上第一個為自主AI Agent設計的區塊鏈網絡。通過將尖端AI能力與區塊鏈技術無縫集成，AgentLayer使開發者和企業能夠大規模構建、部署和交易智能Agent。
歡迎加入律動 BlockBeats 官方社群：
Telegram 訂閱群：https://t.me/theblockbeats
Telegram 交流群：https://t.me/BlockBeats_App
Twitter 官方賬號：https://twitter.com/BlockBeatsAsia
