Chainalysis traced cryptocurrency earnings from a North Korean developer to Ilya Boykov, who forwarded the funds to the sanctioned Russian exchange Garantex for potential cash conversion