How Bitcoin Rewired a Classic Computer Science Problem
This episode explores how Bitcoin solved the Byzantine fault tolerance problem, a foundational challenge in distributed computing studied for 40 years, and traces how decades of academic research in consensus protocols are now directly informing the design of modern blockchain systems. The conversation highlights the convergence of classical distributed computing theory with practical blockchain implementations, particularly through the transition from proof-of-work to proof-of-stake protocols.
Summary
Tim Roughgarden and Itai Abraham discuss the scientific roots of blockchain consensus protocols, tracing connections between pioneering work by Leslie Lamport and Barbara Liskov in the 1980s-90s and Bitcoin's 2008 launch. They explain that Byzantine fault tolerance—the problem of reaching agreement among multiple parties even when some behave maliciously—sits at the heart of both classical distributed systems and modern blockchains. Though Satoshi Nakamoto apparently understood he was solving a Byzantine agreement problem, the research community took years to formally recognize this connection. The conversation covers how Bitcoin uses proof-of-work as a Sybil resistance mechanism to enable Byzantine consensus in permissionless settings, contrasting with earlier protocols designed for known participants. They discuss state machine replication as a powerful abstraction where clients interact with a single logical state machine, with the blockchain representing a replicated log of commands. Around 2016-2017, there was a major convergence when protocols like Tendermint applied classical Byzantine fault tolerance techniques to proof-of-stake systems, and Ethereum introduced Casper as a finality gadget. The speakers highlight recent innovations driven by blockchain research, including DAG-based protocols for higher throughput and dual-mode consensus protocols optimizing for common-case (peacetime) performance while maintaining Byzantine fault tolerance guarantees during adversarial conditions (wartime). They emphasize that blockchain technology has revitalized theoretical computer science research areas—both Byzantine consensus and other fields like SNARKs—by providing high-value practical applications. The conversation stresses the bidirectional relationship between theory and practice: academic formalism now informs production blockchain design, while real-world blockchain challenges inspire new theoretical work. Contemporary blockchain protocols now expect properties like optimal fault tolerance in partial synchrony—language and concepts originating from theoretical distributed systems research.
About this episode
We're excited to share a special feed drop from The a16z Crypto Show. In the first episode of First Principles: The Scientific Roots of Blockchain Technology, Tim Roughgarden and Ittai Abraham trace the decades of computer science research that laid the foundation for modern blockchains. Long before Bitcoin, researchers were studying one of distributed computing's hardest challenges: how independent machines can reliably agree on a shared state, even when some participants are faulty or malicious. Bitcoin didn't invent that problem, but it introduced a breakthrough solution in a radically different, permissionless setting. The conversation explores Byzantine agreement, state machine replication, proof of work, proof of stake, Tendermint, Casper, DAG-based protocols, and why concepts developed decades ago continue to shape the design of today's fastest and most secure blockchain networks.
Key Insights
- Satoshi Nakamoto apparently understood from early emails that Bitcoin's core technical innovation was solving the Byzantine agreement problem, a well-known 40-year-old problem in distributed computing, but the broader research community took several years to recognize this connection.
- Bitcoin's proof-of-work mechanism serves as a Sybil resistance technique that enables Byzantine consensus in permissionless settings where participants are unknown, fundamentally different from classical Byzantine protocols designed for known participants.
- The transition from proof-of-work to proof-of-stake protocols around 2016-2017 unlocked the ability to apply classical Byzantine fault tolerance techniques (like those in Tendermint and Ethereum's Casper) that were previously incompatible with proof-of-work's vote-per-scarce-resource model.
- Modern blockchain protocols implement dual-mode consensus designs where peacetime mode optimizes for speed and efficiency (99% of normal operation), while wartime mode provides Byzantine fault tolerance guarantees when the system comes under attack.
- The gap between theory and practice in distributed systems has narrowed significantly through blockchain technology, creating a productive bidirectional feedback loop where theoretical innovations directly inform production blockchain design, while real-world challenges drive new academic research.
Topics
Transcript
So this was in 2007. I was at a workshop and the goal of the workshop is to kind of see whether Byzantine fault tolerance is practical or not. But there was actually two big complaints. One is that maybe nobody needs it. And the other was that the performance was horrible. So the question wasn't whether consensus protocols are practical. The question was, do you really need to be robust to potentially very unpredictable failures as opposed to just crashing? Satoshi Nakamoto, he kind of realized that. He said the core technical aspect of Bitcoin is solving Byzantine agreements. I would say de facto all the major chains that we know are running some version of Byzantine power tolerance.…
Full transcript available for MurmurCast members
Sign Up to AccessMore from The a16z Show
Why Medical AI Needs a Referee | Protege's Engy Ziedan
Engy Ziedan, co-founder of Protégé, argues that medical AI faces a critical evaluation gap: models can ace benchmark exams but fail in real clinical settings, and independent oversight is essential because hundreds of millions use AI for health advice with no one ensuring safety or correctness. Protégé is positioning itself as an impartial referee to continuously evaluate AI models in healthcare through real-world data rather than static benchmarks.
Martin Casado on Where the Value Is Going in AI
Martin Casado discusses how AI has fundamentally changed venture capital economics by enabling small teams to productively deploy massive amounts of capital directly into growth, using recent acquisitions like Cursor ($60B) and OpenRouter by Stripe as examples of value accruing across the AI stack rather than consolidating entirely at frontier labs.
How Microsoft Is Securing the Agentic Enterprise | Aaron Zollman
Aaron Zollman, Microsoft's Deputy CISO, discusses securing AI agents in enterprise environments by applying security fundamentals like containerization, identity management, and monitoring. He argues that while AI models can exploit unexpected security paths and behave unpredictably, organizations can manage these risks using established security practices rather than entirely new paradigms, and that the CISO role is shifting from risk prevention to enabling safe adoption of powerful new technologies.
How Global Networks Are Reshaping Startup Success
A16Z partners Angela Strange and Gabriel Vasquez discuss their strategy of identifying and supporting 'borderless founders'—international entrepreneurs building global companies. They explain how diaspora networks, talent pools, customer access, and brand advantages give international founders unique competitive edges, and how AI is accelerating the shift toward globally distributed startup ecosystems.
How Whatnot Built a Global Marketplace
Grant LaFontaine, co-founder of Whatnot, discusses how the platform transformed live commerce from a niche Asian trend into a major marketplace by focusing on user experience rather than market mechanics. The company has built a $16+ billion annualized GMV business empowering small sellers across 100+ categories while maintaining human-centric connections between buyers and sellers.