Futures
Access hundreds of perpetual contracts
CFD
Gold
One platform for global traditional assets
Options
Hot
Trade European-style vanilla options
Unified Account
Maximize your capital efficiency
Demo Trading
Introduction to Futures Trading
Learn the basics of futures trading
Futures Events
Join events to earn rewards
Demo Trading
Use virtual funds to practice risk-free trading
Launch
CandyDrop
Collect candies to earn airdrops
Launchpool
Quick staking, earn potential new tokens
HODLer Airdrop
Hold GT and get massive airdrops for free
Pre-IPOs
Unlock full access to global stock IPOs
Alpha Points
Trade on-chain assets and earn airdrops
Futures Points
Earn futures points and claim airdrop rewards
Promotions
AI
Gate AI
Your all-in-one conversational AI partner
Gate AI Bot
Use Gate AI directly in your social App
GateClaw
Gate Blue Lobster, ready to go
Gate for AI Agent
AI infrastructure, Gate MCP, Skills, and CLI
Gate Skills Hub
10K+ Skills
From office tasks to trading, the all-in-one skill hub makes AI even more useful.
GateRouter
Smartly choose from 40+ AI models, with 0% extra fees
#GrimOutlookForUSIranTalks
Vitalik Buterin Says AI-Based Code Verification Will Become the Standard for Software Development
Ethereum founder, Vitalik Buterin, shared an interesting perspective on the future of digital technology security through a post on his personal X account on Monday (May 18) local time. Vitalik revealed that the industry is now shifting towards a new trend that could make code immune to errors or typos. Simply put, this system works like an automatic detector that uses precise mathematical formulas to test and lock the security of an application from the start of development.
This new step is considered very crucial because hackers are now also beginning to use AI assistance to find vulnerabilities and drain funds on various exchange platforms. According to Vitalik, the best way to counter this is by also using AI assistance as a digital defense barrier. By leveraging this advanced technology, overseen by strict mathematical calculations, the potential for bugs or critical errors in applications is claimed to be reduced by up to 99 percent.
However, Vitalik reminds us that no system in the world is truly perfect because technology is still created by humans. Moving forward, crypto application security will be layered, with the core part that stores funds being locked very tightly, while the outer parts are made more flexible. This focus is what is currently being pursued so that the global market and the general public can store their crypto assets safely without fear of hacking.