Signal एन्क्रिप्शन की AlphaProof Code से जांच, नहीं मिली नई खामी

AlphaProof Code ने Signal में क्या पकड़ा?

जब इसी टूल से Signal के पुराने वर्जन जांचे गए, तो उसने सुरक्षा खामियां पकड़ीं और दिखाया कि वह प्रोटोकॉल फॉर्मली वेरिफाई नहीं हो सकता। पर ये खामियां पहले से ज्ञात थीं और लंबे समय से ठीक की जा चुकी हैं।

इसका असर Signal तक सीमित नहीं है। WhatsApp, Facebook Messenger और Google Messages भी Signal प्रोटोकॉल इस्तेमाल करते हैं। Signal का प्रोटोकॉल ओपन-सोर्स है, यानी कोई भी उसे परख सकता है। ऐप में एन्क्रिप्शन डिफ़ॉल्ट रूप से चालू रहता है, जबकि Telegram में ऐसा नहीं है।

आमतौर पर ऐसा सत्यापन हाथ से करना धीमा काम है। शोधकर्ताओं को पहले बताना पड़ता है कि सॉफ्टवेयर में क्या साबित करना है, फिर उसे फॉर्मूलों में बदलना पड़ता है, और तब प्रूफ बनता है। AI एजेंट इस समय को काफी घटा सकते हैं। Signal के CTO Ehren Kret ने कहा कि AI से जुड़े खतरे बढ़ने के दौर में इस तरह की जांच कोड की प्राइवेसी गारंटियों पर और भरोसा देती है।

इस जांच की सीमाएं क्या हैं?

DeepMind के अनुसार विश्लेषण का दायरा सीमित था और पूरे Signal मोबाइल ऐप को कवर नहीं करता। यह काम Signal Foundation के पहले के फॉर्मल वेरिफिकेशन पर भी आंशिक रूप से टिका था। यह भी साफ नहीं कि इसे बड़े पैमाने पर और वाजिब खर्च में ऑटोमेट किया जा सकता है या नहीं।

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