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?