Libra blockchain and consensus: an overview
Seminario di De Cifris Augustae Taurinorum, in collaborazione con il Dipartimento di Scienze Matematiche "G.L. Lagrange" del Politecnico di Torino, il Dipartimento di Matematica "G. Peano" dell'Università degli Studi di Torino, Quadrans Foundation e Telsy SPA.
Libra is a novel blockchain platform, developed and maintained by a foundation currently leaded by Facebook. Libra, which is still in its development phase, offers a stable cryptocurrency and smart contracts, and targets at a user base of billions of people around the world. It is therefore designed aiming at high speed and scalability.
To this purpose, Libra developers devised LibraBFT, a byzantine fault tolerant consensus algorithm based on HotStuff. HotStuff is the first BFT consensus algorithm that enjoys both responsiveness and linear communication complexity. Responsiveness guarantees that, if the leader is correct, consensus is reached at the pace of actual (vs. maximum) network delay.
In this talk, after a brief introduction to Libra and its functionalities, I will present HotStuff and sketch its safety and liveness proofs.