WhatsApp और Signal पर निजी बातचीत करने वाले करोड़ों यूजर्स के लिए Google DeepMind ने साइबर सुरक्षा के क्षेत्र में एक बड़ी उपलब्धि हासिल की है। कंपनी के शोधकर्ताओं ने अपने नए AI सिस्टम AlphaProof Code की मदद से Signal के एन्क्रिप्शन प्रोटोकॉल के महत्वपूर्ण सुरक्षा पहलुओं को गणितीय रूप से सत्यापित किया है। यही प्रोटोकॉल WhatsApp और Google Messages जैसे प्लेटफॉर्म पर भी निजी बातचीत को सुरक्षित रखने में इस्तेमाल होता है।

इस काम में AI एजेंट्स ने महज चार सप्ताह में 60 लाख से अधिक लाइनों के गणितीय प्रूफ तैयार किए। खास बात यह है कि सिस्टम ने Signal के पुराने कोड में जानबूझकर दोबारा शामिल किए गए सुरक्षा बग को भी पकड़ लिया। Google DeepMind का कहना है कि यह उपलब्धि भविष्य में महत्वपूर्ण सॉफ्टवेयर और डिजिटल सेवाओं की सुरक्षा जांचने का तरीका बदल सकती है।

क्या है Google DeepMind का AlphaProof Code?

Google DeepMind ने सॉफ्टवेयर की सुरक्षा को गणितीय रूप से जांचने के लिए AlphaProof Code नाम का नया AI फ्रेमवर्क तैयार किया है। इसकी मदद से किसी सॉफ्टवेयर के कोड को केवल चलाकर टेस्ट नहीं किया जाता, बल्कि गणितीय प्रमाण के जरिए यह जांचा जाता है कि वह तय किए गए सुरक्षा नियमों का पालन कर रहा है या नहीं।

इस प्रक्रिया को Formal Verification कहा जाता है। इसमें कोड की कार्यप्रणाली को गणितीय भाषा में परिभाषित किया जाता है और फिर यह साबित किया जाता है कि प्रोग्राम निर्धारित शर्तों के अनुसार काम करता है।

Google DeepMind के शोधकर्ताओं ने Signal के क्रिप्टोग्राफिक प्रोटोकॉल की जांच के लिए इसी तकनीक का इस्तेमाल किया। यह प्रोटोकॉल मैसेज को एन्क्रिप्ट करने और केवल सही प्राप्तकर्ता तक उसकी पहुंच सुनिश्चित करने में महत्वपूर्ण भूमिका निभाता है।

चार सप्ताह में तैयार किए 60 लाख से ज्यादा गणितीय प्रूफ

इस प्रोजेक्ट में Google DeepMind के AI एजेंट्स ने अक्टूबर 2026 के दौरान करीब चार सप्ताह तक काम किया। इस दौरान Gemini Carbon मॉडल से संचालित एजेंट्स ने Lean नाम की गणितीय प्रूफ लैंग्वेज में 60 लाख से अधिक लाइनों के प्रमाण तैयार किए।

इस प्रक्रिया में AI ने अकेले काम नहीं किया। मानव शोधकर्ताओं ने पहले यह तय किया कि सॉफ्टवेयर की किन सुरक्षा विशेषताओं को साबित करना है। इसके बाद AI एजेंट्स ने उन विशेषताओं से जुड़े गणितीय प्रमाण तैयार किए।

AI द्वारा तैयार किए गए प्रूफ की जांच भी स्वचालित तरीके से की गई। सिस्टम ने उन हिस्सों को अलग किया, जहां मानव विशेषज्ञों की दोबारा समीक्षा जरूरी थी। इसके बाद शोधकर्ताओं को पूरे कोडबेस का केवल करीब एक फीसदी हिस्सा ही विशेष रूप से समीक्षा करना पड़ा।

इससे पहले इतने बड़े स्तर पर किसी व्यापक रूप से इस्तेमाल होने वाले क्रिप्टोग्राफिक प्रोटोकॉल के वास्तविक कोड की गणितीय जांच करना काफी समय लेने वाला काम माना जाता था।

दो पुराने सिक्योरिटी बग को भी पकड़ लिया

Google DeepMind ने यह जांचने के लिए कि AlphaProof Code वास्तव में सुरक्षा खामियों को पहचान सकता है या नहीं, एक खास परीक्षण किया।

शोधकर्ताओं ने Signal के कोड के एक अलग संस्करण में पहले से ठीक किए जा चुके दो पुराने बग को दोबारा शामिल किया। इसके बाद AI सिस्टम से उस कोड की जांच कराई गई।

नतीजे में AlphaProof Code ने दोनों मामलों में सुरक्षा से जुड़ी समस्या पहचान ली और गणितीय प्रमाण के जरिए दिखाया कि बग वाले कोड में सुरक्षा की शर्तें पूरी नहीं हो रही थीं।

इस परीक्षण से यह भी पता चला कि AI केवल सही कोड के पक्ष में प्रमाण तैयार करने तक सीमित नहीं है, बल्कि गलत कोड में मौजूद सुरक्षा खामियों को भी सामने ला सकता है।

WhatsApp और Signal यूजर्स के लिए इसका क्या मतलब है?

इस शोध का सबसे महत्वपूर्ण पहलू यह है कि Signal का क्रिप्टोग्राफिक प्रोटोकॉल कई लोकप्रिय मैसेजिंग प्लेटफॉर्म की सुरक्षा व्यवस्था का आधार है। WhatsApp और Google Messages भी इस प्रोटोकॉल के संस्करणों का इस्तेमाल करते हैं।

एंड-टू-एंड एन्क्रिप्शन (E2EE) के तहत मैसेज भेजने वाले के डिवाइस पर एन्क्रिप्ट होता है और उसे केवल निर्धारित प्राप्तकर्ता ही पढ़ सकता है। बीच में कोई तीसरा व्यक्ति मैसेज को हासिल कर ले, तो भी सामान्य तौर पर वह उसे पढ़ नहीं सकता।

Google DeepMind की इस जांच से Signal प्रोटोकॉल के महत्वपूर्ण सुरक्षा गुणों को लेकर भरोसा बढ़ा है। इससे भविष्य में मैसेजिंग सेवाओं के एन्क्रिप्शन कोड की जांच और मजबूत बनाने में मदद मिल सकती है।

हालांकि, यह समझना जरूरी है कि Google ने WhatsApp और Signal के पूरे मोबाइल ऐप की सुरक्षा की जांच नहीं की है। शोध मुख्य रूप से Signal के क्रिप्टोग्राफिक कोड और उससे जुड़ी निर्धारित सुरक्षा विशेषताओं पर केंद्रित था। इसलिए इसे हर तरह के साइबर हमले से पूरी सुरक्षा की गारंटी नहीं माना जाना चाहिए।

Google DeepMind ने ओपन सोर्स किए अपने प्रूफ

Google DeepMind ने इस शोध से जुड़े तकनीकी दस्तावेज, स्पेसिफिकेशन और गणितीय प्रमाण ओपन सोर्स समुदाय के लिए उपलब्ध कराए हैं। इससे दूसरे शोधकर्ता और डेवलपर्स भी इनका अध्ययन कर सकते हैं और भविष्य में अपने सॉफ्टवेयर की सुरक्षा जांचने के लिए इस तकनीक का इस्तेमाल कर सकते हैं।

कंपनी का लक्ष्य भविष्य में इस तरह की AI आधारित तकनीक का इस्तेमाल बैंकिंग सिस्टम, मेडिकल डिवाइस, पावर ग्रिड और दूसरे महत्वपूर्ण सॉफ्टवेयर की सुरक्षा जांचने में करना है।

यह उपलब्धि AI के इस्तेमाल को केवल कोड लिखने और गलतियां सुधारने से आगे ले जाती है। अब AI की मदद से यह गणितीय रूप से साबित करने की दिशा में भी काम हो रहा है कि कोई महत्वपूर्ण सॉफ्टवेयर अपने तय सुरक्षा मानकों का पालन करता है या नहीं।