Core has been raising cash by selling some of the bitcoins it has been mining. Last month, it sold 7,202 bitcoins at an average price of $23,000 to raise about $167 million. The miner said it intends to use the proceeds from the sales mainly for payments toward ASIC servers, capital investments in additional data-center capacity and debt repayments.