The U.S. District Court for the Northern District of Florida granted summary judgment to the Treasury Department in October 2023, ruling that Tornado Cash’s smart contracts constituted a prohibited “association” and “blocked property”