Google DeepMind-ը հաստատել է Signal արձանագրության անվտանգությունը

Google DeepMind-ի հետազոտողները գործակալային արհեստական բանականության միջոցով մաթեմատիկորեն հաստատել են Signal արձանագրության մի շարք առանցքային կրիպտոգրաֆիկ երաշխիքների հուսալիությունը: Ֆորմալ ստուգման այս բարդ աշխատանքների համար DeepMind-ի մասնագետներն օգտագործել են AlphaProof Code անվանումը կրող արհեստական բանականության համակարգը: DeepMind-ն այս վերլուծական նախագիծն իրականացրել է անվճար հիմունքներով՝ որպես հետազոտական նախաձեռնություն: Google ընկերությունը, սակայն, հրաժարվել է բացահայտել Signal-ի վերլուծության նախագծի վրա կատարված ծախսերի չափը:

Google DeepMind-ի կողմից իրականացված Signal արձանագրության հետազոտական նախագիծը տևել է չորս շաբաթ: Իրականացված վերլուծությունը չի ընդգրկել Signal բջջային հավելվածն ամբողջությամբ, այլ կենտրոնացել է արձանագրության վրա: Այնուամենայնիվ, երբ DeepMind-ի վերլուծական համակարգը կիրառվել է Signal-ի ավելի հին տարբերակների նկատմամբ, այն հաջողությամբ հայտնաբերել է արդեն իսկ հայտնի և վաղուց շտկված խոցելիությունները:

Արհեստական բանականություն և կոդի անվտանգություն

Signal ընկերության տեխնիկական տնօրեն Էրեն Կրետը մեկնաբանել է իրականացված ստուգման արդյունքները: Նա մասնավորապես հայտարարել է. «Արհեստական բանականությամբ պայմանավորված անվտանգության սպառնալիքների աճին զուգընթաց՝ Signal արձանագրության իրականացման խիստ ստուգումը մեզ ավելի մեծ վստահություն է տալիս մեր կոդի գաղտնիության երաշխիքների նկատմամբ»:

DeepMind-ի հետազոտող գիտնական Սվարատ Չաուդհուրին նշել է, որ հետազոտական թիմը շատ ոգևորված է ստացված արդյունքով: Նա մասնավորապես ասել է. «Մենք շատ ոգևորված ենք այս արդյունքով, բայց դեռ երկար ճանապարհ կա անցնելու, մինչև հնարավոր լինի սա տարածել աշխարհի ամբողջ ծրագրային ապահովման վրա, և մենք ցանկանում ենք անել դա»: Չաուդհուրին նաև հավելել է. «Մենք չենք ցանկանում այնպիսի աշխարհ, որտեղ արհեստական բանականությունն ինքն է գեներացնում նպատակները, ինքն է գեներացնում ապացույցները և ըստ էության անցնում ինքնուրույն գրված թեստերը»:

Ծրագրային ապահովման ճշգրտության ստուգում

Նախագծի վերաբերյալ իր կարծիքն է հայտնել նաև Պուշմիտ Կոհլին: Նա նշել է. «Եթե կարողանաք այժմ ստուգել այս իրականացումների ճշգրտությունը, ապա կարող եք հանգիստ լինել»: Չորս շաբաթ տևած այս հետազոտական ծրագիրը ցույց է տվել, թե ինչպես կարող է AlphaProof Code համակարգն օգտագործվել կրիպտոգրաֆիկ երաշխիքների ֆորմալ ստուգման համար: