https://whispersystems.org/blog/ -- сообщают что Axolotl протокол переименован в Signal protocol. Разумно, учитывая что в Signal-е кроме Axolotl ещё есть ряд фишек интересных. За исключением OTR, Signal действительно очень достойная разработка! Вне всяких сравнений с убожеством от Telegram, WhatsApp, Viber Skype ну и всего остального что есть на слуху.