Bitcoin: A Miner Problem