International Joint Conference On Theoretical Computer Science – Frontier of Algorithmic Wisdom

August 15-19, 2022, City University of Hong Kong, Hong Kong

 

Invited Speakers

CSIAM Forum


DAMYSUS: Streamlined BFT Consensus Leveraging Trusted Components

Jiangshan Yu

Monash University

Abstract:
Recently, streamlined 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.

Bio:
Dr. Jiangshan Yu is a 2021 ARC DECRA Fellow and Senior Lecturer (~US Associate Professor) at Monash University. He also serves as Associate Director (Research) at Monash Blockchain Technology Centre. He is a member of the Scientific Advisory Board for Austrian Blockchain Center (Austria), and an elected member of the IFIP 10.4 Working Group on Dependable Computing and Fault Tolerance. His research interests are in the broad area of cybersecurity and applied cryptography, with a current focus on blockchain systems. The impact of his research includes identified critical vulnerabilities and recommended (and adopted) fixes in several deployed blockchains and their applications (with a total market cap of over AU$30 billion). The importance and impact of his research have been recognised by the Australian Government’s National Blockchain Roadmap as an example of the world-leading blockchain research activities in Australia. He is also a recipient of several competitive awards, such as ARC DECRA (2021-2023) and the IBM Academic Award (2020), and Dean’s Research Impact Award at Monash (2019).