Key generation works (theoretically)!