How Bitcoin Rewired a Classic Computer Science Problem (ft. Tim Roughgarden and Ittai Abraham)

Bitcoin often gets credited with inventing trustless consensus. It didn’t.  The problem was named decades earlier — in the world of distributed computing — and researchers spent years studying how machines could reach agreement even when some participants were faulty, adversarial, or corrupt. What Bitcoin did was something different: It solved a classic Byzantine agreement problem in a radically new, permissionless setting. And it took the research world years to fully recognize what Satoshi had done. In this episode of First Principles, a16z crypto Head of Research and Columbia professor Tim Roughgarden is joined by a16z crypto research partner Ittai Abraham — one of the world’s leading researchers in Byzantine agreement and consensus protocols, a founding member of VMware’s blockchain project, and founder of the technical blog Decentralized Thoughts — to unpack the scientific roots of blockchain consensus.  Together, Tim and Ittai trace the line from classic distributed systems research to Bitcoin, proof-of-stake, Tendermint, Casper, DAG-based protocols, Solana’s Alpenglow, and the modern race for higher throughput and lower latency. Along the way, they explain why concepts like Byzantine fault tolerance, state machine replication, safety, liveness, and partial synchrony are not just academic abstractions — they are the language and design principles behind today’s blockchain protocols.  This conversation kicks off First Principles: The Scientific Roots of Blockchain Technology — a special, limited series from a16z crypto on the scientific ideas behind modern computing — especially blockchains — told through conversations with the pioneers who helped create them, including Barbara Liskov, Leslie Lamport, and more. Hosted by Tim Roughgarden, the series explores the foundational concepts behind distributed systems and consensus protocols; economics, mechanism and market design; and cryptography, from digital signatures to zero knowledge. People often tell the story of the Bitcoin whitepaper as if it appeared out of nowhere.  But the ideas behind Bitcoin — and behind blockchains more broadly — come from decades of computer science, economics, mathematics, and cryptography. First Principles is a guide to that lineage, told by the people who helped build it.  Highlights  00:00 Introduction to First Principles: The Scientific Roots of Blockchain Technology  00:56 Why consensus matters for blockchains  02:30 Byzantine agreement: The old computer science problem Bitcoin made practical  04:34 Blockchains as a shared system of record: State machine replication and blockchain state  06:41 How two research worlds — distributed computing and crypto — began to converge  07:49 Proof of work vs. proof of stake  09:27 Why Ethereum’s move to proof-of-stake took years  11:08 When crypto rediscovered decades of distributed systems research  11:50 Why BFT became practical 12:49 Throughput, latency, and modern consensus design  14:05 DAG-based protocols and faster blockchains  15:25 Peace time vs. war time: why modern blockchains need two modes  16:47 Theory, practice, and the future of blockchain research    Follow:  Tim Roughgarden: https://twitter.com/Tim_Roughgarden  Ittai Abraham: https://twitter.com/ittaia  Follow a16z crypto:  X: https://twitter.com/a16zcrypto  LinkedIn: https://www.linkedin.com/showcase/a16zcrypto/posts/  YouTube: https://www.youtube.com/@a16zcrypto  Substack: https://a16zcrypto.substack.com/subscribe/  **  As always, none of the following should be taken as investment, business, legal, or tax advice. Please see a16z.com/disclosures for more important information, including a link to a list of our investments. Hosted by Simplecast, an AdsWizz company. See pcm.adswizz.com for information about our collection and use of personal data for advertising.