research-article

Embedding a Deterministic BFT Protocol in a Block DAG

Authors:

Maria A. Schett and

George DanezisAuthors Info & Claims

PODC'21: Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing

July 2021

Pages 177 - 186

https://doi.org/10.1145/3465084.3467930

Published: 23 July 2021 Publication History

Abstract

This work formalizes the structure and protocols underlying recent distributed systems leveraging block DAGs, which are essentially encoding Lamport's happened-before relations between blocks, as their core network primitives. We then present an embedding of any deterministic Byzantine fault tolerant protocol ℘ to employ a block DAG for interpreting interactions between servers. Our main theorem proves that this embedding maintains all safety and liveness properties of ℘. Technically, our theorem is based on the insight that a block DAG merely acts as an efficient reliable point-to-point channel between instances of ℘ while also using ℘ for efficient message compression.

Supplementary Material

MP4 File (PODC21-fp248.mp4)

We show how we embed a deterministic, byzantine fault tolerant protocol in a block DAG---a data structure similar to a blockchain, but with a graph instead of a chain. Through embedding the protocol in the block DAG we compress the sent messages to the point of omission and get parallelism essentially 'for free'.

Download
94.25 MB

References

[1]

Leemon Baird. 2016. The Swirlds Hashgraph Consensus Algorithm: Fair, Fast, Byzantine Fault Tolerance. Technical Report. 28 pages.

[2]

Mathieu Baudet, George Danezis, and Alberto Sonnino. 2020. FastPay: High -Performance Byzantine Fault Tolerant Settlement. arxiv: 2003.11506

[3]

Christian Cachin, Rachid Guerraoui, and Luís Rodrigues. 2011. Introduction to Reliable and Secure Distributed Programming second ed.). Springer-Verlag, Berlin Heidelberg.

[4]

Miguel Castro and Barbara Liskov. 1999. Practical Byzantine Fault Tolerance. In Proceedings of the Third Symposium on Operating Systems Design and Implementation (OSDI '99). USENIX Association, Berkeley, CA, USA, 173--186.

Digital Library

[5]

Pierre Civit, Seth Gilbert, and Vincent Gramoli. 2020. Brief Announcement: Polygraph: Accountable Byzantine Agreement. In 34th International Symposium on Distributed Computing (DISC 2020) (Leibniz International Proceedings in Informatics (LIPIcs), Vol. 179). Schloss Dagstuhl--Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 45:1--45:3. https://doi.org/10.4230/LIPIcs.DISC.2020.45

[6]

Karl Crary. 2021. Verifying the Hashgraph Consensus Algorithm. arxiv: 2102.01167

[7]

George Danezis and David Hrycyszyn. 2018. Blockmania: From Block DAGs to Consensus. arxiv: 1809.01620

[8]

George Danezis, Eleftherios Kokoris Kogias, Alberto Sonnino, and Alexander Spiegelman. 2021. Narwhal and Tusk: A DAG -Based Mempool and Efficient BFT Consensus. arxiv: 2105.11827

[9]

Cynthia Dwork, Nancy Lynch, and Larry Stockmeyer. 1988. Consensus in the Presence of Partial Synchrony. J. ACM, Vol. 35 (1988), 288--323.

Digital Library

[10]

Michael J. Fischer, Nancy A. Lynch, and Michael S. Paterson. 1985. Impossibility of Distributed Consensus with One Faulty Process. J. ACM, Vol. 32, 2 (1985), 374--382.

Digital Library

[11]

Bryan Ford. 2019. Threshold Logical Clocks for Asynchronous Distributed Coordination and Consensus. arxiv: 1907.07010

[12]

Adam Gka gol, Damian Le'sniak, Damian Straszak, and Michał 'Swike tek. 2019. Aleph: Efficient Atomic Broadcast in Asynchronous Networks with Byzantine Nodes. In Proceedings of the 1st ACM Conference on Advances in Financial Technologies (AFT '19). ACM, New York, NY, USA, 214--228. https://doi.org/10.1145/3318041.3355467

[13]

Rachid Guerraoui, Petr Kuznetsov, Matteo Monti, Matej Pavlovic, and Dragos-Adrian Seredinschi. 2019. The Consensus Number of a Cryptocurrency (Extended Version ). In Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing (PODC '19). ACM, New York, NY, USA, 307--316. https://doi.org/10.1145/3293611.3331589

Digital Library

[14]

Andreas Haeberlen, Petr Kouznetsov, and Peter Druschel. 2007. PeerReview: Practical Accountability for Distributed Systems. In Proceedings of the Twenty -First ACM SIGOPS Symposium on Operating Systems Principles (SOSP '07). ACM, New York, NY, USA, 175--188. https://doi.org/10.1145/1294261.1294279

Digital Library

[15]

Jonathan Katz and Yehuda Lindell. 2007. Introduction to Modern Cryptography. Chapman & Hall/CRC.

Digital Library

[16]

Idit Keidar, Eleftherios Kokoris-Kogias, Oded Naor, and Alexander Spiegelman. 2021. All You Need Is DAG. arxiv: 2102.08325

[17]

Eleftherios Kokoris Kogias, Dahlia Malkhi, and Alexander Spiegelman. 2020. Asynchronous Distributed Key Generation for Computationally -Secure Randomness, Consensus, and Threshold Signatures. In Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security (CCS '20). ACM, New York, NY, USA, 1751--1767. https://doi.org/10.1145/3372297.3423364

Digital Library

[18]

Leslie Lamport. 1978. Time, Clocks, and the Ordering of Events in a Distributed System. Commun. ACM, Vol. 21, 7 (July 1978), 558--565. https://doi.org/10.1145/359545.359563

Digital Library

[19]

Petros Maniatis and Mary Baker. 2002. Secure History Preservation Through Timeline Entanglement. In Proceedings of the 11th USENIX Security Symposium. USENIX Association, Berkeley, CA, USA, 297--312.

Digital Library

[20]

David Mazières. 2015. The Stellar Consensus Protocol: A Federated Model for Internet -Level Consensus. Technical Report.

[21]

Sean Rowan and Naïri Usher. 2019. The Flare Consensus Protocol: Fair, Fast Federated Byzantine Agreement Consensus.

[22]

Maria A Schett and George Danezis. 2021. Embedding a Deterministic BFT Protocol in a Block DAG. arxiv: 2102.09594

[23]

Qin Wang, Jiangshan Yu, Shiping Chen, and Yang Xiang. 2020. SoK: Diving into DAG -Based Blockchain Systems. arxiv: 2012.06128

Cited By

Müller SPenzkofer APolyanskii NTheis JSanders WMoog H(2023)Reality-based UTXO LedgerDistributed Ledger Technologies: Research and Practice10.1145/36160222:3(1-33)Online publication date: 18-Sep-2023
https://dl.acm.org/doi/10.1145/3616022
Antonenko OGrybniak SGuzey DNashyvan OShanin R(2023)Waterfall: Salto Collores. BFT Based PoS on BlockDAG2023 IEEE 1st Ukrainian Distributed Ledger Technology Forum (UADLTF)10.1109/UADLTF61495.2023.10548638(1-6)Online publication date: 27-Oct-2023
https://doi.org/10.1109/UADLTF61495.2023.10548638
Lei QXia YGuo QHao RDai XDai W(2023)EBFT: Efficient BFT Consensus through Shortcut Replies2023 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom)10.1109/ISPA-BDCloud-SocialCom-SustainCom59178.2023.00090(439-446)Online publication date: 21-Dec-2023
https://doi.org/10.1109/ISPA-BDCloud-SocialCom-SustainCom59178.2023.00090
Show More Cited By

Index Terms

Embedding a Deterministic BFT Protocol in a Block DAG
1. Computing methodologies
  1. Distributed computing methodologies

Recommendations

FaBFT: Flexible Asynchronous BFT Protocol Using DAG
Information Security and Cryptology
Abstract
The Byzantine Fault Tolerance (BFT) protocol is a long-standing topic. Recently, a lot of efforts have been made in the research of asynchronous BFT. However, the existing solutions cannot adapt well to the flexible network environment, and suffer ...
Read More
BFT Protocol Forensics
CCS '21: Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security

Byzantine fault-tolerant (BFT) protocols allow a group of replicas to come to consensus even when some of the replicas are Byzantine faulty. There exist multiple BFT protocols to securely tolerate an optimal number of faults t under different network ...
Read More
A Practical Dynamic Enhanced BFT Protocol
Network and System Security
Abstract
Emerging as a distributed system maintaining a public ledger via consensus protocol, blockchain technology is showing its great potential in various scenarios such as supply chain, financial industry, internet of things (IoT), etc. Among kinds of ...
Read More

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

PODC'21: Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing

July 2021

590 pages

ISBN:9781450385480

DOI:10.1145/3465084

General Chair:
Avery Miller
University of Manitoba, Canada
,
Program Chair:
Keren Censor-Hillel
Technion, Israel

Copyright © 2021 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 23 July 2021

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

UK EPSRC

Conference

PODC '21

Sponsor:

PODC '21: ACM Symposium on Principles of Distributed Computing

July 26 - 30, 2021

Virtual Event, Italy

Acceptance Rates

Overall Acceptance Rate 740 of 2,477 submissions, 30%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
284
Total Downloads

Downloads (Last 12 months)43
Downloads (Last 6 weeks)2

Other Metrics

View Author Metrics

Citations

Cited By

Müller SPenzkofer APolyanskii NTheis JSanders WMoog H(2023)Reality-based UTXO LedgerDistributed Ledger Technologies: Research and Practice10.1145/36160222:3(1-33)Online publication date: 18-Sep-2023
https://dl.acm.org/doi/10.1145/3616022
Antonenko OGrybniak SGuzey DNashyvan OShanin R(2023)Waterfall: Salto Collores. BFT Based PoS on BlockDAG2023 IEEE 1st Ukrainian Distributed Ledger Technology Forum (UADLTF)10.1109/UADLTF61495.2023.10548638(1-6)Online publication date: 27-Oct-2023
https://doi.org/10.1109/UADLTF61495.2023.10548638
Lei QXia YGuo QHao RDai XDai W(2023)EBFT: Efficient BFT Consensus through Shortcut Replies2023 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom)10.1109/ISPA-BDCloud-SocialCom-SustainCom59178.2023.00090(439-446)Online publication date: 21-Dec-2023
https://doi.org/10.1109/ISPA-BDCloud-SocialCom-SustainCom59178.2023.00090
Muller SPenzkofer APolyanskii NTheis JSanders WMoog H(2022)Tangle 2.0 Leaderless Nakamoto Consensus on the Heaviest DAGIEEE Access10.1109/ACCESS.2022.321142210(105807-105842)Online publication date: 2022
https://doi.org/10.1109/ACCESS.2022.3211422

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents