Želite pročitati objavu ukratko?
AI sažetak
Istraživači Google DeepMinda iskoristili su vještačku inteligenciju kako bi matematički provjerili sigurnost koda koji stoji iza enkripcije aplikacije Signal. Riječ je o istraživačkom iskoraku koji bi mogao promijeniti način na koji se u budućnosti otkrivaju i sprečavaju sigurnosne ranjivosti u softveru.
Prema izvještaju portala Axios, AI agenti pokretani Googleovim modelom Gemini 4 Carbon generirali su više od tri miliona linija matematičkih dokaza. Istraživači su na taj način provjeravali da li se kod koji štiti privatne poruke ponaša u skladu s predviđenim sigurnosnim pravilima.
Kako bi testirali sistem, istraživači su u kod ponovo uveli dvije ranije otklonjene greške. U oba slučaja AI okvir je proizveo matematičke dokaze koji su ukazali da izmijenjeni kod više nije siguran.
Jedan od istraživača rekao je za Axios da je timu za ovaj posao trebalo oko četiri sedmice, dok bi ljudskim stručnjacima, radeći bez takve pomoći, vjerovatno bile potrebne godine. Ideja je da se sigurnost softvera ne provjerava samo traženjem poznatih grešaka nego i matematičkim dokazivanjem da određena pravila zaštite funkcionišu.
Ipak, ovo ne znači da je Signal postao „neprobojan“ niti da su uklonjene sve moguće prijetnje. Axios naglašava da je riječ o istraživačkom projektu, a ne o komercijalno dostupnom proizvodu. Provjera se odnosila na konkretan dio koda i određena sigurnosna svojstva, a ne na svaku komponentu aplikacije i svaki mogući način napada.
Detalje istraživanja objavio je Axios.
