@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} }