This all follows the arrest of Tornado Cash co-founder Roman Storm, who faces allegations of money laundering and sanctions violations, as the Department of Justice accuses Storm and his co-developer Roman Semenov of facilitating more than $1 billion in money laundering via their mixing protocol, including, allegedly, for North Korea’s Lazarus Group.