The Lighter team announced that its perpetual and spot trading zk circuits have completed auditing and are officially open-sourced

The Lighter team announces that its perpetual and spot trading zk circuits have completed auditing and are officially open-sourced. The team has released the complete verification code, allowing external independent verification of every order, cancellation, and settlement operation of Lighter L2 on Ethereum to ensure their authenticity and validity.

Developers can generate ZkLighterVerifier using build scripts from GitHub and perform consistency checks with the deployed contracts on Ethereum.