What's more likely is Amazon and HBO contracted a South Korean studio who subcontracted a Chinese studio for some of the more mundane animations, and they proceeded to sub-subcontract a North Korean studio.
There's a lot of outsourcing for animation, this happened like 15 years ago with Avatar: The Last Airbender, where one of the South Korean studios involved with Book 3 subcontracted some work to China (cursory Google says DR Movie, which collaborated with a Chinese studio based in Qingdao)
Reposting part of a comment I made in another thread about this, but:
animation across east Asian countries outsources labor between each other all of the time. Your Japanese anime is just as much Korean, Chinese, and Vietnamese at this point, as it is Japanese.
Go look at the credits of most modern anime productions out of Japan, and large swathes of the names you see aren't Japanese, but are from those other countries.
Even a fairly low stakes, low budget, slice of life anime, like Non Non Biyori has Vietnamese names all over its god damn credits, because globalization has impacted the east Asian animation industry in such a way, that there's an large cross pollination of talent across borders, for better and worse.
And that's not to mention the western animation that gets outsourced to these places, South Korea especially.
The fact North Korea is also involved in this complex outsourcing process shouldn't be surprising to anyone who knows anything about how that industry works.
What's more likely is Amazon and HBO contracted a South Korean studio who subcontracted a Chinese studio for some of the more mundane animations, and they proceeded to sub-subcontract a North Korean studio.
There's a lot of outsourcing for animation, this happened like 15 years ago with Avatar: The Last Airbender, where one of the South Korean studios involved with Book 3 subcontracted some work to China (cursory Google says DR Movie, which collaborated with a Chinese studio based in Qingdao)
Reposting part of a comment I made in another thread about this, but:
And that's not to mention the western animation that gets outsourced to these places, South Korea especially.
The fact North Korea is also involved in this complex outsourcing process shouldn't be surprising to anyone who knows anything about how that industry works.