Google использовал искусственный интеллект (ИИ) для анализа и проверки функций безопасности Signal, широко известного приложения для обмена сообщениями, ориентированного на конфиденциальность. Этот проект был реализован исследовательским подразделением ИИ компании, Google DeepMind, с использованием математических доказательств для изучения фрагментов кода мессенджера.
Исследование использовало AlphaProof Code, систему, специально разработанную для работы с формальными доказательствами. В течение примерно четырех недель этот инструмент анализировал код Signal, помогая исследователям подтвердить математическую обоснованность определенных свойств безопасности.
Этот шаг демонстрирует применение ИИ, выходящее за рамки создания текстов, изображений или программ; технология также может использоваться для обнаружения ошибок и формальной проверки соответствия вычислительных систем заранее установленным стандартам.
Формальная верификация дает разработчикам возможность выявлять проблемы, которые могли быть упущены при традиционных аудитах. Кроме того, она способствует повышению доверия к критически важным компонентам программного обеспечения, предназначенного для защиты личных данных.
В конкретном контексте Signal это исследование особенно значимо, поскольку конфиденциальность является одной из центральных опор приложения. Мессенджер обеспечивает защиту разговоров с помощью сквозного шифрования, что не позволяет третьим лицам получать доступ к содержимому сообщений во время передачи.
Однако важно ограничить сферу этого исследования: математическое доказательство определенных свойств кода не означает, что все приложение свободно от уязвимостей. Сохраняются риски, связанные с проблемами в других компонентах, ошибками реализации или целенаправленными атаками на сами устройства пользователей.
Инициатива Google демонстрирует, как системы ИИ могут сотрудничать для повышения безопасности программного обеспечения, помогая специалистам в анализе сложного кода и разработке математических доказательств, лежащих в основе его гарантий безопасности.


