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

原文來源： AgentLayer

加利福尼亞州聖地牙哥- 2025年2月27日-第32届網絡與分佈式系統安全研討會（NDSS 2025）將其備受矚目的「傑出論文獎」授予了《PropertyGPT：通過檢索增强屬性生成的LLM驅動的智能合約形式化驗證》。這項開創性的研究由MetaTrust Labs和AgentLayer的研究人員與頂尖學術機構合作完成，引入了一種利用大型語言模型（LLM）來自動化和增强形式化驗證流程的創新方法。

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

PropertyGPT通過自動化創建全面的驗證内容來解决區塊鏈安全中的一個關鍵缺口——這以前是一個手動的、專家驅動的過程。該科技已通過AgentLayer的去中心化AI網絡成功實施，標誌著智慧合約安全管道的重大進步。

「PropertyGPT不僅解决了傳統形式化驗證的效率瓶頸，還通過AgentLayer的分佈式架構實現了可擴展的應用，」新加坡南洋理工大學網路安全研究中心執行主任、AgentLayer聯合創始人劉楊教授表示。「我們的方法證明了LLM可以顯著改進形式化驗證流程，使其更加易於訪問和全面。」

技術創新與影響

PropertyGPT利用最先進的LLM的情境學習能力，將現有手工編寫内容的知識轉移到為新的智慧合約程式碼生成定制的安全規範。該系統採用了多種尖端科技：

-檢索增强生成科技，結合LLM的語義理解與通過向量資料庫檢索歷史漏洞數據

-編譯器和靜態分析迴響迴圈，以反覆運算改進内容質量

-多維度相似性評估，用於内容排名和選擇

-專用證明器，用於生成内容的形式化驗證

在廣泛的測試中，PropertyGPT實現了與專家生成内容相比令人印象深刻的80%召回率。該系統成功檢測了37個測試案例中的26個已知漏洞，並發現了12個以前未知的安全缺陷，獲得了8256美元的漏洞賞金獎勵。

AgentLayer集成與行業影響

AgentLayer已將其自主研發的AI Agent與PropertyGPT集成，以優化智慧合約的自動化驗證流程。實驗表明，該工具在DeFi和Web3場景中，將複雜合約的漏洞檢測效率提高了40%。

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

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

戰略合作

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。

原文網址：https://zh.gushiio.com/zixun/3474.html