Bitmain, the Beijing-based cryptocurrency mining giant, has officially filed an application to go public on the Hong Kong Stock Exchange (HKEX).