add paxos.go