Series in Informatics P 4 xos : Consensus as a Network Service