Foundations of Dynamic BFT

Sisi Duan; Haibin Zhang

Paper 2022/597 Original: eprint.iacr.org/2022/597 ↗

Foundations of Dynamic BFT

Sisi Duan

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: Preprint.
History: 2022-05-17: last updated; 2022-05-17: published
Short URL: https://ia.cr/2022/597
License: https://creativecommons.org/licenses/by/4.0/

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