According to Wu, L2Beat revealed that they have regenerated all ZK circuits used by the Lighter perpetual contract DEX L2 from the source code (including the Lighter verifier and Lighter Desert verifier). This enables a truly trustless and permissionless emergency exit from the Lighter team. It means users can independently generate ZK proofs to verify their account state on L2 and withdraw funds on L1 via the Desert verifier, even if the sequencer fails or acts maliciously, ensuring they won’t get stuck. Previously, Solana co-founder toly criticized Lighter as just another form of CEX. https://(wublock123.com)/news/l2beat-lighter-implementation-trustless-emergency-exit-61374