Of course they're not from North Korea. This shouldn't even be considered plausible. There are, simply put, no North Korean users on websites like these, and if there were, their focus would never be on trying to deride Iran's space program. It is, evidently, a zionist (Jewish or non-Jewish) false-flagger seeking to demoralize Iranians and to minimize the relevance of Iran's space sector in the eyes of non-Iranian, mostly Muslim readers. And incidentally, to provoke Iranian users against their country's strategic partner, the DPRK. Please, do not evoke the possibility that this troll might be North Korean. If I remember correctly, they even changed (one of) their flag(s) at one point in time.