Lighter "Direct withdrawals from Ethereum possible with ZK proofs even if sequencer is down"

The forced withdrawal feature of Lighter, a decentralized perpetual futures exchange (Perp DEX), has passed independent verification. Lighter explained via X that "even if the sequencer is down, users can generate ZK proofs and withdraw funds directly from the Ethereum (ETH) network."