Adding byzantining paxos