On August 17, 2023, the U.S. District Court for the Western District of Texas granted summary judgment to the U.S. Department of the Treasury (Treasury) on all of the plaintiffs’ claims in the lawsuit challenging the Department’s Treasury’s Office of Foreign Assets Control’s (OFAC) designation of Tornado Cash, a purportedly decentralized cryptocurrency mixer that runs