MetaTrust Labs, AgentLayer, and top academic institutions collaborate on research, receiving a prestigious academic conference award for pioneering breakthroughs in AI-enhanced smart contract security
Source: AgentLayer
San Diego, California - February 27, 2025 - The 32nd Network and Distributed System Security Symposium (NDSS 2025) has awarded its prestigious "Distinguished Paper Award" to the paper titled "PropertyGPT: LLM-Driven Smart Contract Formal Verification via Retrieval-Enhanced Property Generation." This groundbreaking research, conducted in collaboration between MetaTrust Labs and AgentLayer researchers and top academic institutions, introduces an innovative approach that utilizes a large language model (LLM) to automate and enhance the formal verification process.

PropertyGPT addresses a key gap in blockchain security by automatically creating comprehensive verification properties—an area that was previously a manual, expert-driven process. This technology has been successfully deployed through AgentLayer's decentralized AI network, marking a significant advancement in smart contract security practices.
"PropertyGPT not only addresses the efficiency bottlenecks of traditional formal verification but also achieves scalable applications through AgentLayer's distributed architecture," said Professor Liu Yang, Executive Director of the Nanyang Technological University Cyber Security Research Center in Singapore and co-founder of AgentLayer. "Our approach demonstrates that LLMs can significantly enhance the formal verification process, making it more accessible and comprehensive."
Technical Innovation and Impact
PropertyGPT leverages the contextual learning capabilities of state-of-the-art LLMs to transfer the knowledge of existing manually authored properties to custom security specifications generated for new smart contract code. The system incorporates various cutting-edge technologies:
- Retrieval-Enhanced Generation, combining LLM's semantic understanding with historical vulnerability data retrieval through a vector database
- Compiler and Static Analysis Feedback Loop to iteratively improve property quality
- Multi-dimensional Similarity Assessment for property ranking and selection
- Custom Prover for formal verification of properties
In extensive testing, PropertyGPT achieved an impressive 80% recall rate compared to expert-generated properties. The system successfully identified 26 known vulnerabilities out of 37 test cases and discovered 12 previously unknown security flaws, earning a $8,256 bug bounty reward.
AgentLayer Integration and Industry Impact
AgentLayer has integrated its proprietary AI Agent with PropertyGPT to optimize the automated verification process of smart contracts. Experiments have shown that this tool enhances vulnerability detection efficiency of complex contracts by 40% in DeFi and Web3 scenarios.
The NDSS Review Committee has praised this achievement as providing a "practically implementable paradigm upgrade for smart contract security."

Strategic Partnerships
The collaboration between MetaTrust Labs and AgentLayer represents a significant commitment to enhancing blockchain security through advanced AI technology. Future plans include:
- Launching cutting-edge AI products that combine MetaTrust Labs' expertise in smart contract security with AgentLayer's innovation in AI technology
- Developing specialized AI Agents for blockchain application development
- Building a more robust decentralized AI ecosystem
About the NDSS Symposium
Hosted by the Internet Society for over 30 years, the NDSS Symposium has evolved into one of the world's premier security conferences. Originally focused on network and distributed system security, the conference brings together hundreds of security educators, researchers, and practitioners from around the globe 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: 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 offers AI-driven solutions to blockchain developers. Born at Nanyang Technological University in Singapore, it provides tools for automated security scanning, smart contract auditing, and simplified security management. MetaTrust Labs is shaping the future of secure Web3 infrastructure.
About AgentLayer
AgentLayer is pioneering the future of decentralized AI with the launch of 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 massively build, deploy, and trade intelligent Agents.
You may also like

Morning Report | BitMine increased its holdings by 126,971 ETH last week; trader Eugene announced his exit from the crypto market

Wang Chuan: How can one not feel anxious after the neighbor Old Wang made thirty times profit by investing in storage stocks? (Seven) - A quarter-century cycle

Cryptocurrency CEXs are flocking to sell US stocks, and traditional brokerages are facing an "uninvited guest."

$75 billion in foreign capital has fled, and South Korean retail investors have absorbed it all using leverage

Japan’s Three Megabanks Plan Joint Stablecoin Issuance in Fiscal 2026
MUFG, SMBC, and Mizuho reportedly plan to jointly issue fiat-pegged stablecoins in fiscal 2026, signaling Japan’s growing push into bank-led digital payment infrastructure.

Humanity Discloses H Token Dual-Chain Attack Details, With Losses on Ethereum and BSC Exceeding $36 Million
Humanity said the H token attack across Ethereum and BSC caused more than $36 million in losses after leaked ProxyAdmin keys enabled malicious contract upgrades and token minting.

White House Discusses CLARITY Act With Law Enforcement Ahead of Senate Vote
The White House discussed the CLARITY Act with law enforcement ahead of a Senate vote, focusing on illicit finance risks and developer protections.

Bitcoin Trading Guide 2026: Strategies for Experienced Traders

What Is XAUT and PAXG? Why Tokenized Gold Is Booming in 2026

Will the SpaceX IPO Hurt Bitcoin? Here's What Traders Are Watching

Foreign selling in the South Korean stock market accelerates, with cumulative net sales reportedly reaching $75 billion this year
On June 9, The Kobeissi Letter, citing Goldman Sachs data, reported that global investors are selling South Korean stocks at an unusually rapid pace. In the latest trading session, foreign investors sold about $801 million worth of Kospi constituent stocks again; total foreign outflows last week reached about $10 billion, and the market has been in net foreign selling on nearly every trading day over the past month. According to the data cited in the report, foreign investors have sold about $75 billion worth of South Korean stocks so far this year. Meanwhile, South Korean retail and institutional investors together recorded roughly $69 billion in net buying over the same period, suggesting that the market’s main buying support has come from domestic capital rather than returning overseas funds. The information currently disclosed still mainly comes from The Kobeissi Letter’s retelling and Goldman Sachs data summaries, while public details on the statistical period and the specific definition of “selling” remain relatively limited.

Fortune Warns of Strategy’s Financing Structure Risks as Bitcoin Premium Narrows
Fortune warned that Strategy’s Bitcoin treasury model faces growing financing risks as MSTR’s net asset premium narrows and preferred stock dividend pressure increases.

Ferrari Challenge Le Mans: Carl Moon to Dominate in WEEX Livery

Sahara AI Responds to SAHARA’s Sharp Drop: No Contract or Product Security Issues Found, Internal Investigation Underway
Sahara AI responded to SAHARA’s 60% price drop, saying no token contract or product security issues have been found and an internal investigation is underway.

WEEX Deposit/Withdrawal Dynamic Island: Your Asset Status, Always in Sight

Scaling Crypto Derivatives: The Digital Asset Infrastructure Behind High-Volume Trading
In the fast-moving digital asset ecosystem, derivatives platforms face an extreme architectural test. High-leverage futures markets demand more than just standard security—they require absolute operational precision, zero-latency matching engines, and ironclad structural scalability, all while navigating intense market volatility.
As global platforms scale to meet these demands, the industry is shifting away from rigid, monolithic setups toward a more agile, "decoupled" infrastructure philosophy.
The Blueprint for High-Volume Copy TradingFor elite global exchanges like WEEX (founded in 2018), this architectural choice becomes critical when scaling high-volume retail features like social copy trading. When thousands of users automatically mirror the real-time strategies of elite traders simultaneously, it triggers sudden, monumental spikes in concurrent transactional volume.
To prevent execution latency or settlement bottlenecks during these peak volatility events, a platform's primary engine must remain entirely dedicated to risk management, copy-trade synchronization, and order matching.
The Architectural Rule: New-generation platforms must separate front-end user execution engines from heavy backend infrastructural overhead to eliminate operational friction.
By separating these layers, platforms can maintain complete sovereignty over their trading environments and user experiences while strategically aligning with institutional-grade infrastructure ecosystems. This strategic framework allows modern exchanges to leverage advanced Digital Asset Custody infrastructure such as Cobo’s behind the scenes, ensuring that backend wallet management scales elastically alongside trading spikes.
Capitalizing on Market Momentum and 400× LeverageIn a derivatives arena where platforms offer up to 400× leverage on perpetual contracts, capital efficiency and market agility are core business metrics. To capture market momentum, an exchange needs the ability to rapidly expand its asset offerings, supporting everything from legacy crypto assets to sudden, trending altcoins across a massive library of trading pairs.
Adopting a flexible, scalable Wallet-as-a-Service (WaaS) solution such as Cobo’s could completely rewrite the development timeline for high-growth exchanges. Instead of spending months of engineering capital building out custom backend wallet architectures for every new blockchain network, platforms can deploy localized infrastructure in days.
This agility allows platforms to instantly scale their listings to over a thousand trading pairs without compromising security or delaying time-to-market. It mirrors the exact operational advantages seen during high-velocity market events, similar to how advanced wallet infrastructure empowers platforms during sudden asset surges; allowing exchanges to pass that speed and liquidity directly to their global user base.
A Mature Foundation for GrowthThe synergy between trusted infrastructure ecosystems and global trading platforms represents the natural evolution of a maturing crypto market. As WEEX continues to scale its global spot and derivatives offerings for over 6 million users, adopting robust backend paradigms proves that platforms no longer have to compromise between cutting-edge trading velocity and uncompromised structural security.

Get Paid to Onboard? Try WEEX’s New Homepage with Rewards for Registration, Deposit & Trade

WEEX Custom Layout: Build Your Perfect Trading Workspace in Seconds
Morning Report | BitMine increased its holdings by 126,971 ETH last week; trader Eugene announced his exit from the crypto market
Wang Chuan: How can one not feel anxious after the neighbor Old Wang made thirty times profit by investing in storage stocks? (Seven) - A quarter-century cycle
Cryptocurrency CEXs are flocking to sell US stocks, and traditional brokerages are facing an "uninvited guest."
$75 billion in foreign capital has fled, and South Korean retail investors have absorbed it all using leverage
Japan’s Three Megabanks Plan Joint Stablecoin Issuance in Fiscal 2026
MUFG, SMBC, and Mizuho reportedly plan to jointly issue fiat-pegged stablecoins in fiscal 2026, signaling Japan’s growing push into bank-led digital payment infrastructure.
Humanity Discloses H Token Dual-Chain Attack Details, With Losses on Ethereum and BSC Exceeding $36 Million
Humanity said the H token attack across Ethereum and BSC caused more than $36 million in losses after leaked ProxyAdmin keys enabled malicious contract upgrades and token minting.
