A consensus algorithm that uses [[Total Order Broadcast]].