I watched a video today about SimpleX, and learned that their servers use onion domains. Does this mean that SimpleX uses the Tor network, or are these onion domains somehow isolated from the rest of the Tor network?
If it uses the Tor network, then it should maybe be mentioned on the website, as torifying SimpleX is then potentially unsafe, since Tor over Tor is bad.
Contrary to what video says, by default messaging servers can observe users’ IP addresses. Onion hosts in server addresses are only used when users use Tor, but they have to install and enable SOCKS proxy for that (e.g., with Orbot app).