10 ноября 2026 г.
ИИ помог доказать гарантии Signal Protocol: DeepMind справилась за 4 недели
Google DeepMind за 4 недели формально подтвердила ряд криптографических гарантий Signal Protocol, по данным WIRED от 10 ноября.
Исследователи Google DeepMind использовали AlphaProof Code, агентный фреймворк для формальной проверки программ.
Доказательство вместо поиска. Команда подтвердила ряд гарантий протокола математическим доказательством. Речь о свойствах Signal Protocol, а не о проверке всего приложения Signal.
Не хотите разбираться сами? Внедряем ИИ в ваш бизнес: задачи без лимита, одна цена в месяц, отмена в любой момент.
AlphaProof Code распознал известные ошибки старых версий протокола. Новых уязвимостей исследователи не нашли.
Исследователи объявили о публикации спецификации и доказательства для Signal Protocol.
Первоисточник