الذكاء الاصطناعي يتحقق من تشفير سيجنال المستخدم في واتساب

استخدمت جوجل ديب مايند الذكاء الاصطناعي للتحقق رياضيا من بروتوكول التشفير الخاص بتطبيق سيجنال، عبر إطار AlphaProof Code، ومراجعة مدى مطابقة الشيفرة البرمجية للتصميم الأمني المحدد لها حتى مستوى لغة الآلة.

أبرز النقاط

• استخدمت جوجل ديب مايند إطار AlphaProof Code للتحقق رياضيا من تنفيذ بروتوكول التشفير الخاص بتطبيق سيجنال.
• قال فريق الشركة إنه لم يكتشف أخطاء ضمن نطاق الفحص، الذي اختبر مطابقة الشيفرة للتصميم الأمني حتى مستوى لغة الآلة.
• أنتجت الأنظمة أكثر من 6 ملايين سطر من البراهين الرياضية خلال أربعة أسابيع في أكتوبر 2026، مع مراجعة بشرية لنحو 1% من قاعدة الشيفرة.
• لا يثبت التحقق سلامة جميع مكونات التطبيق أو الأجهزة، ولا يضمن حماية مطلقة للمحادثات.

وتكتسب التجربة أهمية لارتباط تقنيات التشفير المستخدمة في بروتوكول سيجنال بحماية المحادثات عبر واتساب، إلى جانب تطبيقات أخرى تعتمد التشفير من طرف إلى طرف. ويستهدف هذا النوع من الفحص اختبار تنفيذ الشيفرة للتصميم الأمني المقصود، لكنه لا يضمن بمفرده حماية جميع مكونات التطبيق أو الأجهزة.

أخبار ذات صلة

وزير الصحة يستقبل نظيره اللاتفي لمتابعة التعاون في 14 مجالا صحياالفيروسات التنفسية.. كيف تميز الأمهات بين الإنفلونزا وكورونا والمخلوي؟

التحقق من بروتوكول سيجنال

اعتمد فريق جوجل ديب مايند على AlphaProof Code لإجراء عملية تحقق رياضي واسعة النطاق، وفحص ما إذا كانت الشيفرة تنفذ المواصفات الأمنية الموضوعة لها بصورة صحيحة. وتقوم تقنية التحقق الرسمي بتحويل خصائص البرنامج وشروط عمله إلى براهين رياضية يمكن فحصها آليا.

وقال سوارات تشودري، الباحث العلمي بالشركة، عبر منصة إكس، إن الفريق أتم عملية التحقق من دون اكتشاف أخطاء ضمن نطاق الفحص الذي أجراه. وتوضح النتيجة قدرة أنظمة الذكاء الاصطناعي على التعامل مع عمليات رياضية معقدة ترتبط بأمن البرمجيات، من دون أن تتجاوز ما شمله الاختبار.

أرقام تجربة AlphaProof Code

خلال أربعة أسابيع في أكتوبر 2026، أنتجت أنظمة AlphaProof Code أكثر من 6 ملايين سطر من البراهين الرياضية باستخدام لغة Lean. واستند العمل إلى نماذج Gemini Carbon المتقدمة، وشارك خبراء بشريون في مراجعة النتائج وتحديد النقاط التي تحتاج إلى تدقيق إضافي.

وشملت أبرز عناصر التجربة ما يلي:

• إنتاج البراهين الرياضية بلغة Lean.
• الاعتماد على نماذج Gemini Carbon.
• مراجعة بشرية نهائية لنحو 1% من قاعدة الشيفرة.

وتشير هذه الأرقام إلى حجم المساعدة التي قدمتها الأنظمة في تسريع عملية التحقق من برمجيات معقدة، كانت تتطلب وقتا طويلا وخبرات بشرية متخصصة. ومع ذلك، ظلت المراجعة البشرية جزءا من التجربة، ولا تعني نسبة الشيفرة التي خضعت لها أن جميع جوانب التطبيق قد فحصت.

حدود فحص التشفير

يتعلق التحقق الرياضي بصحة تنفيذ بروتوكول التشفير ومطابقته للتصميم الأمني، ولا يثبت أن المحادثات محمية حماية مطلقة أو أن اختراق التطبيقات مستحيل. كما أن اختبار البروتوكول لا يشمل تلقائيا كل العناصر الأخرى التي تؤثر في أمان استخدام التطبيق.

وتشمل هذه العناصر أمان الهواتف وأنظمة التشغيل، وإدارة الحسابات، وحماية بيانات المستخدمين من الهجمات الإلكترونية. لذلك يظل استخدام الذكاء الاصطناعي وسيلة لاختبار الشيفرات وتعزيز الثقة بتقنيات الحماية، ضمن حدود الفحص الذي تنفذه الأنظمة والخبراء.

ماذا يعني هذا الخبر؟

يساعد الفحص على اختبار تنفيذ بروتوكول التشفير الذي ترتبط تقنياته بحماية المحادثات عبر واتساب وتطبيقات أخرى. لكنه لا يغني عن حماية الهاتف والحساب، ولا يعني أن جميع جوانب التطبيق خضعت للفحص.

أسئلة وأجوبة

ما الذي فحصه AlphaProof Code؟

فحص ما إذا كانت الشيفرة تنفذ المواصفات الأمنية الموضوعة لبروتوكول سيجنال بصورة صحيحة.

هل يعني الفحص أن المحادثات محمية حماية مطلقة؟

لا، فالتحقق لا يثبت أن المحادثات محمية حماية مطلقة أو أن اختراق التطبيقات مستحيل.

هل شمل الفحص جميع جوانب التطبيق؟

لا، اختبار البروتوكول لا يشمل تلقائيا أمان الهواتف وأنظمة التشغيل وإدارة الحسابات وحماية بيانات المستخدمين.