censored doesn't mean banned, they will push regulatory pressures on miners to implement OFAC, probably the more easy way. Big miners are all identified for sure, it should not be too complicated, especially if you consider they are operating mining in big building which consume a lot of energy and are registered companies anyway