libsignal

Для кода, который защищает личные чаты в Signal, теперь есть проверенное машиной доказательство: сообщения остаются тайными даже после кражи ключа. ИИ-агенты написали его за четыре недели и не нашли новых уязвимостей, но групповые чаты в проверку не вошли.