The Office of Foreign Assets Control (OFAC) of the United States Department of the Treasury has announced its first-ever penalties against a crypto mixer. According to the Treasury Department, Lazarus Group used the mixing service to process criminal earnings from the $620 million crypto theft of the online game Axie Infinity.