“The ultimate goal of sanctions is not to punish, but to bring about a positive change in behavior.”
Treasury says Tornado Cash laundered more than $7 billion, including $455 million for North Korea’s Lazarus Group. Fine. But Tornado Cash is open source code on a blockchain, not a company. Treasury just sanctioned software. You cannot change the behavior of a smart contract.