 |
 |
|
|
|
|
当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。
|
|||||||||||
 |
|||||||||||
 |
| 推荐文章 |
| 图片主题 | ||||
|
|
||||
| 热门文章 |
| 最新文章 |
| 相关文章 |
|
|
