Rust backend with price-time priority orderbook matching, partial fills, and real-time WebSocket streaming, settled trustlessly on Layer 2 via on-chain STARK proof verification in Cairo smart contracts.