Bullshark: DAG BFT Protocols Made Practical
We present Bullshark, the first directed acyclic graph (DAG) based asynchronous Byzantine Atomic Broadcast protocol that is optimized for the common synchronous case. Like previous DAG-based BFT protocols, Bullshark requires no extra communication to achieve consensus on top of building the DAG. Tha...
Main Authors: | , , , |
---|---|
Format: | Text |
Language: | unknown |
Published: |
2022
|
Subjects: | |
Online Access: | http://arxiv.org/abs/2201.05677 |
id |
ftarxivpreprints:oai:arXiv.org:2201.05677 |
---|---|
record_format |
openpolar |
spelling |
ftarxivpreprints:oai:arXiv.org:2201.05677 2023-09-05T13:21:09+02:00 Bullshark: DAG BFT Protocols Made Practical Spiegelman, Alexander Giridharan, Neil Sonnino, Alberto Kokoris-Kogias, Lefteris 2022-01-14 http://arxiv.org/abs/2201.05677 unknown http://arxiv.org/abs/2201.05677 Computer Science - Cryptography and Security text 2022 ftarxivpreprints 2023-08-16T16:53:03Z We present Bullshark, the first directed acyclic graph (DAG) based asynchronous Byzantine Atomic Broadcast protocol that is optimized for the common synchronous case. Like previous DAG-based BFT protocols, Bullshark requires no extra communication to achieve consensus on top of building the DAG. That is, parties can totally order the vertices of the DAG by interpreting their local view of the DAG edges. Unlike other asynchronous DAG-based protocols, Bullshark provides a practical low latency fast-path that exploits synchronous periods and deprecates the need for notoriously complex view-change mechanisms. Bullshark achieves this while maintaining all the desired properties of its predecessor DAG-Rider. Namely, it has optimal amortized communication complexity, it provides fairness and asynchronous liveness, and safety is guaranteed even under a quantum adversary. In order to show the practicality and simplicity of our approach, we also introduce a standalone partially synchronous version of Bullshark which we evaluate against the state of the art. The implemented protocol is embarrassingly simple (200 LOC on top of an existing DAG-based mempool implementation (Narwhal & Tusk). It is highly efficient, achieving for example, 125,000 transaction per second with a 2 seconds latency for a deployment of 50 parties. In the same setting the state of the art pays a steep 50% latency increase as it optimizes for asynchrony. Text narwhal* ArXiv.org (Cornell University Library) |
institution |
Open Polar |
collection |
ArXiv.org (Cornell University Library) |
op_collection_id |
ftarxivpreprints |
language |
unknown |
topic |
Computer Science - Cryptography and Security |
spellingShingle |
Computer Science - Cryptography and Security Spiegelman, Alexander Giridharan, Neil Sonnino, Alberto Kokoris-Kogias, Lefteris Bullshark: DAG BFT Protocols Made Practical |
topic_facet |
Computer Science - Cryptography and Security |
description |
We present Bullshark, the first directed acyclic graph (DAG) based asynchronous Byzantine Atomic Broadcast protocol that is optimized for the common synchronous case. Like previous DAG-based BFT protocols, Bullshark requires no extra communication to achieve consensus on top of building the DAG. That is, parties can totally order the vertices of the DAG by interpreting their local view of the DAG edges. Unlike other asynchronous DAG-based protocols, Bullshark provides a practical low latency fast-path that exploits synchronous periods and deprecates the need for notoriously complex view-change mechanisms. Bullshark achieves this while maintaining all the desired properties of its predecessor DAG-Rider. Namely, it has optimal amortized communication complexity, it provides fairness and asynchronous liveness, and safety is guaranteed even under a quantum adversary. In order to show the practicality and simplicity of our approach, we also introduce a standalone partially synchronous version of Bullshark which we evaluate against the state of the art. The implemented protocol is embarrassingly simple (200 LOC on top of an existing DAG-based mempool implementation (Narwhal & Tusk). It is highly efficient, achieving for example, 125,000 transaction per second with a 2 seconds latency for a deployment of 50 parties. In the same setting the state of the art pays a steep 50% latency increase as it optimizes for asynchrony. |
format |
Text |
author |
Spiegelman, Alexander Giridharan, Neil Sonnino, Alberto Kokoris-Kogias, Lefteris |
author_facet |
Spiegelman, Alexander Giridharan, Neil Sonnino, Alberto Kokoris-Kogias, Lefteris |
author_sort |
Spiegelman, Alexander |
title |
Bullshark: DAG BFT Protocols Made Practical |
title_short |
Bullshark: DAG BFT Protocols Made Practical |
title_full |
Bullshark: DAG BFT Protocols Made Practical |
title_fullStr |
Bullshark: DAG BFT Protocols Made Practical |
title_full_unstemmed |
Bullshark: DAG BFT Protocols Made Practical |
title_sort |
bullshark: dag bft protocols made practical |
publishDate |
2022 |
url |
http://arxiv.org/abs/2201.05677 |
genre |
narwhal* |
genre_facet |
narwhal* |
op_relation |
http://arxiv.org/abs/2201.05677 |
_version_ |
1776201766192283648 |