摘要
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.
| 源语言 | 英语 |
|---|---|
| 主期刊名 | Proceedings - 43rd IEEE Symposium on Security and Privacy, SP 2022 |
| 出版商 | Institute of Electrical and Electronics Engineers Inc. |
| 页 | 1317-1334 |
| 页数 | 18 |
| ISBN（电子版） | 9781665413169 |
| DOI | |
| 出版状态 | 已出版 - 2022 |
| 活动 | 43rd IEEE Symposium on Security and Privacy, SP 2022 - San Francisco, 美国 期限: 23 5月 2022 → 26 5月 2022 |
出版系列
| 姓名 | Proceedings - IEEE Symposium on Security and Privacy |
|---|---|
| 卷 | 2022-May |
| ISSN（印刷版） | 1081-6011 |
会议
| 会议 | 43rd IEEE Symposium on Security and Privacy, SP 2022 |
|---|---|
| 国家/地区 | 美国 |
| 市 | San Francisco |
| 时期 | 23/05/22 → 26/05/22 |
指纹
探究 'Foundations of Dynamic BFT' 的科研主题。它们共同构成独一无二的指纹。引用此
Duan, S., & Zhang, H. (2022). Foundations of Dynamic BFT. 在 Proceedings - 43rd IEEE Symposium on Security and Privacy, SP 2022 (页码 1317-1334). (Proceedings - IEEE Symposium on Security and Privacy; 卷 2022-May). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/SP46214.2022.9833787