Google DeepMind-მა Signal-ის დაშიფვრის სისტემა ხელოვნური ინტელექტით შეამოწმა
ახალი ეტაპი კიბერუსაფრთხოებაში
Google-ის კვლევითმა ლაბორატორიამ, DeepMind-მა, მნიშვნელოვანი ტექნოლოგიური მიღწევა დააანონსა. კომპანიის მიერ შემუშავებულმა ხელოვნური ინტელექტის აგენტებმა წარმატებით დაამტკიცეს Signal-ის დაშიფვრის პროტოკოლის უსაფრთხოება. ეს არის პირველი შემთხვევა, როდესაც ასეთი მასშტაბის მქონე დაშიფვრის სისტემა ფორმალურად, მათემატიკური მეთოდებით იქნა ვერიფიცირებული. Signal-ის პროტოკოლი საფუძვლად უდევს ისეთ პოპულარულ მესენჯერებს, როგორებიცაა WhatsApp, Messenger და Google Messages, ამიტომ მისი დაცულობა მილიარდობით მომხმარებლისთვის გადამწყვეტია.
როგორ მუშაობს AlphaProof Code
ფორმალური ვერიფიკაცია, ანუ პროგრამული უზრუნველყოფის მათემატიკური დამტკიცება, ტრადიციულად ძალიან ნელი და რესურსტევადი პროცესია. მაგალითად, წლების წინ მსგავსი პროცედურა seL4 მიკრობირთვისთვის 20 ადამიანის მრავალწლიან შრომას მოითხოვდა. ახალი ჩარჩო, სახელად AlphaProof Code, ამ პროცესს რადიკალურად ცვლის. სისტემა იყენებს Gemini 4 Carbon-ის ბაზაზე მომუშავე აგენტებს, რომლებმაც სულ რაღაც ოთხ კვირაში 6,5 მილიონი სტრიქონი მათემატიკური მტკიცებულება შექმნეს.
მთელი პროცესი მართვადი იყო: ადამიანმა ექსპერტებმა განსაზღვრეს უსაფრთხოების მიზნები, ხოლო აგენტებმა, Lean-ის პროგრამირების ენის გამოყენებით, დაწერეს და შეამოწმეს შესაბამისი კოდი. კვლევამ დაადასტურა ისეთი მნიშვნელოვანი მახასიათებლები, როგორიცაა „წინსწრები საიდუმლოება“ (forward secrecy), რაც უზრუნველყოფს ძველი შეტყობინებების დაცვას მაშინაც კი, თუ მოწყობილობის გასაღებები მოგვიანებით მოიპარეს.
რა შეამოწმეს და რა რჩება მომავლისთვის
DeepMind-ის გუნდმა წარმატებით დაადგინა, რომ სისტემა წარმატებით უმკლავდება ავთენტიფიკაციასა და კომპრომეტირების შემდგომ უსაფრთხოებას. მეტიც, მათ წარსულში არსებული ორი ცნობილი ხარვეზი ხელოვნურად დააბრუნეს სისტემაში და AI-მ ორივე მათგანი მარტივად აღმოაჩინა. თუმცა, მკვლევრები აღნიშნავენ, რომ ეს არ ნიშნავს, თითქოს Signal „აბსოლუტურად დაუცველია“. კვლევა მოიცავდა მხოლოდ ერთ-ერთ ჩატებს და არა ჯგუფურ შეტყობინებებს, ასევე არ შეხებია გასაღებების გენერირების პროცესს.
Swarat Chaudhuri, DeepMind-ის მკვლევარი, აღნიშნავს, რომ ეს მხოლოდ დასაწყისია. მისი თქმით, მთავარი გამოწვევა დღეს არა თავად შემოწმება, არამედ იმის გადაწყვეტაა, თუ რა უნდა შემოწმდეს და როგორ ჩამოყალიბდეს კონკრეტული უსაფრთხოების მოთხოვნები. Google-მა კვლევის შედეგები და მეთოდოლოგია GitHub-ზე გამოაქვეყნა, რათა სხვა სპეციალისტებმაც შეძლონ მათი გადამოწმება.
რას ნიშნავს ეს ჩვენთვის
საქართველოს მომხმარებლებისთვის, რომლებიც აქტიურად იყენებენ WhatsApp-სა და Signal-ს, ეს სიახლე ირიბი, მაგრამ მნიშვნელოვანი გარანტიაა. როდესაც მსოფლიოს წამყვანი ტექნოლოგიური კომპანიები AI-ს იყენებენ კრიტიკული ინფრასტრუქტურის დასაცავად, ეს ამცირებს მასშტაბური კიბერშეტევების რისკს. თუმცა, უნდა გვახსოვდეს, რომ ციფრული უსაფრთხოება არ არის სტატიკური მდგომარეობა — ეს არის მუდმივი პროცესი, სადაც ხელოვნური ინტელექტი მომავალში არა მხოლოდ დამცველის, არამედ შესაძლოა თავდამსხმელის როლშიც ვიხილოთ. ამ ეტაპზე კი, Signal-ის პროტოკოლის ამგვარი „მათემატიკური დაზღვევა“ ნდობას ამყარებს ჩვენს ყოველდღიურ კომუნიკაციაზე.