@mrcharles: The VBFT algorithm