Before blockchains could reach consensus, Leslie Lamport had to define what agreement even meant when computers fail, lie, or disappear. In this episode of First Principles: The Scientific Roots of Blockchain Technology, Turing Award–winning computer scientist Leslie Lamport joins Tim Roughgarden, Head of Research at a16z crypto and Professor of Computer Science at Columbia University, and a16z crypto Research Partner Ittai Abraham to trace the ideas that helped define modern distributed computing.

Lamport’s work formalized some of the field’s deepest questions: how to reason about concurrent systems, how distributed systems can agree despite failures, and how to prove…