backgroundbackground

Blog Posts TaggedWeb3 Security

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
5 months ago
Report

Introducing Verite: The Next-Generation Smart Contract Fuzzer for Uncovering Profitable Vulnerabilities

Enter Verite—the world’s first profit-centric smart contract fuzzing framework. By simulating attacker logic and automating profit maximization, Verite transforms security from reactive detection to proactive defense, bridging the gap between vulnerability discovery and real-world exploitation.

MetaTrust Labs
6 months ago
Educational

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
over 1 year ago
Educational

AI Saves the World: AegisAI Transforms Web3 Security Through AI-Powered Bug Detection

AegisAI stands as a beacon of hope in the ongoing battle against cybersecurity threats.

MetaTrust Labs
over 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
over 1 year ago
Educational

The Rise of North Korean Cybercrime: How to Secure Your Web3 Development

It should be noted that security threats and preventive recommendations should be evaluated and customized according to the actual situation and the latest security intelligence.

MetaTrust Labs
over 1 year ago
Educational

Enhancing Web3 Dapp Security: A Deep Dive into MetaTrust Prover's Advanced Verification

Dive into next-level Solidity verification – source-code focused, automated brilliance. Your key to fortified and reliable smart contracts.

MetaTrust Labs
over 1 year ago
Educational

Analyzing the Centralization Risks of TipCoin ($TIP)

The owner of $TIP is an EOA address holding 65% of tokens, here are some centralization risks you should care.

MetaTrust Labs
almost 2 years ago
Analysis

Earning.Farm Lost $536,000 Due to Logic Flaw in Smart Contract "Withdraw" Function

Earning.Farm fell victim to smart contract logic vulnerability, suffering loss of approximately 288 ETH.

Daniel Tan
almost 2 years ago
Analysis

Curve Cracked: How $52M Vanished in a Vyper Vulnerability

The reentrancy attack on Curve Finance serves as a regrettable security incident and a thought-provoking lesson.

MetaTrust Labs
almost 2 years ago
Report