I thought they were funded by perfectly counterfeiting US dollars.

https://en.m.wikipedia.org/wiki/Superdollar

I note that when I searched DDG for “north korea counterfeit dollar” it listed several sites offering to sell super dollars in bulk. That’s… ballsy.