Comment by legutierr

> All transactions by U.S. persons or within (or transiting) the United States that involve any property or interests in property of designated or otherwise blocked persons are prohibited unless authorized by a general or specific license issued by OFAC, or exempt. These prohibitions include the making of any contribution or provision of funds, goods, or services by, to, or for the benefit of any blocked person and the receipt of any contribution or provision of funds, goods, or services from any such person.

So, it seems that it is prohibited for US persons to send tokens to these smart contracts, or to withdraw tokens from these smart contracts.

What about miners running in the United States? Are US-based miners also prohibited from producing blocks that include transactions that interact with these smart contracts?

And what about blocks that are produced by non-US miners, and which contain transactions that interact with these smart contracts? Might US-based miners be prohibited from validating and building upon such blocks?

Does US law effectively now mandate a fork of Ethereum so that US persons can safely interact with a blockchain that excludes all interactions with Tornado smart contracts? It seems like an extreme implication, but can the possibility be excluded?