L2Beat has regenerated all ZK circuits powering Lighter's perpetual DEX Layer 2 directly from source code, including both the Lighter verifier and the Lighter Desert verifier. The move unlocks truly permissionless emergency exits — users can now independently generate ZK proofs of their L2 account state and withdraw funds on L1 via the Desert verifier, with no requirement to trust the Lighter team at any point in the process.
The significance is structural: even if Lighter's sequencer fails or acts maliciously, users retain a credible, self-sovereign exit path. That's the security guarantee L2Beat's circuit regeneration work is designed to verify and preserve across the broader L2 ecosystem.
The development arrives against a pointed backdrop — Solana co-founder Anatoly Yakovenko (toly) had previously criticized Lighter as effectively another form of a centralized exchange. L2Beat's…
WuBlockchain