Results of Signal's first formal crypto analysis | Hacker News Reader