The software used in bitcoin mining is getting its first big makeover in more than a decade — here's what's changingCNBCNov 29, 2018