@inproceedings{10.1145/3465084.3467930,
author = {Schett, Maria A. and Danezis, George},
title = {Embedding a Deterministic BFT Protocol in a Block DAG},
year = {2021},
isbn = {9781450385480},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/3465084.3467930},
doi = {10.1145/3465084.3467930},
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.},
booktitle = {Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing},
pages = {177–186},
numpages = {10},
keywords = {byzantine fault tolerant protocols, dag, blockchain},
location = {Virtual Event, Italy},
series = {PODC'21}
}