Google DeepMind veštačkom inteligencijom formalno verifikovao bezbednost Signal protokola

Istraživački tim razvio je i sproveo formalnu verifikaciju tokom četvoronedeljnog pilot projekta. Ovaj poduhvat predstavlja nezavisnu potvrdu kriptografske zaštite koju koriste milioni ljudi širom sveta na aplikacijama kao što su Signal, Google Messages i WhatsApp. Zadatak je pokazao sposobnost novih agentskih sistema da matematički ispitaju logiku i garancije softvera.

Formalna verifikacija se dugo smatra najuzdanijim metodom u sajber bezbednosti, jer matematički dokazuje odsustvo ranjivosti, ali je tradicionalno zahtevala ogroman ručni rad stručnjaka. Primena novog AI modela značajno je ubrzala proces formulisanja i generisanja dokaza, a kada je sistem testiran na starijim verzijama protokola sa poznatim propustima, uspešno ih je prepoznao kao neispravne.

Iako cela mobilna aplikacija nije obuhvaćena analizom, predstavnici organizacije Signal Foundation ističu da ovakva proširena verifikacija pruža dodatno poverenje u privatnost komunikacije. Glavni izazov za širu primenu u bankarstvu i industriji kritičnog softvera ostaje pitanje troškova i skalabilnosti sistema za potpuno automatizovane provere celog koda.

Istraživači su najavili da će specifikacije i dokaze učiniti javno dostupnim kako bi podržali dalji razvoj otvorene zajednice. Posebno je naglašena važnost saradnje ljudi i veštačke inteligencije, gde inženjeri nadgledaju i potvrđuju ključne korake u procesu dokazivanja.