On 8 November, OFAC announced is that it had designated 2 individuals for engaging in transportation and procurement activities on behalf of the DPRK. These individuals have acted on behalf of Air Koryo, a designated entity operating in the transportation industry in the DPRK economy. OFAC also delisted and simultaneously redesignated Tornado Cash to take into account additional information and also includes an additional basis for the designation of Tornado Cash regarding its support for DPRK activities.
https://home.treasury.gov/policy-issues/financial-sanctions/recent-actions/20221108