Bitcoin miners score their second-highest month of revenue ever with $1.72 billion in October