Seminar: LibraBFTv2: Optimistically-linear BFT Consensus with Concrete Latency Bounds

Speaker: Mathieu Baudet

Date/Time: 12-Dec-2019, 16:00 UTC

Venue: Roberts 421

Details

Abstract:


LibraBFT is a refinement of the HotStuff protocol that makes explicit the mechanisms used to achieve round synchronization between nodes. In this talk, I will present the second version of the protocol, LibraBFTv2. In the optimistic case (aka “happy path”), LibraBFTv2 reduces the overhead of round synchronization to a single message per node per round. The initial version of LibraBFT relied on probabilistic gossip to ensure uniform propagation of quorum certificates. In contrast, LibraBFTv2 achieves round synchronization without using probabilistic gossip. First, the new protocol introduces a new type of failsafe mechanisms that regularly pull missing data in case no progress is made. Second, LibraBFTv2 simplifies the constraints on block proposals. The new constraints ensure that an honest leader can always propose a block and force round synchronization soon after the first honest node enters her round. The proof of liveness of LibraBFTv2 shows that the concrete latency bounds under Byzantine (worst-case) scenarios are comparable to LibraBFTv1, while the number of messages is now linear in the optimistic case.


Bio:


Mathieu Baudet is a security researcher at Calibra, specialized in blockchain systems and distributed protocols. Former software engineer at Facebook and former security specialist at ANSSI, he holds a PhD degree from ENS Cachan on formal verification of cryptographic protocols.

Add to Calendar

This page was last modified on 27 Mar 2014.