ذكاء اصطناعي يتحقق من تشفير سيجنال: أمان بلا ثغرات

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

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

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

يُمكن للذكاء الاصطناعي المعتمد على الوكلاء تسريع هذه العملية بشكل كبير، مما يتيح إجراء تحليلات معمقة مثل تقييم بروتوكول سيجنال. وعلى الرغم من أن هذا التحليل لم يشمل التطبيق بأكمله، إلا أن الباحثين في ديب مايند يؤكدون أن النتائج تمثل مجرد علامة فارقة في مسار أوسع. يقول سوارات شودوري، عالم أبحاث في ديب مايند: "نحن متحمسون جداً لهذه النتيجة، ولكن لا يزال أمامنا طريق طويل قبل أن نتمكن من توسيع نطاق ذلك ليشمل جميع برمجيات العالم، وهذا ما نطمح إليه."

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