The operators of the Ronin exploit wallet, said by the FBI and OFAC to be North Korea’s Lazarus hacking group, have been laundering funds by moving them from a sanctioned address to an intermediary address before sending the funds to Tornado Cash, a mixer designed to obfuscate the source and destination of funds moved through the service.