GuShiio.com Original source: AgentLayer
San Diego, California-February 27, 2025-The 32nd Cyberspace and Distributed Systems Security Symposium (NDSS 2025) awarded its high-profile “Outstanding Paper Award” to “PropertyGPT: LLM-Driven Formal Verification of Smart Contracts with Enhanced Attribute Generation through Retrieval.” This groundbreaking research, done by researchers at MetaTrust Labs and AgentLayer in collaboration with top academic institutions, introduces an innovative approach that leverages large language models (LLMs) to automate and enhance the formal verification process.
PropertyGPT addresses a key gap in blockchain security by automating the creation of comprehensive verification attributes-a previously manual, expert-driven process. This technology has been successfully implemented through AgentLayer’s decentralized AI network, marking a major advancement in the way smart contracts are secured.
“PropertyGPT not only solves the efficiency bottleneck of traditional formal verification, but also enables scalable applications through AgentLayer’s distributed architecture,” said Professor Liu Yang, executive director of the Cybersecurity Research Center of Nanyang Technological University in Singapore and co-founder of AgentLayer. “Our approach demonstrates that LLM can significantly improve the formal verification process, making it more accessible and comprehensive.”
Technological innovation and impact
PropertyGPT leverages the situational learning capabilities of state-of-the-art LLM to transfer knowledge of existing hand-written attributes to generating customized security specifications for new smart contract code. The system uses a variety of cutting-edge technologies:
– Retrieval enhanced generation technology combines LLM semantic understanding with retrieving historical vulnerability data through vector databases
– Compiler and static analysis feedback loops to iteratively improve property quality
– Multi-dimensional similarity assessment for attribute ranking and selection
– Dedicated prover for generating formal verification of attributes
In extensive testing, PropertyGPT achieved an impressive 80% recall compared to expert-generated attributes. The system successfully detected 26 known vulnerabilities in 37 test cases and discovered 12 previously unknown security flaws, earning a $8,256 vulnerability reward.
AgentLayer integration and industry impact
AgentLayer has integrated its self-developed AI Agent with PropertyGPT to optimize the automated verification process for smart contracts. Experiments have shown that the tool improves vulnerability detection efficiency of complex contracts by 40% in DeFi and Web3 scenarios.
The NDSS Review Committee praised this achievement as “providing an implementable paradigm upgrade for smart contract security.”
strategic cooperation
The collaboration between MetaTrust Labs and AgentLayer represents a significant commitment to enhancing blockchain security through advanced AI technology. Future plans include:
– Launch more cutting-edge AI products that combine MetaTrust Labs ‘expertise in smart contract security with AgentLayer’s innovation in AI technology
– Develop specialized AI Agents for blockchain applications
– Build a more robust decentralized AI ecosystem
About NDSS Seminar
The NDSS seminar, hosted by the Internet Society for more than 30 years, has grown into one of the world’s leading security conferences. It started as a Network and Distributed Systems Security Symposium, which brought together hundreds of security educators, researchers and practitioners from around the world to advance the development of practical security technologies.
About the research team
The collaborative team includes researchers from MetaTrust Labs, AgentLayer, Singapore Management University, Hong Kong University of Science and Technology and Nanyang Technological University in Singapore: 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).
About MetaTrust Labs
MetaTrust Labs is a leading Web3 security platform that provides AI-driven solutions to blockchain developers. Born at Nanyang Technological University in Singapore, it provides automated security scanning, smart contract auditing and tools to simplify security management. MetaTrust Labs is shaping the future of secure Web3 infrastructure.
About AgentLayer
AgentLayer is ushering in the future of decentralized AI, launching the world’s first blockchain network designed for autonomous AI agents. By seamlessly integrating cutting-edge AI capabilities with blockchain technology, AgentLayer enables developers and enterprises to build, deploy, and trade intelligent Agents at scale.
