- Buy Crypto
- Markets
- Futures
- Spot
- Copy Trade
WE-Launch
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
a16z Leads $18M Seed Round for Catena Labs, Crypto Industry Bets on Stablecoin AI Payment
Pharos, deeply integrated with AntChain, is about to launch. How can we get involved?
The End and Rebirth of NFTs: How the Meme Coin Craze Ended the PFP Era?
Key Market Intelligence on May 14th, how much did you miss out on?
1.Binance Alpha Launches HIPPO, BLUE, and Other Tokens
2.Believe Ecosystem Tokens See General Rise, LAUNCHCOIN Surges Over 250% in 24 Hours
3.Tiger Securities Introduces Cryptocurrency Deposit and Withdrawal Service, Supports Mainstream Cryptocurrencies such as BTC and ETH
4.Current Bitcoin Rally Possibly Driven by Institutions, Retail Traders Yet to Join
5.Binance Wallet's New TGE Privasea AI Participation Requires a 198 Point Threshold, with a Point Consumption of 15
Source: Overheard on CT (tg: @overheardonct), Kaito
PUMP: Today's discussions about PUMP focus on its new creator revenue-sharing model: the platform will allocate 50% of PumpSwap revenue to token creators, sparking varied reactions from users. Some criticize the move as insufficient or even misleading, while others view it as a positive step the platform is taking to reward creators. Meanwhile, PUMP faces market pressure from emerging competitors like LetsBONKfun and Raydium, which are rapidly gaining market share. Users also express concerns about PUMP's sustainability and potential regulatory risks in the U.S., with discussions extending to the platform's impact on the entire memecoin ecosystem.
COINBASE: Today, Coinbase became the first crypto company to join the S&P 500 Index, replacing Discover Financial Services, sparking widespread industry attention. The entire crypto community views this milestone as a significant development, signaling that crypto assets are further integrating into the mainstream financial system. The news has sparked lively discussions on Twitter, with many users pointing out that this may attract more institutional investors to enter the Bitcoin and other cryptocurrency markets.
XRP: XRP became the focal point of today's crypto discussion, with its significant market movements and strategic advances drawing attention. XRP has surpassed USDT to become the third-largest cryptocurrency by market capitalization, sparking market excitement and discussions about its future potential. The surge in market capitalization and price is believed to be related to increasing institutional interest, deepening strategic partnerships, and its role in the crypto ecosystem. Additionally, XRP's integration into multiple financial systems and its potential as a macro asset class are also seen as key factors driving the current market sentiment.
DYDX: Today's discussions about DYDX mainly focused on the dYdX Yapper Leaderboard launched by KaitoAI. The leaderboard aims to identify the most active community participants, with a total of $150,000 in rewards to be distributed over the first three seasons. This initiative has sparked broad community participation, with many users discussing the potential rewards and the incentive effect on the DYDX ecosystem. Meanwhile, progress on the ethDYDX to dYdX native chain migration and historical airdrop events have also been topics of discussion.
1. "What Is 'ICM'? Holding Up the $4 Billion Market Cap Solana's New Narrative"
Overnight, the hottest narrative in the crypto space has become "Internet Capital Markets," with a host of crypto projects and founders, led by the Solana ecosystem's new Launchpad platform Believe, releasing this phrase. Together with "Believe in something," it has become the new slogan heralding the onset of a bull market. What exactly is the so-called "Internet Capital Market," will it become a short-lived hype phrase like the Base ecosystem's previous Content Coin, and what related targets are available for selection?2.《LaunchCoin Surges 20x in One Day, How Did Believe Create a $200M Market Cap Shiba Inu After Going to Zero?｜100x Retrospective》
LAUNCHCOIN broke through a $200 million market cap today, with the long-lost liquidity and such a high market cap "Memecoin" almost bringing half of the on-chain crypto community CT into the fray. The community is crazily discussing this token, with half of it being FOMO and the other half being FUD. This token, originally issued by Believe founder Ben Pasternak under his personal identity, transformed into a new platform token after a renaming. From once going to zero to a $200 million market cap, what happened in between?May 14 On-chain Fund Flow
Within 24 hours, GOONC's market cap soared to 70 million, could GOONC be the next billion-dollar dog on the Believe platform?
Bitcoin has broken $100,000, Ethereum has surpassed 2500, and is Solana's hot streak about to make a comeback?
The current market is in a state of macro euphoria, with GOONC riding the wave today, skyrocketing 10x in just a few hours, reaching a market cap of tens of millions of dollars, trading volume soaring past 50 million, and rumors swirling that the developer may be from OpenAI (unconfirmed but intriguing enough).
A ludicrous and absurd Solana meme that some actually buy into.
GOONC is a meme coin that has sprouted from the "gooning" subculture, offering no technological innovation or practical use, its sole function being speculation.
It takes inspiration from an NSFW term "gooning," which refers to a person being deeply immersed in certain content (you know what), eventually entering a nearly religious-like trance.
In Reddit (such as r/GOONED, r/GoonCaves) and some counterculture media outlets (such as MEL Magazine in 2020), "gooning" has gradually transitioned from an adult label to a meme-addicted, digital content and virtual self-indulgence synonym, arguably the epitome of Degen spirit.
GOONC is playing around with this concept, packaging the addictive nature, uselessness, and irony of gooning into a tradable financial product. The project team has made it clear: "We do not solve blockchain problems, we only trade absurdity." Blunt but oddly genuine.
GOONC launched on May 13, 2025, using the meme coin launch platform Believe App's LaunchCoin module on Solana. This tool is highly Degen: zero technical barriers, a few clicks to create a coin, perfect for projects like GOONC that can come up with ideas out of the blue.
The mastermind behind GOONC is also quite something and is the most talked-about, with KOL @basedalexandoor on X platform (alias "Pata van Goon") personally involved. His profile even caught the attention of Marc Andreessen, co-founder of a16z, making onlookers unable to resist speculating if GOONC has a hint of OpenAI lineage.
While this 'OpenAI Endorsement' is currently just community speculation, it is definitely a good card to play to fuel hype. Saying "we are pure speculation" on one hand, while tagging a few "AI + a16z" on the other.
GOONC took off as soon as it launched. After its launch on May 13, 2025, its market capitalization skyrocketed to $22 million within 4 hours, with a trading volume exceeding $25.6 million in 24 hours. According to platform data, the first day of trading saw an astonishing +41,100% surge, soaring from $0.0000001 to $0.02, becoming a "missed-the-boat" situation.
GOONC quickly formed an active trading community post-launch, with a lot of discussion and trading signals appearing on X platform (such as the 292x return signal provided by DeBot). Liquidity pools on exchanges like Raydium and Meteora grew rapidly, supporting high trading volumes and price increases.
The real climax occurred between May 13 and May 14, with the market cap rising to $5.5 million in the morning and directly surpassing $55 million in the afternoon. By the 14th, it briefly approached a $70 million market cap, with the trading volume soaring to $59 million. Some community members even posted screenshots claiming an increase of +85,000%, creating a new myth out of the ruins.
As of 1:30 pm on May 14, the price stabilized around $0.039, with a total market cap and FDV both around $39.6 million, and a 24-hour trading volume of $5.43 million. Active platforms include XT.COM, LBank, Meteora, and others.
Although there was a slight pullback from the peak ($0.07), the coin's popularity remains strong. For a coin that relies purely on "irony + community + X post" to thrive, this performance is already at a stellar level.
Currently, the background of the token's development team is not transparent, increasing the potential risk of a rug pull. Rugcheck.xyz warns that the creator of the GOONC contract may have permission to modify the contract (e.g., change fees or mint additional tokens), posing certain security risks.
Community members speculate that the meteoric rise of GOONC may be the "last hurrah".
How to Get Rich in Crypto Without Relying on Luck? Financial Veteran Raoul Pal's Macro Insights and Investment Path
Stablecoins Driving Global B2B Payment Innovation: How to Break Through Workflow Bottlenecks and Unlock Trillion-Dollar Market Potential?
These startups are building cutting-edge AI models without the need for a data center
Science Equity Movement: DeSci's Trillion-Dollar Knowledge Economy Reconstruction Revolution
Sentient In-Depth Research Report: Secures $85 Million in Funding to Build a Decentralized AGI New Paradigm
April 30th Market Key Intelligence, How Much Did You Miss?
Interview with Virtuals Co-Founder empty: AI Startups Don't Need a Lot of Funding, Crypto is One of the Answers
a16z Leads $25M Investment, 0xMiden to Run a Privacy Chain on Your Phone
Sui Q1 Advanced Report: The Rise of BTCfi Infrastructure, the Boom of Lending Protocols, and the Future of Rollup-Based Scalability
Gate.io MemeBox has officially integrated with the Solana ecosystem, providing lightning-fast on-chain asset trading.
Key Market Information Discrepancy on April 30th - A Must-Read! | Alpha Morning Report
Taking Stock of the Top 10 Emerging Launchpad Platforms: Who Will Succeed in Disrupting Pump.fun?
April 29th Market Key Insights, How Much Did You Miss?
a16z Leads $18M Seed Round for Catena Labs, Crypto Industry Bets on Stablecoin AI Payment
Pharos, deeply integrated with AntChain, is about to launch. How can we get involved?
The End and Rebirth of NFTs: How the Meme Coin Craze Ended the PFP Era?
Key Market Intelligence on May 14th, how much did you miss out on?
1.Binance Alpha Launches HIPPO, BLUE, and Other Tokens
2.Believe Ecosystem Tokens See General Rise, LAUNCHCOIN Surges Over 250% in 24 Hours
3.Tiger Securities Introduces Cryptocurrency Deposit and Withdrawal Service, Supports Mainstream Cryptocurrencies such as BTC and ETH
4.Current Bitcoin Rally Possibly Driven by Institutions, Retail Traders Yet to Join
5.Binance Wallet's New TGE Privasea AI Participation Requires a 198 Point Threshold, with a Point Consumption of 15
Source: Overheard on CT (tg: @overheardonct), Kaito
PUMP: Today's discussions about PUMP focus on its new creator revenue-sharing model: the platform will allocate 50% of PumpSwap revenue to token creators, sparking varied reactions from users. Some criticize the move as insufficient or even misleading, while others view it as a positive step the platform is taking to reward creators. Meanwhile, PUMP faces market pressure from emerging competitors like LetsBONKfun and Raydium, which are rapidly gaining market share. Users also express concerns about PUMP's sustainability and potential regulatory risks in the U.S., with discussions extending to the platform's impact on the entire memecoin ecosystem.
COINBASE: Today, Coinbase became the first crypto company to join the S&P 500 Index, replacing Discover Financial Services, sparking widespread industry attention. The entire crypto community views this milestone as a significant development, signaling that crypto assets are further integrating into the mainstream financial system. The news has sparked lively discussions on Twitter, with many users pointing out that this may attract more institutional investors to enter the Bitcoin and other cryptocurrency markets.
XRP: XRP became the focal point of today's crypto discussion, with its significant market movements and strategic advances drawing attention. XRP has surpassed USDT to become the third-largest cryptocurrency by market capitalization, sparking market excitement and discussions about its future potential. The surge in market capitalization and price is believed to be related to increasing institutional interest, deepening strategic partnerships, and its role in the crypto ecosystem. Additionally, XRP's integration into multiple financial systems and its potential as a macro asset class are also seen as key factors driving the current market sentiment.
DYDX: Today's discussions about DYDX mainly focused on the dYdX Yapper Leaderboard launched by KaitoAI. The leaderboard aims to identify the most active community participants, with a total of $150,000 in rewards to be distributed over the first three seasons. This initiative has sparked broad community participation, with many users discussing the potential rewards and the incentive effect on the DYDX ecosystem. Meanwhile, progress on the ethDYDX to dYdX native chain migration and historical airdrop events have also been topics of discussion.
1. "What Is 'ICM'? Holding Up the $4 Billion Market Cap Solana's New Narrative"
Overnight, the hottest narrative in the crypto space has become "Internet Capital Markets," with a host of crypto projects and founders, led by the Solana ecosystem's new Launchpad platform Believe, releasing this phrase. Together with "Believe in something," it has become the new slogan heralding the onset of a bull market. What exactly is the so-called "Internet Capital Market," will it become a short-lived hype phrase like the Base ecosystem's previous Content Coin, and what related targets are available for selection?2.《LaunchCoin Surges 20x in One Day, How Did Believe Create a $200M Market Cap Shiba Inu After Going to Zero?｜100x Retrospective》
LAUNCHCOIN broke through a $200 million market cap today, with the long-lost liquidity and such a high market cap "Memecoin" almost bringing half of the on-chain crypto community CT into the fray. The community is crazily discussing this token, with half of it being FOMO and the other half being FUD. This token, originally issued by Believe founder Ben Pasternak under his personal identity, transformed into a new platform token after a renaming. From once going to zero to a $200 million market cap, what happened in between?May 14 On-chain Fund Flow
Within 24 hours, GOONC's market cap soared to 70 million, could GOONC be the next billion-dollar dog on the Believe platform?
Bitcoin has broken $100,000, Ethereum has surpassed 2500, and is Solana's hot streak about to make a comeback?
The current market is in a state of macro euphoria, with GOONC riding the wave today, skyrocketing 10x in just a few hours, reaching a market cap of tens of millions of dollars, trading volume soaring past 50 million, and rumors swirling that the developer may be from OpenAI (unconfirmed but intriguing enough).
A ludicrous and absurd Solana meme that some actually buy into.
GOONC is a meme coin that has sprouted from the "gooning" subculture, offering no technological innovation or practical use, its sole function being speculation.
It takes inspiration from an NSFW term "gooning," which refers to a person being deeply immersed in certain content (you know what), eventually entering a nearly religious-like trance.
In Reddit (such as r/GOONED, r/GoonCaves) and some counterculture media outlets (such as MEL Magazine in 2020), "gooning" has gradually transitioned from an adult label to a meme-addicted, digital content and virtual self-indulgence synonym, arguably the epitome of Degen spirit.
GOONC is playing around with this concept, packaging the addictive nature, uselessness, and irony of gooning into a tradable financial product. The project team has made it clear: "We do not solve blockchain problems, we only trade absurdity." Blunt but oddly genuine.
GOONC launched on May 13, 2025, using the meme coin launch platform Believe App's LaunchCoin module on Solana. This tool is highly Degen: zero technical barriers, a few clicks to create a coin, perfect for projects like GOONC that can come up with ideas out of the blue.
The mastermind behind GOONC is also quite something and is the most talked-about, with KOL @basedalexandoor on X platform (alias "Pata van Goon") personally involved. His profile even caught the attention of Marc Andreessen, co-founder of a16z, making onlookers unable to resist speculating if GOONC has a hint of OpenAI lineage.
While this 'OpenAI Endorsement' is currently just community speculation, it is definitely a good card to play to fuel hype. Saying "we are pure speculation" on one hand, while tagging a few "AI + a16z" on the other.
GOONC took off as soon as it launched. After its launch on May 13, 2025, its market capitalization skyrocketed to $22 million within 4 hours, with a trading volume exceeding $25.6 million in 24 hours. According to platform data, the first day of trading saw an astonishing +41,100% surge, soaring from $0.0000001 to $0.02, becoming a "missed-the-boat" situation.
GOONC quickly formed an active trading community post-launch, with a lot of discussion and trading signals appearing on X platform (such as the 292x return signal provided by DeBot). Liquidity pools on exchanges like Raydium and Meteora grew rapidly, supporting high trading volumes and price increases.
The real climax occurred between May 13 and May 14, with the market cap rising to $5.5 million in the morning and directly surpassing $55 million in the afternoon. By the 14th, it briefly approached a $70 million market cap, with the trading volume soaring to $59 million. Some community members even posted screenshots claiming an increase of +85,000%, creating a new myth out of the ruins.
As of 1:30 pm on May 14, the price stabilized around $0.039, with a total market cap and FDV both around $39.6 million, and a 24-hour trading volume of $5.43 million. Active platforms include XT.COM, LBank, Meteora, and others.
Although there was a slight pullback from the peak ($0.07), the coin's popularity remains strong. For a coin that relies purely on "irony + community + X post" to thrive, this performance is already at a stellar level.
Currently, the background of the token's development team is not transparent, increasing the potential risk of a rug pull. Rugcheck.xyz warns that the creator of the GOONC contract may have permission to modify the contract (e.g., change fees or mint additional tokens), posing certain security risks.
Community members speculate that the meteoric rise of GOONC may be the "last hurrah".
How to Get Rich in Crypto Without Relying on Luck? Financial Veteran Raoul Pal's Macro Insights and Investment Path
Popular coins
Latest Crypto News
Customer Support：@weikecs
Business Cooperation：@weikecs
Quant Trading & MM：bd@weex.com
VIP Services：support@weex.com
App