گوگل ڈیپ مائنڈ نے سگنل خفیہ کاری کی ریاضیاتی تصدیق مکمل کر لی ہے۔ کمپنی کا نیا نظام الفاپروف کوڈ صرف چار ہفتوں میں 65 لاکھ سطروں پر مشتمل ریاضیاتی ثبوت تیار کر کے یہ ثابت کر چکا ہے کہ نجی پیغامات کی حفاظت کرنے والا کوڈ وہی کرتا ہے جو اس سے توقع کی جاتی ہے۔ یہ کام 10 نومبر 2026 کو شائع ہوا اور اسے بڑے پیمانے پر استعمال ہونے والے خفیہ کاری کے نظام کی پہلی مصنوعی ذہانت کی مدد سے کی گئی رسمی تصدیق قرار دیا جا رہا ہے۔
یہ خبر وطن نیوز پر پڑھیں: گوگل ڈیپ مائنڈ کا الفاپروف: سگنل کی خفیہ کاری کی ریاضیاتی تصدیق چار ہفتوں میں مکمل
اہم نکات
- گوگل ڈیپ مائنڈ نے 10 نومبر 2026 کو اعلان کیا کہ اس کے نظام الفاپروف کوڈ نے سگنل کی خفیہ کاری کی رسمی تصدیق مکمل کر لی ہے۔
- مصنوعی ذہانت کے ایجنٹوں نے چار ہفتوں میں تقریباً 65 لاکھ سطروں پر مشتمل لین ثبوت تیار کیا، جس کی جانچ لین کے نظام نے مشینی طور پر کی۔
- تصدیق کا ہدف لب سگنل تھا، جو سگنل پروٹوکول کو نافذ کرنے والی کھلی لائبریری ہے، اور اس کا نسخہ صفر اعشاریہ 105 اعشاریہ 4 تھا، جسے آرم لینکس کے لیے مرتب کیا گیا تھا۔
- ثبوت میں دو اہم حصوں کا احاطہ کیا گیا: پی کیو ایکس ڈی ایچ ہینڈ شیک، جو گفتگو شروع کرتا ہے، اور ٹرپل ریچٹ، جو ہر پیغام کے لیے خفیہ کلید بدلتا ہے۔
- ثابت شدہ خصوصیات میں پیغامات کی رازداری، دوسرے فریق کی شناخت کی تصدیق، کلید لیک ہونے کے بعد بھی پرانے پیغامات کی حفاظت، اور حملے کے بعد گفتگو کی سلامتی کی بحالی شامل ہیں۔
- انسانوں نے سلامتی کی تعریفیں خود لکھیں اور ہر تعریف کا جائزہ لیا۔ ماہرین نے ثبوت کے مواد کا تقریباً ایک فیصد خود دیکھا، باقی کی جانچ مشین نے کی۔
- جانچ کے دوران پرانی دو خامیوں کو دوبارہ کوڈ میں ڈالا گیا تو نظام نے دونوں صورتوں میں درست طور پر ثابت کیا کہ کوڈ غیر محفوظ ہے۔
- تصدیق صرف دو افراد کے درمیان گفتگو تک محدود ہے۔ گروپ پیغامات، کلید بنانے کا عمل، سرور کا کوڈ اور مہر بند بھیجنے والے کا نظام اس کے دائرے سے باہر ہیں۔
الفاپروف کوڈ نے کیا ثابت کیا
الفاپروف کوڈ ایک ایسا نظام ہے جس میں انسانی ماہرین اور مصنوعی ذہانت کے ایجنٹ مل کر کام کرتے ہیں۔ پہلے انسان سگنل کی سلامتی کے اہداف کو لین زبان میں رسمی بیانات کی صورت میں لکھتے ہیں، پھر 40 سے 80 ایجنٹوں کی ٹیمیں، جو جیمنی کاربن سے چلتی ہیں، 24 سے 72 گھنٹے تک مسلسل چل کر ثبوت لکھتی ہیں۔ لین کا چھوٹا تصدیقی نظام ہر ثبوت کی مشینی جانچ کرتا ہے، اس لیے انسانوں کو 65 لاکھ سطریں ہاتھ سے پڑھنے کی ضرورت نہیں پڑتی۔
اس کام کی خاص بات یہ ہے کہ تصدیق کاغذ پر لکھے گئے پروٹوکول کی نہیں، بلکہ اصل مرتب شدہ کوڈ کی کی گئی ہے، یعنی ان ہی ہدایات کی جو حقیقی فون پر چلتی ہیں۔ ڈیپ مائنڈ کے مطابق یہ پہلی بار ہے کہ کسی بڑے پیمانے پر استعمال ہونے والے خفیہ کاری کے نظام کی تنصیب کی سطح پر رسمی تصدیق کسی بھی طریقے سے کی گئی ہو، مصنوعی ذہانت کی مدد سے یا اس کے بغیر۔
گوگل کا دفتر۔ گوگل ڈیپ مائنڈ کی ٹیم نے سگنل کی خفیہ کاری کی تصدیق کے لیے الفاپروف کوڈ نظام تیار کیا۔
سگنل خفیہ کاری کی تصدیق کی حدود کیا ہیں
تصدیق اہم ہے، لیکن اس کی حدود بھی واضح ہیں۔ ثبوت صرف دو افراد کے درمیان گفتگو پر لاگو ہوتا ہے، گروپ پیغامات پر نہیں۔ یہ لب سگنل کے ایک مخصوص نسخے پر لاگو ہوتا ہے، جو ایک چھوٹے آزمائشی پروگرام کے اندر آرم لینکس کے لیے مرتب کیا گیا تھا، نہ کہ آپ کے فون پر نصب مکمل سگنل ایپ پر۔ ایپ، سرور، کلیدوں کے سرور اور سلامتی نمبر دکھانے والا انٹرفیس اس تصدیق میں شامل نہیں ہیں۔
اسی طرح کلید بنانے کا عمل، مہر بند بھیجنے والے کا نظام، سرور کا کوڈ اور سائیڈ چینل حملے بھی اس دائرے سے باہر ہیں۔ کم سطح کے خفیہ کاری کے اجزا کو محفوظ مانا گیا ہے، ثابت نہیں کیا گیا۔ وائرڈ نے خبر دی کہ جانچ میں کوڈ میں کوئی نئی خامی نہیں ملی۔ سگنل کے چیف ٹیکنالوجی افسر ایرن کریٹ نے کہا کہ اس کام سے کوڈ کی رازداری کی ضمانتوں پر ان کا اعتماد مزید بڑھ گیا ہے۔
یہ کام کیوں اہم ہے
سگنل پروٹوکول دنیا بھر میں اختتام سے اختتام تک خفیہ کردہ پیغام رسانی کا عالمی معیار ہے، اور اس کی مختلف شکلیں واٹس ایپ، میسنجر اور گوگل میسجز میں بھی استعمال ہوتی ہیں۔ اب تک سلامتی کی ضمانتیں زیادہ تر ریاضیاتی ماڈل پر مبنی تھیں، جبکہ اصل کوڈ میں کلیدوں یا حالت کی تبدیلی میں غلطی کا خطرہ رہتا تھا۔ الفاپروف کوڈ نے اس خلا کو کم کیا ہے، کیونکہ اس نے ماڈل اور اصل کوڈ دونوں کو ایک ہی ثبوت سے جوڑ دیا ہے۔
ڈیپ مائنڈ نے سگنل کی تعریفیں اور ثبوت کے مواد کو کھلے ذرائع کے طور پر جاری کر دیا ہے۔ تاہم الفاپروف کوڈ نظام ابھی عام استعمال کے لیے جاری نہیں کیا گیا ہے۔ محققین کا اگلا ہدف گروپ پیغامات کی تصدیق ہے۔
نتیجہ
گوگل ڈیپ مائنڈ کی الفاپروف کوڈ تصدیق نے ثابت کیا ہے کہ مصنوعی ذہانت اب محض کوڈ لکھنے تک محدود نہیں، بلکہ پیچیدہ ترین سلامتی کے نظاموں کی ریاضیاتی جانچ بھی کر سکتی ہے۔ چار ہفتوں میں 65 لاکھ سطروں کا ثبوت سگنل کی خفیہ کاری کے لیے ایک بڑا قدم ہے، لیکن یہ پوری ایپ کی سلامتی کا سرٹیفکیٹ نہیں ہے۔ اس کی حدود کو سمجھنا بھی اتنا ہی ضروری ہے جتنا اس کی کامیابی کو سراہنا۔
