by An end-to-end encrypted messenger with no account, no phone number and no server that stores messages. Two devices negotiate a WebRTC connection and talk directly; a small relay only helps them find each other. It runs in any browser and as an Android app, in 13 languages, with text, voice and video calls and file transfer. The whole application is one HTML file with zero third-party dependencies; the signalling protocol is modelled in Tamarin and ProVerif, and the Android package is reproducible byte for byte.
digitalvalut.github.io/logos-protocol
github.com/digitalvalut/logos-protocol