a secure verifiable username system for tox