backgroundbackground

Blog Posts TaggedSmart Contract

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

New Progress in Blockchain Security: In-depth Exploration of Smart Contract SAST Technology

In summary, the systematic evaluation of SAST tools presented in the paper "Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We?" (https://arxiv.org/pdf/2404.18186) reveals the current status and challenges of smart contract security detection technologies, while the MetaScan platform represents the forefront of technological innovation in this field.

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

Uniswap V4 Mainnet Preview - Part 2: Chapter of Hooks

This is the Hooks chapter of the Uniswap V4 series, which analyses Hooks contracts from the perspectives of their implementation principles and interaction flow.

Daniel Tan
about 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
over 1 year 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
over 1 year 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
over 1 year ago
Report

Security Analysis Report: Centralization Risk in iziFinance Smart Contract

In this analysis, we will examine one of the core contracts of iZiFinance and identify a simple way to reduce gas consumption by eliminating a redundant expression.

MetaTrust Labs
over 1 year ago
Analysis

How a Fake Token Attack Drained $144,000 from Biswap Users on BSC

Attacker exploited a vulnerability in the Biswap V3Migrator contract on BSC and stole about $144,000 worth of tokens

Daniel Tan
over 1 year ago
Analysis

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