They “banned” the company, not the product. US government could ban US citizens from buying tokens from certain Chinese provider but there is no precedent for banning the usage of specific software if you run it yourself.