As per the title, does an SSH server need to know what user the public key is for? If someone has the private key, but doesn't know what user the key belongs to, can they login if they know the server?
I'm trying to eliminate name collisions by generating a valid but random username which will only be used by scripts, so typing the name isn't a problem. Does this result in a mild increase in security if the private key were leaked?