The Lighter team has announced the completion of an audit for its perpetual and spot trading zk circuits, which are now officially open-sourced. The team has released the full verification code, enabling independent external verification of every order, cancellation, and liquidation operation on Lighter L2 on Ethereum. Developers can use GitHub to generate the ZkLighterVerifier script and perform consistency checks with the deployed Ethereum contracts.