- Buy Crypto
- Markets
Futures- Spot
- Copy Trade
- Earn
- More
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
Social Capital CEO: How Equity Tokenization is Reshaping Capital Markets from US Stocks to SpaceX?
CoinGecko Report: Surge of 346% vs Dip of 20.8%, The Wild Rise of DEX
a16z: The Real Opportunity of Stablecoins Lies Not in Disruption but in Filling Gaps
Mining Exodus: Someone Holds $12.8 Billion AI Order
March 6 Market Key Intelligence, How Much Did You Miss?
a16z: The True Opportunity of Stablecoins is in Complementing, Not Disrupting
Predict LALIGA Matches, Shoot Daily & Win BTC, USDT and WXT on WEEX
The WEEX × LALIGA campaign brought together football excitement and crypto participation through a dynamic interactive experience. During the event, users predicted matches, completed trading tasks, and took daily shots to compete for rewards including BTC, USDT, WXT, and exclusive prizes.
Ray Dalio Dialogue: Why I'm Betting on Gold and Not Bitcoin
Who Took the Money in the AI Era? A Must-See Investment Checklist for HALO Asset Trading
Wall Street Bears Target Ethereum: Vitalik In the Know Takes Flight, Tom Lee Remains Bullish
Pump.fun Hacker Steals $2 Million, Receives 6-Year Prison Sentence, Opts for 'Self-Detonation'
6% Annual Percentage Yield as Musk Declares War on Traditional Banks
36 years, 4 wars, 1 script: How does capital price the world in conflict?
Mining Companies' Great Migration: Some Have Already Secured $12.8 Billion in AI Orders
What Is Vibe Coding? How AI Is Changing Web3 & Crypto Development
What is vibe coding? Learn how AI coding tools are lowering the barrier to Web3 development and enabling anyone to build crypto applications.
The parent company of the New York Stock Exchange strategically invests in OKX: The intentions behind the $25 billion valuation
WEEX P2P update: Country/region restrictions for ad posting
To improve ad security and matching accuracy, WEEX P2P now allows advertisers to restrict who can trade with their ads based on country or region. Advertisers can select preferred counterparty locations for a safer, smoother trading experience.
I. Overview
When publishing P2P ads, advertisers can now set the following:
Allow only counterparties from selected countries or regions to trade with your ads.
With this feature, you can:
Target specific user groups more precisely.Reduce cross-region trading risks.Improve order matching quality.
II. Applicable scenarios
The following are some common scenarios:
Restrict payment methods: Limit orders to users in your country using supported local banks or wallets.Risk control: Avoid trading with users from high-risk regions.Operational strategy: Tailor ads to specific markets.
III. How to get started
On the ad posting page, find "Trading requirements":
Select "Trade with users from selected countries or regions only".Then select the countries or regions to add to the allowlist.Use the search box to quickly find a country or region.Once your settings are complete, submit the ad to apply the restrictions.
When an advertiser enables the "Country/Region Restriction" feature, users who do not meet the criteria will be blocked when placing an order and will see the following prompt:
If you encounter this issue when placing an order as a regular user, try the following solutions.
Choose another ad: Select ads that do not restrict your country/region, or ads that allow users from your location.Show local ads only: Prioritize ads available in the same country as your identity verification.
IV. Benefits
Compared with ads without country/region restrictions, this feature provides the following improvements.
Aspect
Improvement
Trading security
Reduces abnormal orders and fraud risk
Conversion efficiency
Matches ads with more relevant users
Order completion rate
Reduces failures caused by incompatible payment methods
V. FAQ
Q1: Why are some users not able to place orders on my ad?
A1: Their country or region may not be included in your allowlist.
Q2: Can I select multiple countries or regions when setting the restriction?
A2: Yes, multiple selections are supported.
Q3: Can I edit my published ads?
A3: Yes. You can edit your ad in the "My Ads" list. Changes will take effect immediately after saving.
App