The U.S. charged the co-founders of a blacklisted cryptocurrency mixer with facilitating North Korean money laundering and sanctions violations on Wednesday, while announcing new designations against one of them.

A New York court indicted Russian national Roman Semenov and U.S. national Roman Storm for their involvement with Tornado Cash, a virtual currency mixer that has allegedly enabled North Korea’s Lazarus Group threat group to launder hundreds of millions in stolen cryptocurrency, the Department of Justice stated in a press release.