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
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
zkSync upgrade: Why did a SNARK player defect to STARK?
A SNARK player actually announced that he was on par with STARK? The STARK era with @zksync is here so soon @Starknet shivering!
So, what is the new version Boojum upgraded by zkSync? Why did zkSync announce the upgrade of Stark so quickly? What is the essential difference between snark and stark? What impact will this upgrade have on the L2 market?
From the perspective of technical discussion, let’s quickly review and discuss.
Boojum is the transition version of zkSync from SNARK to STARK proof system. This means that zkSync’s Prover proof system will have the interface capability of STARK, but will still use the SNARK proof system to meet most mainstream needs.
Boojum is an option for zkSync to implement the zk Stack multi-chain strategy. Compared with SNARK, the STARK proof method has the ability of non-interactive verification and is suitable for complex non-recursive verification in a cross-chain environment.
The core difference between SNARK and STARK lies in the verification method. SNARK is based on mathematical assumptions and is suitable for zk deduction proofs based on the same public key under the same system; while the proof process of STARK contains redundant information and requires high computing resources.
The zkSync main chain will still use SNARK as the main proof system, and STARK is just an expansion capability of its multi-chain strategy. This is different from the strategic dimension of Starknet, but it may bring some competitive pressure to other L2 solutions such as Op Stark, Arbitrum Orbit and Polygon 2.0.
In general, zkSync transitioned to the STARK proof system through Boojum’s upgrade option, which shows that they recognize that SNARK has technical limitations in some aspects, and use the advantages of competitors to break through their own technical ceiling. This upgrade may have a certain impact on the L2 market, but the specific impact will be affected by the reaction and adoption of the market and developers.