Google DeepMind подтвердил безопасность протокола Signal с помощью ИИ

Новый этап в криптографии с искусственным интеллектом

Исследователи Google DeepMind применили передовую технологию искусственного интеллекта agentic AI для математического подтверждения ключевых криптографических гарантий протокола Signal. Проект занял всего четыре недели и стал важным шагом в области безопасности.

Значение протокола Signal

Протокол Signal используется в популярных мессенджерах, таких как WhatsApp, Google Messages и Signal. Он обеспечивает конфиденциальность сообщений и защищает данные от доступа третьих лиц. Новая AI-система DeepMind — AlphaProof Code — формально проверяет корректность работы программного обеспечения.

Ускорение формальной верификации и расширение возможностей

Ранее процесс формальной проверки был длительным и ограниченным по охвату. С применением agentic AI время сокращается, а подтверждение распространяется на большие части кода. Исследователь DeepMind Пушмит Коли отмечает, что этот подход можно масштабировать для проверки безопасности программ в банковской сфере и других отраслях.

Обнаруженные уязвимости и перспективы

AlphaProof Code выявил некоторые уязвимости в старых версиях протокола Signal. Технический директор Signal Foundation Эрен Крет высоко оценил работу DeepMind: «Использование ИИ для формальной верификации повышает доверие к безопасности протокола Signal».

Роль сотрудничества человека и ИИ

Исследователи DeepMind стремятся развивать взаимодействие между человеком и ИИ, избегая полностью автоматизированных систем доказательств. Сварат Чаудхури подчёркивает, что идеальным является совместное создание целей и доказательств, что повышает эффективность.

Новые горизонты безопасности

Хотя исследование не предназначено для коммерческого продукта, учёные считают его прорывом в обеспечении безопасности программного обеспечения. Расширение формальной верификации повысит надёжность программ и усилит защиту пользовательских данных.

Этот успех открывает новые возможности для применения искусственного интеллекта в сфере безопасности и гарантирует более надёжную работу программных систем.