The emulator didn't, but I think they had one somewhere in their git history or website.
I forgot now, but I vaguely remember Nintendo pointing out a specific key that was found under the parent company's assets.
Could be wrong though, maybe they really did just get screwed over