Bitcoin-mining—using vast computer power to solve equations to unlock the digital currency—has been a lucrative and ...