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
Is this your assumption or have you seen rumors on such policy being implemented?