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.
| Original language | English |
|---|---|
| Title of host publication | Proceedings - 43rd IEEE Symposium on Security and Privacy, SP 2022 |
| Publisher | Institute of Electrical and Electronics Engineers Inc. |
| Pages | 1317-1334 |
| Number of pages | 18 |
| ISBN (Electronic) | 9781665413169 |
| DOIs | |
| Publication status | Published - 2022 |
| Event | 43rd IEEE Symposium on Security and Privacy, SP 2022 - San Francisco, United States Duration: 23 May 2022 → 26 May 2022 |
Publication series
| Name | Proceedings - IEEE Symposium on Security and Privacy |
|---|---|
| Volume | 2022-May |
| ISSN (Print) | 1081-6011 |
Conference
| Conference | 43rd IEEE Symposium on Security and Privacy, SP 2022 |
|---|---|
| Country/Territory | United States |
| City | San Francisco |
| Period | 23/05/22 → 26/05/22 |
Fingerprint
Dive into the research topics of 'Foundations of Dynamic BFT'. Together they form a unique fingerprint.Cite this
Duan, S., & Zhang, H. (2022). Foundations of Dynamic BFT. In Proceedings - 43rd IEEE Symposium on Security and Privacy, SP 2022 (pp. 1317-1334). (Proceedings - IEEE Symposium on Security and Privacy; Vol. 2022-May). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/SP46214.2022.9833787