Lighter

Lighter runs zero-fee perpetual futures on an Ethereum L2 built with custom zero-knowledge circuits, so order matching and liquidations can be proven correct and not merely trusted.

It inherits Ethereum security and composability while keeping latency and cost low enough for active trading.

The exchange is fully verifiable, with its matching engine output checkable against the published proofs.