Google DeepMind süni intellektlə Signal protokolunun təhlükəsizliyini necə təsdiqlədi?

Süni intellektlə kriptoqrafiyada yeni mərhələ

Google DeepMind tədqiqatçıları agentic AI adlı qabaqcıl süni intellekt texnologiyasından istifadə edərək, geniş istifadə olunan Signal protokolunun əsas kriptoqrafik zəmanətlərini riyazi olaraq təsdiqləyiblər. Bu layihə cəmi dörd həftə ərzində həyata keçirilib və təhlükəsizlik sahəsində mühüm irəliləyiş hesab olunur.

Signal protokolu və onun əhəmiyyəti

Signal protokolu WhatsApp, Google Messages və Signal kimi məşhur mesajlaşma platformalarında istifadə olunur. Bu protokol istifadəçilərin mesajlarının məxfiliyini təmin edir və məlumatların üçüncü tərəflərdən qorunmasına zəmanət verir. DeepMind-in yeni AI çərçivəsi – AlphaProof Code – proqram təminatının düzgün işləməsini formal təsdiq yolu ilə yoxlayır.

Formal təsdiqin sürətlənməsi və yeni imkanlar

Əvvəllər formal təsdiq prosesi çox vaxt aparırdı və məhdud sahələri əhatə edirdi. Agentic AI-nin tətbiqi ilə bu müddət qısalır, daha geniş proqram təminatı hissələri təsdiqlənə bilir. DeepMind-in tədqiqatçısı Pushmeet Kohli bildirir ki, bu yanaşma banklar və digər sahələrdə proqram təminatının təhlükəsizliyini təsdiqləmək üçün geniş istifadə oluna bilər.

Kəşf edilən zəifliklər və gələcək perspektivlər

AlphaProof Code köhnə Signal versiyalarındakı bəzi zəiflikləri aşkar edib. Signal Foundation-un texnologiya direktoru Ehren Kret DeepMind-in yanaşmasını yüksək qiymətləndirərək deyib: “AI ilə formal təsdiq Signal protokolunun təhlükəsizliyinə daha böyük inam yaradır.”

İnsan və AI əməkdaşlığının rolu

DeepMind tədqiqatçıları insan-AI əməkdaşlığını inkişaf etdirərək tam avtomatlaşdırılmış sübut sistemindən qaçmağa çalışırlar. Swarat Chaudhuri vurğulayır ki, AI-nin həm məqsədləri, həm də sübutları yaratması ideal deyil, ortaq əməkdaşlıq daha effektivdir.

Təhlükəsizlikdə yeni üfüqlər

Bu araşdırma Google-un kommersiya məhsulu və ya xidməti kimi təqdim olunmayıb, lakin tədqiqatçılar nəticələri proqram təminatının təhlükəsizliyində yeni mərhələ kimi qiymətləndirirlər. Formal təsdiqin genişlənməsi proqram təminatının etibarlılığını artıraraq istifadəçilərin məlumatlarının qorunmasını gücləndirəcək.

Bu nailiyyət süni intellektin təhlükəsizlik sahəsində tətbiqinin gələcəyinə işıq tutur və proqram təminatının etibarlı olmasını təmin etmək üçün yeni imkanlar açır.