The Lighter team recently announced a major technical breakthrough — their zk circuit for sustainable and spot trading has passed third-party audits and the complete verification code has been officially released to the community. This means that users and developers can now independently verify the reliability of each order, cancellation, and settlement operation on Lighter L2 on Ethereum.
The team has provided build scripts on GitHub, allowing developers to automatically generate the ZkLighterVerifier contract verification program, which can then be cross-checked against the smart contracts deployed on the Ethereum mainnet. This open technical verification mechanism enhances platform transparency, enabling the entire ecosystem to independently review the validity of core trading logic.
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
Lighter L2's zk circuit has passed audit and is officially open-sourced, allowing developers to independently verify on-chain transactions.
The Lighter team recently announced a major technical breakthrough — their zk circuit for sustainable and spot trading has passed third-party audits and the complete verification code has been officially released to the community. This means that users and developers can now independently verify the reliability of each order, cancellation, and settlement operation on Lighter L2 on Ethereum.
The team has provided build scripts on GitHub, allowing developers to automatically generate the ZkLighterVerifier contract verification program, which can then be cross-checked against the smart contracts deployed on the Ethereum mainnet. This open technical verification mechanism enhances platform transparency, enabling the entire ecosystem to independently review the validity of core trading logic.