The U.S. government continues to pursue criminal charges against developers Roman Storm and Roman Semenov, even though the Treasury Department’s Office of Foreign Assets Control (OFAC) delisted Tornado Cash from its Specially Designated Nationals list in March 2025