Nintendo used the same file format as used for pirated ROMs, so people assumed Nintendo simply used downloaded ROMs. As it turns out one of the people working at Nintendo for emulation previously worked on emulators outside Nintendo, so it's likely that just the file format was reused. The Nintendo leaks showed that Nintendo has extensive internal archives and the likelihood of them needing to download ROMs of the Internet is low.