Перейти к содержанию

Без рубрики

Анализ Google DeepMind доказал надёжность шифрования в Signal и WhatsApp

Ben Lovejoy|

Анализ Google DeepMind доказал надёжность шифрования в Signal и WhatsApp

Протокол Signal давно считается золотым стандартом мессенджеров со сквозным шифрованием — среди его известных сторонников, например, Эдвард Сноуден. Теперь анализ Google DeepMind «формально верифицировал» безопасность этого протокола.

Помимо приложения Signal, тот же протокол используется в WhatsApp и Google Messages, а саму работу уже назвали «знаковым событием»…

«Формальной верификацией» называют математическое доказательство или опровержение того, что криптографический алгоритм или протокол соответствует заявленным требованиям безопасности при любых условиях. Она гарантирует, что не существует ситуации, в которой протокол даст сбой. Это гораздо более высокий стандарт, чем традиционные методы тестирования, которые ищут уязвимости, но не могут гарантировать, что других не существует.

Использование агентного ИИ для формальной верификации — огромный прорыв как для криптографии, так и для ИИ. Однако этот процесс чрезвычайно требователен к вычислительным ресурсам, поэтому, как Google сообщила Wired, пока неясно, насколько практичным будет его более широкое применение.

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

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

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

Читайте также