Futures
Access hundreds of perpetual contracts
TradFi
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
Gate MCP
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 30+ AI models, with 0% extra fees
Cysic officially open-sourced Venus, and has been listed as an Ethproofs integration partner for Ethereum.
ME News Report, April 7 (UTC+8), Cysic officially announced the open-source Graph-First zkVM proof framework Venus.
Venus is built on ZisK, abandoning the traditional HAL model that treats proof processes as a series of isolated backend functions, encoding the entire ZK proof process as a global computation graph, decoupling logic from hardware execution.
Empirical tests show that Venus improves end-to-end proof time by over 9% compared to the existing ZisK 0.16.1, significantly reducing CPU-GPU synchronization overhead, and is compatible with GPU, FPGA, and even ASIC.
Cysic has been listed as an Ethproofs integration partner, directly operating as an Ethereum zkEVM node.
Venus is based on ZisK zkVM, which uses a custom instruction set, and is one of the five major zkVM candidates explicitly included in the official discussion for Ethereum EIP-8025 upgrade, allowing Cysic to directly enter the core race of Ethereum L1 proof markets.
(Source: ChainCatcher)