What Is Air LMD-GHOST? Luca Zanolini on Dynamic Availability | a16z Crypto Research Talks

TL;DR

Air LMD-GHOST is a dynamically available consensus protocol proposed by Luca Zanolini and Francesco D'Amato as a potential replacement for LMD-GHOST within Ethereum's Gasper protocol. It addresses participants going offline or returning online while exploring the trade-off between dynamic availability and resilience to asynchronous periods. Read on to understand the Sleepy model, its honest-majority requirement, and why network partitions create a fundamental limitation.

Transcript

okay welcome everyone to today's a16z crypto research seminar uh very happy to introduce Luca zanolini um Luca recently finished his PhD at University of burn working with Christian k catchen um and ever since he was a graduate student and now continuing to today sort of where he's at the ethereum foundation um he's sort of been a leader in sort of... Read More

Key Insights

• ❓ Air LMD Ghost is a potential replacement for existing consensus protocols like LMD Ghost by incorporating dynamic participation and asynchrony resilience.
• 🍽️ The choice of the fork Choice function can significantly impact the properties and guarantees of a consensus protocol.
• 👋 The role of a Fork Choice rule is not inherently good or bad; its effectiveness depends on the specific requirements of the protocol and the context in which it is deployed.
• ☠️ Achieving a balance between dynamic availability and asynchrony resilience requires careful consideration of factors like expiration periods and the rate of joining validators during asynchrony.
• 🥺 Combining different components and techniques, like the e and flow protocols and deterministically safe dynamically available protocols, can lead to more robust and efficient consensus solutions.

Questions & Answers

Q: What is Air LMD-GHOST?

Air LMD-GHOST is a dynamically available consensus protocol devised by Luca Zanolini and Francesco D'Amato. It is presented as a potential substitute for LMD-GHOST, the component of Ethereum's implemented Gasper consensus protocol that handles dynamic participation.

Q: What problem is Air LMD-GHOST designed to address?

Air LMD-GHOST addresses dynamic participation, including participants going offline, returning online, or joining online for the first time. The work also investigates a trade-off between dynamic availability and resilience when asynchronous periods occur.

Q: What does dynamic participation mean in a distributed system?

Dynamic participation means that protocol participants can stop participating by going offline, return after being offline, or become online for the first time. This behavior is a key requirement for a class of permissionless protocols.

Q: What is the Sleepy model of consensus?

The Sleepy model is a synchronous consensus model formalized in 2017. Executions proceed in rounds, and participants may be asleep or offline, meaning they do not participate, or awake and online, meaning they do participate.

Q: What assumption does the Sleepy model make about online participants?

At every round or time step, the majority of participants who are online must be honest. The model therefore builds an honest-majority threshold into its definition.

Q: How does Luca Zanolini define consensus, safety, and liveness?

Consensus and total-order broadcast are used interchangeably for a protocol that outputs the same sequence of blocks, or a chain, at every well-behaved participant. Safety requires chains output by honest participants at any two rounds to be prefix-compatible, while liveness is also defined with respect to rounds.

Q: Why can't dynamically available consensus protocols tolerate network partitions?

The talk states that dynamically available consensus protocols must be synchronous and do not tolerate network partitions, following a limitation associated with the CAP theorem. A single protocol cannot both remain dynamically available and guarantee transaction finality during network partitions.

Q: What is an ebb-and-flow consensus protocol?

An ebb-and-flow consensus protocol has two components, each with its own confirmation rule and output chain. One component is a synchronous, dynamically available protocol that supports dynamic participation, while the other is a partially synchronous protocol intended to finalize blocks.

Summary & Key Takeaways

• Air LMD Ghost is a consensus protocol designed to replace LMD Ghost in Ethereum by addressing the limitations of dynamic participation and asynchrony resilience.

• The protocol combines the concepts of lmd Ghost and Goldfish, using a fork Choice function to determine the canonical chain and incorporating techniques like view merch and vote expiry.

• The protocol achieves dynamic availability by considering messages within a specified expiration period, while also resisting bounded periods of asynchrony.