What virus do they have? I am currently using haven.miner.rocks right now and did not find any problem with it. Which pool do you suggest? For now I will shift to luckypool, but kindly let me know what virus they have and do I need to format my system now?