backgroundbackground

Blog Posts TaggedBlockchain

NDSS 2025 Distinguished Paper Award: PropertyGPT Revolutionizes Smart Contract Security Through AI-Powered Formal Verification

Collaborative research between MetaTrust Labs, AgentLayer, and leading universities creates breakthrough in blockchain security verification

MetaTrust Labs
about 9 hours ago
Report

AgentLayer Announces Full Support from MetaTrust Labs Investors to Drive the Development of a Decentralized AI Ecosystem

AgentLayer, a leading Ethereum Layer 2 and AI blockchain platform, announced that investors from its parent company MetaTrust Labs will join its ecosystem and hold its $AGENT token. This partnership aims to fuel AI innovation, especially in Asia, and demonstrates strong investor confidence in AgentLayer's vision.

MetaTrust Labs
10 months ago
Report

AI Saves the World: The Rise of PropertyGPT in Smart Contract Security

Discover how PropertyGPT are revolutionizing smart contract verification, fortifying blockchain ecosystems for a resilient future.

MetaTrust Labs
about 1 year ago
Educational

Friendly Summary of "SolSEE: A Source-Level Symbolic Execution Engine for Solidity"

The founding team of MetaTrust has conducted research and published a paper to introduces SolSEE. What's SolSEE All About?

MetaTrust Labs
about 1 year ago
Educational

Uniswap V4 Mainnet Preview - Part 1: Uniswap V4 Overview

MetaTrust Labs has launched a series of articles on Uniswap V4 to explain Uniswap V4 features, contract implementation, potential security risks, and other topics for readers.

Daniel Tan
about 1 year ago
Educational

Is token trading still secure? Centralization Risks in OnchainTrade Smart Contract

We've checked Onchain Trade's smart contract and found out there are potential vulnerabilities and centralization risks on token staking, rewarding and trading.

MetaTrust Labs
over 1 year ago
Analysis