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
9 months 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
10 months 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
11 months ago
Educational
Security Prover——MetaTrust's Breakthrough in Automated Smart Contract Fairness Verification
MetaTrust, a leading provider of innovative solutions in the AI+Crypto market, has made significant strides in the field of automated verification for smart contract fairness.
MetaTrust Labs
11 months ago
Analysis
AI Repair: Enhancing Software Engineering with Specialized Code Abilities Extracted from Large Language Models
MetaTrust, has conducted a research study on extracting specialized code abilities from large language models (LLMs) through imitation attacks.
MetaTrust Labs
11 months 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
11 months 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
11 months 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
about 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.