What does it take to build an exchange that refuses to choose between speed, cost, security, verifiability and composability? Lighter founder Vlad Novakovski joins David to trace his path from international Olympiads and Harvard at 18 to Citadel, early machine learning, Lunchclub and an 18-month ZK