Google DeepMind вештачком интелигенцијом формално верификовао безбедност Signal протокола

Истраживачки тим развио је и спровео формалну верификацију током четворонедељног пилот пројекта. Овај подухват представља независну потврду криптографске заштите коју користе милиони људи широм света на апликацијама као што су Signal, Google Messages и WhatsApp. Задатак је показао способност нових агентских система да математички испитају логику и гаранције софтвера.

Формална верификација се дуго сматра најузданијим методом у сајбер безбедности, јер математички доказује одсуство рањивости, али је традиционално захтевала огроман ручни рад стручњака. Примена новог AI модела значајно је убрзала процес формулисања и генерисања доказа, а када је систем тестиран на старијим верзијама протокола са познатим пропустима, успешно их је препознао као неисправне.

Иако цела мобилна апликација није обухваћена анализом, представници организације Signal Foundation истичу да оваква проширена верификација пружа додатно поверење у приватност комуникације. Главни изазов за ширу примену у банкарству и индустрији критичног софтвера остаје питање трошкова и скалабилности система за потпуно аутоматизоване провере целог кода.

Истраживачи су најавили да ће спецификације и доказе учинити јавно доступним како би подржали даљи развој отворене заједнице. Посебно је наглашена важност сарадње људи и вештачке интелигенције, где инжењери надгледају и потврђују кључне кораке у процесу доказивања.