Cryptology ePrint Archive: Report 2021/1308

No-Commit Proofs: Defeating Livelock in BFT

Neil Giridharan and Heidi Howard and Ittai Abraham and Natacha Crooks and Alin Tomescu

Abstract: This paper presents the design and evaluation of Wendy, the first Byzantine consensus protocol that achieves optimal latency (two phases), linear authenticator complexity, and optimistic responsiveness. Wendy's core technical contribution is a novel aggregate signature scheme that allows leaders to prove, with constant pairing cost, that an operation did not commit. This No-commit proof addresses prior liveness concerns in protocols with linear authenticator complexity (including view change), allowing Wendy to commit operations in two-phases only.

Category / Keywords: foundations / Distributed computing, blockchains, consensus protocols, aggregate signatures, state machine replication

Date: received 28 Sep 2021

Contact author: giridhn at berkeley edu

Available format(s): PDF | BibTeX Citation

Version: 20210928:183113 (All versions of this report)

Short URL:

[ Cryptology ePrint archive ]