Google DeepMind жасанды интеллект көмегімен Signal криптографиясын тексерді

Google DeepMind зерттеушілері ЖИ-агенттердің көмегімен Signal хаттамасының негізгі криптографиялық кепілдіктерін математикалық түрде тексеріп шықты. Ars Technica хабарлауынша, бұл жоба төрт апта ішінде жүзеге асырылып, киберқауіпсіздік саласындағы маңызды қадам болды.

Математикалық тексеру немесе формальды верификация бағдарламалық жасақтаманың қатесіз жұмыс істейтінін қатаң математикалық әдістермен дәлелдеуге мүмкіндік береді. Бұл әдіс бағдарламада осалдықтардың жоқтығына кепілдік беретіндіктен, сала мамандары оны бағдарламалық қауіпсіздіктегі басты мақсат деп атайды.

AlphaProof Code мүмкіндіктері

• Жоба барысында Google DeepMind компаниясының AlphaProof Code деп аталатын жаңа жасанды интеллект (ЖИ) құрылымы қолданылды.
• Зерттеушілер Signal протоколының бөліктерінен жаңа осалдықтар тапқан жоқ.
• Жүйе Signal бағдарламасының ескі нұсқаларындағы бұрыннан белгілі қателерді дұрыс анықтап берді.

Signal бас технологиялық директоры Эрен Крет бұл тәсілдің маңыздылығын атап өтіп, ЖИ арқылы қауіпсіздік қатерлері өскен сайын кодтың құпиялылық кепілдіктеріне сенім арта түсетінін жеткізді. Дегенмен, бұл технологияның әлемдегі барлық бағдарламалық жасақтамаға толық көлемде қолданыла алатыны әзірге белгісіз.

DeepMind зерттеушісі Сварат Чаудхури бұл нәтижеге қуанышты екенін айтып, барлық әлемдік бағдарламаларды осындай деңгейде тексеру үшін әлі көп жұмыс істеу керегін баса айтты. Сонымен қатар, Google бұл зерттеуді тегін жүргізгенімен, оның коммерциялық өнім ретінде қашан шығатыны туралы ақпарат берген жоқ.