For the uninitiated, this is the consensus protocol used in Libra.