Well, for starters, the tornado cash contract is on the US OFAC sanction list...

Link: https://sanctionssearch.ofac.treas.gov/Details.aspx?id=39796

What is the actual legal interpretation of OFAC listing a website domain and a set of Ethereum addresses on the OFAC sanction list? Does this simply mean that it is illegal to transact with foreign entities associated with these identifiers? Or does it mean something more? Or nothing at all?

Anything on that list is disallowed as an actor in any transaction save for making a deposit in a regulated institution (thereby freezing the asset).

Osama bin Laden may put money into the U.S. financial system, but it may not move any further after that point.

I don't think this is right. From the Wikipedia page:

> In August 2022, the U.S. Department of the Treasury blacklisted the service, making it illegal for US citizens, residents and companies to use.