गूगल ने सिग्नल, जो अपनी गोपनीयता-केंद्रित सुविधाओं के लिए व्यापक रूप से मान्यता प्राप्त मैसेजिंग एप्लिकेशन है, की सुरक्षा विशेषताओं के विश्लेषण और सत्यापन के लिए आर्टिफिशियल इंटेलिजेंस (एआई) का उपयोग किया। यह परियोजना कंपनी के एआई अनुसंधान प्रभाग, गूगल डीपमाइंड द्वारा गणितीय प्रमाणों का उपयोग करके मैसेजिंगर के कोड के अंशों की जांच के लिए निष्पादित की गई थी।
इस जांच में अल्फाप्रूफ कोड का उपयोग किया गया, जो विशेष रूप से औपचारिक प्रमाणों से निपटने के लिए बनाया गया एक सिस्टम है। लगभग चार सप्ताह तक, इस उपकरण ने सिग्नल के कोड का विश्लेषण किया, जिससे शोधकर्ताओं को यह पुष्टि करने में मदद मिली कि कुछ सुरक्षा गुण गणितीय रूप से मान्य हैं।
यह कार्रवाई एआई के एक ऐसे अनुप्रयोग को दर्शाती है जो पाठ, छवियों या कार्यक्रमों के निर्माण से परे है; इस तकनीक का उपयोग विफलताओं का पता लगाने और औपचारिक रूप से यह सत्यापित करने के लिए भी किया जा सकता है कि कम्प्यूटेशनल सिस्टम पूर्व-निर्धारित मानकों का पालन करते हैं।
औपचारिक सत्यापन डेवलपर्स को उन समस्याओं का पता लगाने की क्षमता प्रदान करता है जो पारंपरिक ऑडिट में छूट सकती हैं। इसके अलावा, यह व्यक्तिगत डेटा की सुरक्षा के लिए डिज़ाइन किए गए सॉफ़्टवेयर के महत्वपूर्ण घटकों में विश्वास बढ़ाने में योगदान देता है।
सिग्नल के विशिष्ट संदर्भ में, यह अध्ययन विशेष रूप से महत्वपूर्ण है, क्योंकि गोपनीयता एप्लिकेशन के केंद्रीय स्तंभों में से एक है। मैसेजिंगर एंड-टू-एंड एन्क्रिप्शन के माध्यम से बातचीत की सुरक्षा सुनिश्चित करता है, जो प्रसारण के दौरान तीसरे पक्ष को संदेश सामग्री तक पहुंचने से रोकता है।
हालांकि, इस शोध के दायरे को सीमित करना महत्वपूर्ण है: कोड के विशिष्ट गुणों का गणितीय प्रमाण यह संकेत नहीं देता है कि पूरा एप्लिकेशन कमजोरियों से मुक्त है। अन्य घटकों में समस्याओं, कार्यान्वयन विफलताओं या उपयोगकर्ताओं के अपने उपकरणों पर लक्षित हमलों से संबंधित जोखिम बने रहते हैं।
गूगल की पहल दर्शाती है कि कैसे एआई सिस्टम सॉफ़्टवेयर को अधिक सुरक्षित बनाने के लिए सहयोग कर सकते हैं, विशेषज्ञों को जटिल कोड के विश्लेषण और उनकी सुरक्षा गारंटियों को आधार देने वाले गणितीय प्रमाण तैयार करने में सहायता करते हैं।
