من هراء الذكاء الاصطناعي إلى التحقّق الشكلي: كيف نغيّر أسلوب برنامج مكافآت الثغرات مع سيطرة الذكاء الاصطناعي

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

بعد هذا التدقيق، سنمضي قُدمًا نحو التحقّق الشكلي. في الوقت الحالي، تجعل نماذج الذكاء الاصطناعي مثل Claude Fable اكتشاف الثغرات أسهل، ونلاحظ أن برنامج مكافآت الثغرات لدينا بات يجذب في معظمه "هراء الذكاء الاصطناعي" نتيجة محاولة بعض الأشخاص تشغيل تدقيقات أمنية بالذكاء الاصطناعي ضد شيفرتنا.

في Nym، بدأنا بتشغيل Claude Fable على شيفرتنا بشكل مستمر لاكتشاف الثغرات الحقيقية. على غرار ترقية ZCash Ironwood، فإن الطريقة الوحيدة لضمان شيفرتنا ضد الثغرات المحتملة التي قد يكتشفها الذكاء الاصطناعي هي عبر التحقّق الشكلي من كل عنصر أساسي وبروتوكول تستخدمه Nym.

برنامج مكافآت الثغرات: ما الذي يتغيّر

استعدادًا لعملية التدقيق الأمني القادمة والتحوّل نحو التحقّق الشكلي، نحن بصدد إيقاف برنامج مكافآت الثغرات بشكله الحالي.

هذا يعني وقف نظام الدفع الذي اعتمدناه حتى الآن، والذي كانت تُدفع بموجبه رموز $NYM وفق جدول ثابت، مقسّم حسب مستوى خطورة المشكلة المُبلَّغ عنها. ستدفع Nym الآن مكافآت بشكل تقديري فقط مقابل الاكتشافات الخطيرة والمهمة. ما زلنا نستقبل التقارير، ويمكن للباحثين، بل ينبغي عليهم، الاستمرار في إرسال أي شيء يعثرون عليه. سياسة الملاذ الآمن وقواعد الإفصاح المسؤول لدينا لا تزال سارية.

الإرشادات الحالية محدَّثة دائمًا على nym.com/vdp-bbp.

لماذا نقوم بذلك

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

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

المحطة التالية: التحقّق الشكلي

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

بالطبع، كان هذا حتى وقت قريب مستهلكًا للوقت بشكل كبير لتطبيقه على قاعدة شيفرة كبيرة مثل Nym، لكن أدوات الذكاء الاصطناعي تجعل الآن التحقّق الشكلي واسع النطاق ممكنًا للعناصر الأساسية والبروتوكولات التشفيرية الجوهرية في Nym.

لمعرفة المزيد عن التحقّق الشكلي، اقرأ خارطة طريق نحو تشفير عالي الضمان الذي كتبه رئيسنا التنفيذي هاري هالبين، خلال عمله في Inria de Paris عام 2017 مع كارثيك بارغافان، الذي قاد التحقّق الشكلي من بروتوكولات (مثل TLS 1.3 وSignal) يعتمد عليها الإنترنت بأكمله. ومع انتقال كارثيك بارغافان الآن إلى Cryspen، سنعمل مع فريقه على التحقّق الشكلي من التشفير والبروتوكولات الأساسية لدى Nym.

تدقيقاتنا حتى الآن

تخضع Nym وNymVPN لمراجعات وتدقيقات مستقلة من قِبل شركات رائدة وخبراء تشفير منذ الأيام الأولى للشبكة. السجل متاح للعامة في مركز الثقة الخاص بنا:

• Cure53 (يوليو 2024). تدقيق واسع لتطبيقات Nym على الجوال وسطح المكتب، وVPN، والبنية التحتية للشبكة، والتشفير، أجراه فريق ضم الدكتور Daniel Bleichenbacher. اطّلع على تدقيق Cure53.

• Oak Security (يناير 2023). تدقيقان: أحدهما لـMixnet الخاصة بـNym وعقد الاستحقاق، والآخر لـمحفظة Nym.

• الدكتور JP Aumasson (سبتمبر 2021). مراجعة أمنية مبكرة للشبكة أجراها أحد أبرز خبراء التشفير في هذا المجال.

• مراجعات Cryspen التقنية (2023–2024). مراجعات تشفيرية لتوليد المفاتيح الموزّع في Nym وتنسيق حزم Outfox، بقيادة الدكتور Karthikeyan Bhargavan وزملائه، باستخدام أساليب شكلية.

هذه النقطة الأخيرة مهمة هنا: المراجعة الشكلية والرياضية ليست جديدة على Nym. هذا التدقيق القادم يوسّع هذا النهج ليشمل جزءًا أكبر من النظام.

ماذا يعني هذا بالنسبة لك

بالنسبة للمستخدمين، لا شيء يتغيّر سوى أن عملية الأمان لدينا تزداد قوة. يستمر عمل NymVPN والشبكة كالمعتاد.

أما بالنسبة للباحثين الأمنيين، فالباب يبقى مفتوحًا. إذا عثرت على ثغرة، أبلغ عنها عبر security@nym.com، ويُفضّل أن تكون مشفّرة بمفتاح PGP الخاص بنا، مع خطوات واضحة لإعادة إنتاج المشكلة.

تُعد المكافآت الآن تقديرية، ومحصورة بالاكتشافات الخطيرة والمهمة، لكن كل تقرير موثوق لا يزال يُقابَل بالإقرار، ويُصلَح، ويساهم في حماية جميع مستخدمي Nym. التعليمات الكاملة متوفّرة على صفحة الإفصاح عن الثغرات.