Shoal: Improving DAG-BFT Latency and Robustness with Alexander Spiegelman | a16z crypto research

TL;DR

SH is an improved version of the Bullshark consensus protocol that introduces pipelining and leader reputation to reduce latency and eliminate timeouts.

Transcript

really glad to have Sasha spigelman speaking at our seminar today I know I've known Sasha for a long time Sasha did his PhD at techon then he worked at VMware with Dalia Maly and N Abraham and then we met at uh Novi research where we worked on the DM blockchain at meta and Sasha joined Aptos as a co-founding team member I remember Aptos was just fo... Read More

Key Insights

• ❓ SH introduces pipelining and leader reputation to reduce latency and eliminate timeouts in the Bullshark consensus protocol.
• 🛝 Pipelining enables an anchor to be ordered in every round, reducing the latency penalty for non-anchor rounds.
• 💨 Leader reputation ensures that only faster validators are chosen as leaders, reducing the likelihood of slow leaders causing delays.
• ✋ SH achieves high throughput by decoupling data dissemination from metadata ordering in the Bullshark protocol.
• 👻 Timeouts are no longer needed in SH, as the Doug construction allows for asynchronous progress without waiting for messages from the leader.
• ❓ SH provides a significant improvement in latency compared to both vanilla Bullshark and Joltin consensus protocols.

Questions & Answers

Q: How does Bullshark achieve high throughput?

Bullshark achieves high throughput by decoupling data dissemination from metadata ordering, allowing for efficient scalability and increased machine capacity for data dissemination.

Q: How does SH improve the latency of Bullshark?

SH improves latency in Bullshark by introducing pipelining and leader reputation. Pipelining enables an anchor to be ordered in every round, reducing the latency penalty. Leader reputation ensures that only faster validators are chosen as leaders, further reducing delays.

Q: What is the role of timeouts in consensus protocols?

Timeouts are used in leader-based consensus protocols to handle situations where a leader may be slow or unresponsive. They act as a trigger for validators to move forward if they do not receive messages from the leader within a certain time period.

Q: How does SH eliminate the need for timeouts?

SH eliminates the need for timeouts by leveraging the asynchronous nature of the Doug construction in Bullshark. The Doug acts as a clock, allowing validators to keep advancing rounds and triggering progress without relying on timeouts to wait for messages from the leader.

Summary & Key Takeaways

• Bullshark is a consensus protocol that decouples data dissemination from metadata ordering, enabling high throughput and scalable architecture.

• SH is an extension of Bullshark that introduces pipelining and leader reputation to further improve latency and eliminate the need for timeouts.

• Pipelining allows for an anchor to be ordered in every round, reducing the latency penalty for non-anchor rounds in the Bullshark protocol.

• Leader reputation ensures that only faster validators are chosen as leaders, reducing the likelihood of slow leaders causing delays.