當AI遇到形式化驗證：AgentLayer研究團隊重要發現

（原標題：當AI遇到形式化驗證：AgentLayer研究團隊重要發現）

加利福尼亞州聖地亞哥 - 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評審委員會稱讚這一成就爲“爲智能合約安全提供了可實施的範式升級。”

圖中領獎者：Ye Liu（SMU, AgentLayer Researcher）

戰略合作

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。