加利福尼亚州圣地亚哥 - 2025 年 2 月 27 日 - 第 32 届网络与分布式系统安全研讨会（NDSS 2025）将其备受瞩目的「杰出论文奖」授予了《PropertyGPT：通过检索增强属性生成的 LLM 驱动的智能合约形式化验证》。这项开创性的研究由 MetaTrust Labs 和 AgentLayer 的研究人员与顶尖学术机构合作完成，引入了一种利用大型语言模型（LLM）来自动化和增...

<div>加利福尼亚州圣地亚哥 - 2025 年 2 月 27 日 - 第 32 届网络与分布式系统安全研讨会（NDSS 2025）将其备受瞩目的「杰出论文奖」授予了《PropertyGPT：通过检索增强属性生成的 LLM 驱动的智能合约形式化验证》。这项开创性的研究由 MetaTrust Labs 和 AgentLayer 的研究人员与顶尖学术机构合作完成，引入了一种利用大型语言模型（LLM）来自动化和增强形式化验证流程的创新方法。<img src="https://image.blockbeats.cn/file_v6/20250303/d6653054-0120-455d-9b09-1778909d3bb7.png?x-oss-process=image/quality,q_50/format,webp" alt="">PropertyGPT 通过自动化创建全面的验证属性来解决区块链安全中的一个关键缺口——这以前是一个手动的、专家驱动的过程。该技术已通过 AgentLayer 的去中心化 AI 网络成功实施，标志着智能合约安全方式的重大进步。「PropertyGPT 不仅解决了传统形式化验证的效率瓶颈，还通过 AgentLayer 的分布式架构实现了可扩展的应用，」新加坡南洋理工大学网络安全研究中心执行主任、AgentLayer 联合创始人刘杨教授表示。「我们的方法证明了 LLM 可以显著改进形式化验证流程，使其更加易于访问和全面。」<h2>技术创新与影响</h2>PropertyGPT 利用最先进的 LLM 的情境学习能力，将现有手工编写属性的知识转移到为新的智能合约代码生成定制的安全规范。该系统采用了多种尖端技术：- 检索增强生成技术，结合 LLM 的语义理解与通过向量数据库检索历史漏洞数据- 编译器和静态分析反馈循环，以迭代改进属性质量- 多维度相似性评估，用于属性排名和选择- 专用证明器，用于生成属性的形式化验证在广泛的测试中，PropertyGPT 实现了与专家生成属性相比令人印象深刻的 80% 召回率。该系统成功检测了 37 个测试案例中的 26 个已知漏洞，并发现了 12 个以前未知的安全缺陷，获得了 8,256 美元的漏洞赏金奖励。<h2>AgentLayer 集成与行业影响</h2>AgentLayer 已将其自主研发的 AI Agent 与 PropertyGPT 集成，以优化智能合约的自动化验证流程。实验表明，该工具在 DeFi 和 Web3 场景中，将复杂合约的漏洞检测效率提高了 40%。NDSS 评审委员会称赞这一成就为「为智能合约安全提供了可实施的范式升级。」<img src="https://image.blockbeats.cn/file_v6/20250303/67ae09b6-b5a8-49b8-be25-ba86d033bf54.png?x-oss-process=image/quality,q_50/format,webp" alt=""><h2>战略合作</h2>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 LabsMetaTrust Labs是一个领先的Web3安全平台，为区块链开发者提供AI驱动的解决方案。在新加坡南洋理工大学诞生，它提供自动安全扫描、智能合约审计和简化安全管理的工具。MetaTrust Labs正在塑造安全Web3基础设施的未来。关于AgentLayerAgentLayer正在开创去中心化AI的未来，推出了世界上第一个为自主AI Agent设计的区块链网络。通过将尖端AI能力与区块链技术无缝集成，AgentLayer使开发者和企业能够大规模构建、部署和交易智能Agent。欢迎加入律动 BlockBeats 官方社群：Telegram 订阅群：<a href="https://t.me/theblockbeats" rel="nofollow">https://t.me/theblockbeats</a>Telegram 交流群：<a href="https://t.me/BlockBeats_App" rel="nofollow">https://t.me/BlockBeats_App</a>Twitter 官方账号：<a href="https://twitter.com/BlockBeatsAsia" rel="nofollow">https://twitter.com/BlockBeatsAsia</a></div>

MetaTrust Labs，AgentLayer与顶级学术机构合作研究获得学术顶会大奖，在AI增强智能合约安全取得开创性突破

加利福尼亚州圣地亚哥 - 2025 年 2 月 27 日 - 第 32 届网络与分布式系统安全研讨会（NDSS 2025）将其备受瞩目的「杰出论文奖」授予了《PropertyGPT：通过检索增强属性生成的 <OP>驱动的智能合约形式化验证</OP>》。这项开创性的研究由 MetaTrust Labs 和 AgentLayer 的研究人员与顶尖学术机构合作完成，引入了一种利用大型语言模型（LLM）来自动化和增...

파일코인(FIL)이 제32회 네트워크 및 분산 시스템 보안 워크숍(NDSS 2025)에서 '우수 논문상'을 수상했습니다. 이 개척적인 연구는 MetaTrust Labs와 AgentLayer의 연구진이 최고 학술 기관과 협력하여 수행했으며, 대규모 언어 모델(LLM)을 활용하여 형식화된 검증 프로세스를 자동화하고 향상시키는 혁신적인 방법을 소개했습니다.

PropertyGPT는 AgentLayer의 탈중앙화 AI 네트워크를 통해 성공적으로 구현되었으며, 이는 스마트 계약 보안 방식의 중대한 진전을 나타냅니다. 이 기술은 전문가 주도의 수동 프로세스였던 형식화된 검증의 효율성 병목 현상을 해결했습니다.

NDSS 심사위원회는 이 성과를 "스마트 계약 보안을 위한 실행 가능한 패러다임 업그레이드"라고 칭찬했습니다. MetaTrust Labs와 AgentLayer의 협력은 첨단 AI 기술을 통해 블록체인 보안을 강화하겠다는 의지를 나타냅니다.

MetaTrust Labs와 AgentLayer는 최고의 학술 기관과 협력하여 최고의 학술 컨퍼런스에서 상을 수상하고 AI 강화 스마트 계약 보안 분야에서 획기적인 혁신을 달성했습니다.

암호화폐 거래자들이 소셜 미디어에서 시장 바닥을 확인할 만큼 충분한 공포감을 아직 보이지 않았다고 한 암호화폐 분석가는 말하며, 비트코인 가격이 여전히 7만 5천 달러 부근까지 하락할 수 있다고 시사했습니다.
"매우 유혹적으로 보이네요..."

암호화폐 시장은 아직 바닥을 쳤다고 단정짓기에는 ‘충분히 겁먹지 않았다’: 산티먼트

ME 뉴스에 따르면, 12월 21일(UTC+8) 이더 창시자 비탈릭 부테린은 파캐스터(Farcaster)에 글을 올려 예측 시장이 정서 주제에 대한 비이성적인 관점 에 대한 좋은 해결책이 될 수 있다고 주장했습니다. 그는 두 개의 스크린샷을 예시로 들었는데, 일론 머스크가 이전에 영국 내전이 "불가피하다"고 주장했던 것을 보여주면서 예측 시장 폴리마켓(Polymarket)에서는 "2024년에 영국 내전이 일어날 것인가?"라는 질문에 대해 3%의 확률만 제시했다는 것입니다. (비탈릭은 일부 베팅 참여자들이 확률을 부풀렸기 때문에 3%도 너무 높다고 생각합니다.) 비탈릭은...

비탈릭: 예측 시장은 정서 주제에 대한 과격한 관점 분산시켜 소셜 미디어의 "해결책"이 될 수 있습니다.

한 암호화폐 사용자가 대규모 온체인 공격으로 인한 주소 오염 사기에 속아 5천만 달러 상당의 테더 USDT(USDT) 잃었습니다.
웹3 보안 회사인 웹3 안티바이러스가 발견한 이 도용 사건은 사용자가 메시지를 보낸 후에 발생했습니다...