To be specific, who manufacturers ASIC hardware, sells it to customers, but also offers cloud services.

I know of KnC, and Bitmain. Anyone else?

Thanks in advance.

CK