Bitmain Technologies, the world's largest designer of products used for mining cryptocurrencies, on Tuesday let its application for a Hong Kong initial public offering (IPO) lapse as hopes for cryptocurrency companies to go public fade.