Lighter is a zk-rollup perpetuals protocol delivering provable, non-custodial trading with cryptographic fairness guarantees. Built on Arbitrum, it combines the performance of centralized exchanges with the transparency of DeFi. Lighter features verifiable on-chain order matching, liquidation execution, and seamless integration with aggregators like 1inch, ensuring deep liquidity and reliable price discovery.