Analiza e Google DeepMind vërteton se enkriptimi i Signal dhe WhatsApp është i sigurt
Protokolli Signal është konsideruar prej kohësh si standardi i artë për mesazhet e enkriptuara nga fillimi në fund, me Edward Snowden një avokat të shquar. Tani një analizë e Google DeepMind ka “verifikuar zyrtarisht” sigurinë e protokollit.
Përveç përdorimit të tij në aplikacionin Signal, i njëjti protokoll përdoret edhe nga WhatsApp dhe Google Messages, dhe puna është përshkruar si “një zhvillim historik”…
“Verifikim formal” është termi që përdoret për të vërtetuar ose hedhur poshtë matematikisht se një algoritëm ose protokoll kriptografik i plotëson pretendimet e tij të sigurisë në të gjitha kushtet. Ai garanton se nuk ka asnjë situatë në të cilën protokolli do të dështojë. Ky është një standard shumë më i lartë se metodat tradicionale të testimit të cilat kërkojnë të gjejnë dobësi, por nuk mund të premtojnë se të tjera nuk ekzistojnë.
Përdorimi i inteligjencës artificiale agjentike për të kryer verifikim formal është një përparim i madh për kriptografinë dhe inteligjencën artificiale njësoj. Megjithatë, është jashtëzakonisht e vështirë për t’u llogaritur, kështu që Google i tha Wired se ende nuk është e qartë se sa praktike do të jetë përdorimi i saj në një shkallë më të gjerë.
Studiuesit e DeepMind theksojnë se gjetjet e tyre janë vetëm një moment historik në një proces më të madh. “Jemi shumë të entuziazmuar nga ky rezultat, por ka një rrugë të gjatë për të bërë para se të jemi në gjendje ta shkallëzojmë këtë në të gjithë softuerët e botës, dhe ne duam ta bëjmë këtë”, thotë për WIRED Swarat Chaudhuri, një shkencëtar kërkimor i DeepMind.
Është e rëndësishme të theksohet se validimi është për vetë protokollin dhe jo për aplikacionin Signal në tërësi. Megjithatë, inkurajim mund të merret nga fakti se, kur u testua kundër versioneve më të vjetra të Signal që përmbanin dobësi të njohura, ai i identifikoi ato dhe i sinjalizoi si të dështuara në verifikimin formal.
Gjithashtu, vlen të përmendet se Google ishte në gjendje të ndërtonte mbi disa punë të mëparshme të verifikimit formal, të cilat tashmë ishin përfunduar pa përdorimin e inteligjencës artificiale. Kjo analizë zgjati katër javë dhe shkalla e burimeve të kërkuara nuk është zbuluar ende, kështu që nuk duhet të presim që një sërë protokollesh të tjera të validohen brenda natës. Gjithsesi, kjo është një çështje shumë e rëndësishme.