I'm overall intrigued by SimpleX and I'd be excited to see it undergo a proper audit. Even if the "no IDs" thing is more of a gimmick than a useful feature, a competitor to Signal would be great given the direction it appears to be heading.
I'm a little put off by parts of their advertising though. Their homepage states Signal can be MITMed given the "operator's servers are compromised", which I don't doubt is true to the extent of the actor stealing, maybe, phone numbers and metadata? But my understanding of Signal's protocol is that a compromised server couldn't intercept _messages_, which is what I feel they're implying.
According to GitHub, their (mono?)repo[1] is split 33% between Haskell, Kotlin, and Swift, which is nice.
I'm a little put off by parts of their advertising though. Their homepage states Signal can be MITMed given the "operator's servers are compromised", which I don't doubt is true to the extent of the actor stealing, maybe, phone numbers and metadata? But my understanding of Signal's protocol is that a compromised server couldn't intercept _messages_, which is what I feel they're implying.
According to GitHub, their (mono?)repo[1] is split 33% between Haskell, Kotlin, and Swift, which is nice.
[0] https://simplex.chat/docs/protocol/simplex-chat.html
[1] https://github.com/simplex-chat/simplex-chat/