Yvonne-Anne Pignolet

The DFINITY Foundation

Yvonne-Anne Pignolet

From Principles to Practice: Algorithmic Insights from Building the Internet Computer

The theoretical bedrock of distributed computing rests on foundational primitives: peer-to-peer protocols, Byzantine fault tolerance, state machine replication. But what happens when these principles are stretched to a global, evolving, decentralized compute platform intended to host arbitrary applications? For the past seven years, our work has been dedicated to answering that question through the Internet Computer (IC), a public blockchain network designed for large-scale, general-purpose computation. The IC acts as a stateful serverless cloud, running over 900K applications for millions of users by implementing the Internet Computer Protocol (ICP) in a sharded, Byzantine fault-tolerant setup. This talk explores the algorithmic insights gained from this journey. We will confront where our cherished theoretical models were challenged and had to be radically adapted, composed, or re-imagined. Specifically, we will dive into core problems like:

  • Scalable orchestration: Asynchronous and trustless composition of independent state machines.
  • Taming Non-Determinism: Designing protocols that allow deterministic replicated state machines to securely query external data.
  • The Paradox of Immutability: Enabling stateful upgrades for decentralized applications and even the underlying protocol stack without sacrificing security.

I will share the successful design patterns that emerged, detail which core protocols stood the test of time, and which others we overhauled. Finally, I will discuss the hard and sometimes surprising trade-offs we made and pose open research questions to address when designing the next generation of decentralized systems.

 

About the speaker

Yvonne-Anne Pignolet’s research is centered around distributed systems, ranging from the design and analysis of algorithms for reliable and efficient distributed systems despite failures and malicious behavior to complex network analysis. She obtained a Ph.D. in Computer Science from ETH Zurich, Switzerland in 2009. After 10 years of working in industrial research labs at IBM and ABB, Yvonne-Anne joined DFINITY in 2019, where she leads teams of researchers and engineers building and improving the Internet Computer.