Lighter

Lighter is a perpetual futures exchange with an order book matched off chain and proved with zero-knowledge circuits, settling to Ethereum.