Foundations of Dynamic BFT

Sisi Duan; Haibin Zhang

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 tolerance BFT dynamic BFT dynamic membership consortium blockchains hybrid blockchains foundations definitions atomic broadcast reconfiguration failures fault 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: 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},
      url = {https://eprint.iacr.org/2022/597}
}