A Crypto Coder’s Invention Was Used by North Korean Hackers. Did He Commit a Crime?