Though a Justice Department official did not mention the Tornado Cash developer by name, he made many general references to enforcement cases involving similar allegations.