Crypto miner Core Scientific resumes trading on Nasdaq after debt reduction