The case stems from OFAC's August 2022 decision to sanction Tornado Cash, placing it on its Specially Designated Nationals and Blocked Persons list.