Google DeepMind veštačkom inteligencijom matematički verifikovao kriptografski protokol Signal

Istraživači tima Google DeepMind su kroz četvoronedeljni istraživački projekat formalno verifikovali ključne bezbednosne delove kriptografskog protokola Signal. Ovaj protokol danas štiti komunikaciju milijardi korisnika širom sveta na aplikacijama kao što su Signal, WhatsApp i Google Messages. Koristeći novi sistem veštačke inteligencije nazvan AlphaProof Code, tim je pružio nezavisnu matematičku potvrdu da ključni delovi koda rade tačno onako kako je predviđeno.

Formalna verifikacija se smatra zlatnim standardom u softverskoj bezbednosti jer matematički dokazuje odsustvo ranjivosti, ali je tradicionalno zahtevala ogroman ručni rad stručnjaka. Primena autonomnih AI agenata značajno je skratila vreme potrebno za pisanje dokaza. Istraživanje nije obuhvatilo kompletnu mobilnu aplikaciju Signal, već odabrane ključne segmente, uz proces saradnje čoveka i veštačke inteligencije u kome stručnjaci vrše završne provere.

Tokom analize nisu pronađeni novi propusti u aktuelnom protokolu, ali je alat uspešno detektovao poznate i ranije ispravljene greške na starijim verzijama, odbivši da za njih potvrdi dokaz ispravnosti. Istraživači su odlučili da kompletne specifikacije i razvijene dokaze javno objave kako bi pomogli široj naučnoj zajednici, dok stručnjaci iz industrije razmatraju potencijalnu primenu ove metode na kritične softverske sisteme poput bankarskih rešenja.