OFAC sanctioned Tornado Cash co-founder Roman Semenov for allegedly providing material support to Tornado Cash and the DPRK-linked Lazarus Group, while DOJ unsealed related money-laundering and sanctions charges against Tornado Cash founders. Treasury states that Lazarus used Tornado Cash to obfuscate more than $455 million stolen from Axie Infinity’s Ronin bridge, over $96 million from Harmony’s Horizon bridge, and at least $7.8 million from the Nomad heist. The release says Tornado Cash operators continued supporting and promoting the mixer after learning it was being used to launder Lazarus proceeds and implemented only easily evaded front-end screening. The action fits a broader U.S. effort to disrupt DPRK cyber-enabled illicit finance, including mixers and OTC traders used to convert stolen virtual currency.