Paper 2022/597

Foundations of Dynamic BFT

Sisi Duan and Haibin Zhang

Abstract

This paper studies dynamic BFT, where replicas can join and leave the system dynamically, a primitive that is nowadays increasingly needed. We provide a formal treatment for dynamic BFT protocols, endowing them with a flexible syntax and various security definitions. We demonstrate the challenges of extending static BFT to dynamic BFT. Then we design and implement Dyno, a highly efficient dynamic BFT protocol under the partial synchrony model. We show that Dyno can seamlessly handle membership changes without incurring performance degradation.

Metadata
Available format(s)
PDF
Category
Foundations
Publication info
Published elsewhere. IEEE Symposium S&P 2022
Keywords
Byzantine fault toleranceBFTdynamic BFTdynamic membershipconsortium blockchainshybrid blockchainsfoundationsdefinitionsatomic broadcastreconfigurationfailuresfault tolerance
Contact author(s)
duansisi @ tsinghua edu cn
haibin @ bit edu cn
History
2022-05-17: received
Short URL
https://ia.cr/2022/597
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2022/597,
      author = {Sisi Duan and Haibin Zhang},
      title = {Foundations of Dynamic BFT},
      howpublished = {Cryptology ePrint Archive, Paper 2022/597},
      year = {2022},
      note = {\url{https://eprint.iacr.org/2022/597}},
      url = {https://eprint.iacr.org/2022/597}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.