TLDR: Lighter published zero-knowledge proof verification code following completed audits of perpetual and spot circuits. The open-source release enables independent verification of orders, cancellations, and liquidations on Ethereum. The protocol processes approximately 500 million orders and cancellations daily through…