libsignal

Шифрование Signal прошло математическую проверку Google. Но вопросы к безопасности остались

Для анализа 560 КБ кода потребовались 6,5 миллиона строк доказательств.