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

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

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

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