How Bitcoin Rewired a Classic Computer Science Problem

July 10, 2026

AI Summary

5 min read

In 2007, at a workshop on Byzantine fault tolerance, the consensus was that the technology was both unnecessary and impractically slow. A decade and a half later, every major blockchain runs some version of it. This episode of the a16z Show, hosted by Tim Roughgarden, head of research at a16z Crypto, features research partner Ittai Abraham, a leading researcher in Byzantine Agreement and consensus protocols. They trace the scientific roots of blockchain consensus, explaining how Bitcoin solved a classic computer science problem in a radically new way, and how decades of academic theory have converged with practical engineering to shape the protocols running in production today.

The Core Problem: Byzantine Agreement

At the heart of every blockchain is a distributed consensus problem: how do many independent machines agree on a shared state when some of them might be malicious? This is the Byzantine Agreement problem, studied in computer science for over 40 years. In Bitcoin, the parties are miners, and they must agree on the order of transactions in a ledger. Some miners may try to subvert the protocol—for instance, attempting a double-spend attack that causes different users to see different versions of the blockchain. The Bitcoin protocol guarantees that even if a fraction of miners are corrupt, the system still produces a single, consistent view of the ledger.

Continue reading the full summary in the app — free to try.

Read Full Summary →

Free • No credit card required

Listen to Audio Summary Open in App

Never miss an episode of a16z Show

Get every new episode summarized in your inbox — free, ~5 minutes to read.

No spam. Unsubscribe anytime.

What you'll learn

1 (00:00) **Bitcoin's Breakthrough in Byzantine Agreement** - Satoshi Nakamoto recognized that Bitcoin's core technical aspect was solving the Byzantine agreement problem, a classic computer science challenge studied for 40 years.
2 (03:25) **Connecting Pioneers to Blockchain** - The hosts introduce the episode's focus on the work of Leslie Lamport and Barbara Liskov, whose foundational work from the 80s and 90s connects to Bitcoin's consensus protocol.
3 (04:52) **Defining the Agreement Problem** - Both Bitcoin and classical protocols solve the same core agreement problem: multiple parties need to reach a single consistent view despite malicious participants.
4 (06:20) **State Machine Replication Explained** - The powerful abstraction from Lamport: clients interact as if with a single state machine, which updates its state via commands.
5 (08:16) **Convergence of Two Research Threads** - The hosts discuss how the parallel threads of classical distributed computing and blockchain research have converged over the last five years.
6 (10:17) **The Civil Resistance Challenge** - Traditional consensus protocols assume known participants (one vote per person), but Bitcoin uses proof-of-work (one vote per scarce resource) for civil resistance.
7 (13:11) **From Academic Theory to Production Systems** - Blockchain technology has supercharged the development of practical, efficient consensus protocols.

+ Full timestamped outline available in the app

Show Notes

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.

Resources:

Follow Tim Roughgarden on X: https://x.com/Tim_Roughgarden

Follow Ittai Abraham on X: https://x.com/ittaia

Follow a16z Crypto on X: https://x.com/a16zcrypto

Subscribe to The a16z Crypto Show: https://a16zcrypto.substack.com/subscribe/

Stay Updated:

Find a16z on YouTube: YouTube

Find a16z on X

Find a16z on LinkedIn

Listen to the a16z Show on Spotify

Listen to the a16z Show on Apple Podcasts

Follow our host: https://twitter.com/eriktorenberg

Please note that the content here is for informational purposes only; should NOT be taken as legal, business, tax, or investment advice or be used to evaluate any investment or security; and is not directed at any investors or potential investors in any a16z fund. a16z and its affiliates may maintain investments in the companies discussed. For more details please see a16z.com/disclosures.

Hosted by Simplecast, an AdsWizz company. See pcm.adswizz.com for information about our collection and use of personal data for advertising.