加利福尼亞州圣地亞哥 - 2025 年 2 月 27 日 - 第 32 屆網(wǎng)絡(luò)與分布式系統(tǒng)安全研討會（NDSS 2025）將其備受矚目的「杰出論文獎」授予了《PropertyGPT：通過檢索增強(qiáng)屬性生成的 LLM 驅(qū)動的智能合約形式化驗證》。這項開創(chuàng)性的研究由 MetaTrust Labs 和 AgentLayer 的研究人員與頂尖學(xué)術(shù)機(jī)構(gòu)合作完成，引入了一種利用大型語言模型（LLM）來自動化和增強(qiáng)形式化驗證流程的創(chuàng)新方法。
PropertyGPT 通過自動化創(chuàng)建全面的驗證屬性來解決區(qū)塊鏈安全中的一個關(guān)鍵缺口——這以前是一個手動的、專家驅(qū)動的過程。該技術(shù)已通過 AgentLayer 的去中心化 AI 網(wǎng)絡(luò)成功實施，標(biāo)志著智能合約安全方式的重大進(jìn)步。
「PropertyGPT 不僅解決了傳統(tǒng)形式化驗證的效率瓶頸，還通過 AgentLayer 的分布式架構(gòu)實現(xiàn)了可擴(kuò)展的應(yīng)用，」新加坡南洋理工大學(xué)網(wǎng)絡(luò)安全研究中心執(zhí)行主任、AgentLayer 聯(lián)合創(chuàng)始人劉楊教授表示。「我們的方法證明了 LLM 可以顯著改進(jìn)形式化驗證流程，使其更加易于訪問和全面。」
技術(shù)創(chuàng)新與影響
PropertyGPT 利用最先進(jìn)的 LLM 的情境學(xué)習(xí)能力，將現(xiàn)有手工編寫屬性的知識轉(zhuǎn)移到為新的智能合約代碼生成定制的安全規(guī)范。該系統(tǒng)采用了多種尖端技術(shù)：
- 檢索增強(qiáng)生成技術(shù)，結(jié)合 LLM 的語義理解與通過向量數(shù)據(jù)庫檢索歷史漏洞數(shù)據(jù)
- 編譯器和靜態(tài)分析反饋循環(huán)，以迭代改進(jìn)屬性質(zhì)量
- 多維度相似性評估，用于屬性排名和選擇
- 專用證明器，用于生成屬性的形式化驗證
在廣泛的測試中，PropertyGPT 實現(xiàn)了與專家生成屬性相比令人印象深刻的 80% 召回率。該系統(tǒng)成功檢測了 37 個測試案例中的 26 個已知漏洞，并發(fā)現(xiàn)了 12 個以前未知的安全缺陷，獲得了 8,256 美元的漏洞賞金獎勵。
AgentLayer 集成與行業(yè)影響
AgentLayer 已將其自主研發(fā)的 AI Agent 與 PropertyGPT 集成，以優(yōu)化智能合約的自動化驗證流程。實驗表明，該工具在 DeFi 和 Web3 場景中，將復(fù)雜合約的漏洞檢測效率提高了 40%。
NDSS 評審委員會稱贊這一成就為「為智能合約安全提供了可實施的范式升級。」
戰(zhàn)略合作
MetaTrust Labs與AgentLayer之間的合作代表了通過先進(jìn)AI技術(shù)增強(qiáng)區(qū)塊鏈安全的重大承諾。未來計劃包括：
- 推出更多結(jié)合MetaTrust Labs在智能合約安全方面的專業(yè)知識與AgentLayer在AI技術(shù)方面的創(chuàng)新的尖端AI產(chǎn)品
- 為區(qū)塊鏈應(yīng)用開發(fā)專門的AI Agent
- 構(gòu)建更 robust 的去中心化AI生態(tài)系統(tǒng)
關(guān)于NDSS研討會
由互聯(lián)網(wǎng)協(xié)會主辦超過30年的NDSS研討會已發(fā)展成為全球領(lǐng)先的安全會議之一。最初是網(wǎng)絡(luò)與分布式系統(tǒng)安全研討會，該會議匯集了來自全球數(shù)百名安全教育者、研究人員和從業(yè)者，以推進(jìn)實用安全技術(shù)的發(fā)展。
關(guān)于研究團(tuán)隊
合作團(tuán)隊包括來自MetaTrust Labs、AgentLayer、新加坡管理大學(xué)、香港科技大學(xué)和新加坡南洋理工大學(xué)的研究人員：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).
關(guān)于MetaTrust Labs
MetaTrust Labs是一個領(lǐng)先的Web3安全平臺，為區(qū)塊鏈開發(fā)者提供AI驅(qū)動的解決方案。在新加坡南洋理工大學(xué)誕生，它提供自動安全掃描、智能合約審計和簡化安全管理的工具。MetaTrust Labs正在塑造安全Web3基礎(chǔ)設(shè)施的未來。
關(guān)于AgentLayer
AgentLayer正在開創(chuàng)去中心化AI的未來，推出了世界上第一個為自主AI Agent設(shè)計的區(qū)塊鏈網(wǎng)絡(luò)。通過將尖端AI能力與區(qū)塊鏈技術(shù)無縫集成，AgentLayer使開發(fā)者和企業(yè)能夠大規(guī)模構(gòu)建、部署和交易智能Agent。
