Damysus: streamlined BFT consensus leveraging trusted components

Jérémie Decouchant; David Kozhaya; Vincent Rahli; Jiangshan Yu

doi:10.1145/3492321.3519568

Damysus: streamlined BFT consensus leveraging trusted components

Jérémie Decouchant, David Kozhaya, Vincent Rahli, Jiangshan Yu

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

67 Downloads (Pure)

Abstract

Recently, streamlined Byzantine Fault Tolerant (BFT) consensus protocols, such as HotStuff, have been proposed as a means to circumvent the inefficient view-changes of traditional BFT protocols, such as PBFT. Several works have detailed trusted components, and BFT protocols that leverage them to tolerate a minority of faulty nodes and use a reduced number of communication rounds. Inspired by these works we identify two basic trusted services, respectively called the Checker and Accumulator services, which can be leveraged by streamlined protocols. Based on these services, we design Damysus, a streamlined protocol that improves upon HotStuff's resilience and uses less communication rounds. In addition, we show how the Checker and Accumulator services can be adapted to develop Chained-Damysus, a chained version of Damysus where operations are pipelined for efficiency. We prove the correctness of Damysus and Chained-Damysus, and evaluate their performance showcasing their superiority compared to previous protocols.

Original language	English
Title of host publication	EuroSys 2022 - Proceedings of the 17th European Conference on Computer Systems
Subtitle of host publication	Proceedings of the Seventeenth European Conference on Computer Systems
Publisher	Association for Computing Machinery (ACM)
Pages	1-16
Number of pages	16
ISBN (Print)	9781459391627
DOIs	https://doi.org/10.1145/3492321.3519568
Publication status	Published - 28 Mar 2022
Event	EuroSys '22: Seventeenth European Conference on Computer Systems - Rennes, France Duration: 5 Apr 2022 → 8 Apr 2022

Conference

Conference	EuroSys '22
Country/Territory	France
City	Rennes
Period	5/04/22 → 8/04/22

Bibliographical note

Funding Information:
Jiangshan Yu was partially supported by the Australian Research Council (ARC) under project DE210100019.

Publisher Copyright:
© 2022 Owner/Author.

Keywords

Consensus
Fault tolerance
Trusted component

ASJC Scopus subject areas

Hardware and Architecture
Control and Systems Engineering

Access to Document

10.1145/3492321.3519568Licence: Creative Commons: Attribution-ShareAlike (CC BY-SA)

decouchantj2022DAMYSUSFinal published version, 1.07 MBLicence: Creative Commons: Attribution-ShareAlike (CC BY-SA)

Cite this

Decouchant, J., Kozhaya, D., Rahli, V., & Yu, J. (2022). Damysus: streamlined BFT consensus leveraging trusted components. In EuroSys 2022 - Proceedings of the 17th European Conference on Computer Systems: Proceedings of the Seventeenth European Conference on Computer Systems (pp. 1-16). Association for Computing Machinery (ACM). https://doi.org/10.1145/3492321.3519568

@inproceedings{172ced3a7b9d43568875421cbc3d87e1,

title = "Damysus: streamlined BFT consensus leveraging trusted components",

abstract = "Recently, streamlined Byzantine Fault Tolerant (BFT) consensus protocols, such as HotStuff, have been proposed as a means to circumvent the inefficient view-changes of traditional BFT protocols, such as PBFT. Several works have detailed trusted components, and BFT protocols that leverage them to tolerate a minority of faulty nodes and use a reduced number of communication rounds. Inspired by these works we identify two basic trusted services, respectively called the Checker and Accumulator services, which can be leveraged by streamlined protocols. Based on these services, we design Damysus, a streamlined protocol that improves upon HotStuff's resilience and uses less communication rounds. In addition, we show how the Checker and Accumulator services can be adapted to develop Chained-Damysus, a chained version of Damysus where operations are pipelined for efficiency. We prove the correctness of Damysus and Chained-Damysus, and evaluate their performance showcasing their superiority compared to previous protocols.",

keywords = "Consensus, Fault tolerance, Trusted component",

author = "J{\'e}r{\'e}mie Decouchant and David Kozhaya and Vincent Rahli and Jiangshan Yu",

note = "Funding Information: Jiangshan Yu was partially supported by the Australian Research Council (ARC) under project DE210100019. Publisher Copyright: {\textcopyright} 2022 Owner/Author.; EuroSys '22 : Seventeenth European Conference on Computer Systems ; Conference date: 05-04-2022 Through 08-04-2022",

year = "2022",

month = mar,

day = "28",

doi = "10.1145/3492321.3519568",

language = "English",

isbn = "9781459391627",

pages = "1--16",

booktitle = "EuroSys 2022 - Proceedings of the 17th European Conference on Computer Systems",

publisher = "Association for Computing Machinery (ACM)",

address = "United States",

}

Decouchant, J, Kozhaya, D, Rahli, V & Yu, J 2022, Damysus: streamlined BFT consensus leveraging trusted components. in EuroSys 2022 - Proceedings of the 17th European Conference on Computer Systems: Proceedings of the Seventeenth European Conference on Computer Systems. Association for Computing Machinery (ACM), pp. 1-16, EuroSys '22, Rennes, France, 5/04/22. https://doi.org/10.1145/3492321.3519568

Damysus: streamlined BFT consensus leveraging trusted components. / Decouchant, Jérémie; Kozhaya, David; Rahli, Vincent et al.
EuroSys 2022 - Proceedings of the 17th European Conference on Computer Systems: Proceedings of the Seventeenth European Conference on Computer Systems. Association for Computing Machinery (ACM), 2022. p. 1-16.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Damysus

T2 - EuroSys '22

AU - Decouchant, Jérémie

AU - Kozhaya, David

AU - Rahli, Vincent

AU - Yu, Jiangshan

PY - 2022/3/28

Y1 - 2022/3/28

N2 - Recently, streamlined Byzantine Fault Tolerant (BFT) consensus protocols, such as HotStuff, have been proposed as a means to circumvent the inefficient view-changes of traditional BFT protocols, such as PBFT. Several works have detailed trusted components, and BFT protocols that leverage them to tolerate a minority of faulty nodes and use a reduced number of communication rounds. Inspired by these works we identify two basic trusted services, respectively called the Checker and Accumulator services, which can be leveraged by streamlined protocols. Based on these services, we design Damysus, a streamlined protocol that improves upon HotStuff's resilience and uses less communication rounds. In addition, we show how the Checker and Accumulator services can be adapted to develop Chained-Damysus, a chained version of Damysus where operations are pipelined for efficiency. We prove the correctness of Damysus and Chained-Damysus, and evaluate their performance showcasing their superiority compared to previous protocols.

AB - Recently, streamlined Byzantine Fault Tolerant (BFT) consensus protocols, such as HotStuff, have been proposed as a means to circumvent the inefficient view-changes of traditional BFT protocols, such as PBFT. Several works have detailed trusted components, and BFT protocols that leverage them to tolerate a minority of faulty nodes and use a reduced number of communication rounds. Inspired by these works we identify two basic trusted services, respectively called the Checker and Accumulator services, which can be leveraged by streamlined protocols. Based on these services, we design Damysus, a streamlined protocol that improves upon HotStuff's resilience and uses less communication rounds. In addition, we show how the Checker and Accumulator services can be adapted to develop Chained-Damysus, a chained version of Damysus where operations are pipelined for efficiency. We prove the correctness of Damysus and Chained-Damysus, and evaluate their performance showcasing their superiority compared to previous protocols.

KW - Consensus

KW - Fault tolerance

KW - Trusted component

UR - http://www.scopus.com/inward/record.url?scp=85128103213&partnerID=8YFLogxK

U2 - 10.1145/3492321.3519568

DO - 10.1145/3492321.3519568

M3 - Conference contribution

SN - 9781459391627

SP - 1

EP - 16

BT - EuroSys 2022 - Proceedings of the 17th European Conference on Computer Systems

PB - Association for Computing Machinery (ACM)

Y2 - 5 April 2022 through 8 April 2022

ER -

Damysus: streamlined BFT consensus leveraging trusted components

Abstract

Conference

Bibliographical note

Keywords

ASJC Scopus subject areas

Access to Document

Fingerprint

Cite this