Штучний інтелект Google DeepMind підтвердив безпечність протоколу Signal

Компанія Google DeepMind провела проєкт із перевірки криптографічного захисту протоколу Signal, який використовується у месенджерах WhatsApp, Google Messages та самому додатку Signal. Завдяки новій системі штучного інтелекту AlphaProof Code дослідникам вдалося завершити формальну верифікацію частин коду протягом чотирьох тижнів.

Про це повідомляє Wired

Під час тестування на старих версіях протоколу, що містили раніше виявлені недоліки, система штучного інтелекту успішно ідентифікувала вразливості, продемонструвавши можливість математичного підтвердження коректності роботи програмного забезпечення.

Ми дуже раді цьому результату, проте попереду ще довгий шлях до того, як ми зможемо масштабувати це на все програмне забезпечення у світі, і ми прагнемо цього досягти.

— Сварат Чаудхурі, науковий співробітник Google DeepMind

Технічний директор Signal Ерен Крет зазначив, що підхід Google DeepMind дозволяє значно розширити можливості формальної верифікації коду. За його словами, в умовах зростання загроз, спричинених штучним інтелектом, така перевірка надає додаткову впевненість у гарантіях приватності.

Якщо ви можете довести коректність цих реалізацій, ви можете бути спокійні. Уявіть банки та інші компанії, які покладаються на такі гарантії і можуть заявити, що здатні довести ці властивості.

— Пушміт Колі, головний науковий співробітник Google Cloud та віцепрезидент із досліджень Google DeepMind

Наразі залишається незрозумілим, чи зможе технологія формальної верифікації за допомогою штучного інтелекту масштабуватися для широкого комерційного використання. Google не розголошує витрати на проведення дослідження та не повідомляє про плани створення відповідного комерційного продукту. Натомість дослідники оприлюднили специфікації та докази, розроблені під час проєкту, для підтримки подальших робіт у цій галузі.