Before Blockchains, There Was State Machine Replication

Key takeaways

Distributed systems principles from the 1980s, such as viewstamped replication and state machine replication, are the foundational technology behind modern blockchains.
The transition from theoretical protocols to practical implementations like PBFT was crucial in enabling reliable, fault-tolerant distributed computing in real-world applications, including blockchain networks.
Collaboration with government grants and academia plays a vital role in advancing foundational research that influences the broader technology ecosystem.
Modularity, formal verification, and a deep understanding of system principles remain essential skills for computer scientists, especially as AI and new technologies transform the field.
Fundamental research in distributed systems continues to be highly relevant and offers vast opportunities for impactful innovation, particularly in the context of security, trust, and societal challenges.

Summary

Historical Foundations of Distributed Systems and Fault Tolerance

This section covers Barbara Liskov's career development, from her early work on programming languages and data abstraction to her pioneering contributions in distributed systems. It highlights her move into distributed computing inspired by Bob Coon's work, and her focus on building reliable, modular, and fault-tolerant systems. Her development of concepts like viewstamped replication and early work bridging theory with practical system implementation are discussed, emphasizing how these foundational ideas laid the groundwork for modern blockchain technology.

Development of Replication Protocols and View Change Mechanisms

This part delves into Liskov’s specific work on replication protocols, including viewstamped replication and the evolution into protocols capable of handling benign failures and later Byzantine failures. It explains her motivation to design practical, efficient algorithms for real-world systems—particularly her emphasis on view change protocols that facilitate resilience and consistency in distributed systems. It also discusses the transition from academic theory to real-world application, exemplified by her work on PBFT, which became a key protocol in fault-tolerant distributed computing.

From Theory to Practice and Impact on Blockchain Technology

Here, the conversation underscores how early theoretical ideas in distributed computing transitioned into practical implementations, such as PBFT serving as a cornerstone for blockchain consensus protocols like those in Bitcoin and Ethereum. Liskov reflects on the importance of certificates, trust groups, and modularity in creating flexible, reliable systems that can support diverse applications beyond file systems, including blockchain and smart contracts. The episode emphasizes the continuity and influence of her work on current blockchain systems.

The Role of Collaboration, Funding, and Cross-Disciplinary Influence in Research

Liskov discusses the importance of collaboration with government agencies like DARPA and NSF, and the impact of being part of a vibrant academic community at MIT. She highlights the synergy between teaching and research and stresses that foundational work in systems often arises from cross-disciplinary insights, including cryptography. Additionally, the conversation touches on how theory guides practical engineering and how important collaboration and proper funding are for pioneering research.

Future Perspectives in Computer Science and Systems Research

In the concluding section, Liskov offers advice for young researchers interested in computer science, emphasizing the importance of understanding fundamentals such as modularity, formal reasoning, and verification. She reflects on the evolving landscape with AI and underscores the enduring importance of foundational research, design principles, and addressing societal issues like malicious behavior and system security. Her optimistic outlook encourages continuous innovation and the pursuit of impactful research.

Show notes

Every blockchain today relies on replication techniques first developed in the 1980s by researchers who weren't thinking about cryptocurrencies at all.

In this episode, Tim Roughgarden speaks with MIT professor and Turing Award winner Barbara Liskov, one of the pioneers of programming languages, fault tolerance, and distributed systems. Joined by a16z crypto research partner Ittai Abraham, they trace the evolution of ideas that now underpin modern blockchain networks.

The conversation explores viewstamped replication, Practical Byzantine Fault Tolerance (PBFT), state machine replication, and why concepts developed decades before Bitcoin became the foundation for today's blockchain protocols. Along the way, Liskov reflects on the relationship between theory and practice, the importance of modularity and formal reasoning, and why AI is creating a new generation of systems research.

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.