for anybody interested in that topic, it came across my eyes recently again on X:
to me this seems like a very important and crucial service that should definitely be tackled by somebody.
edit:
- here a good article on that topic which has been posted in the discussion on X → Verifying the Internet Identity Code: A Walkthrough | by DFINITY | The Internet Computer Review | Medium
- and another relevant forum entry from the past: Verifying the code of the Internet Identity service (a walk-through)