Just curious - how are you planning to address the problem of ssh key lookup at scale ? Github hacked its own PAM module to read from MySQL, if I'm not wrong.
Legit Teams, by contrast, allocates an individual user per member who signs up. Thus, SSH key lookups are limited to only the keys that one person has. Correct me if I'm wrong, but I believe this circumvents the scaling issue entirely.