PQ-SEAL, Post-Quantum Secure Embedded Architecture with Leakage-Resilient AES on Ibex RV32IMC
تقدم هذه الورقة PQ-SEAL، وهو تنفيذ بنظام Bare-metal لمعمارية RISC-V على مصفوفة بوابات منطقية قابلة للبرمجة (FPGA) يدمج التشفير ما بعد الكمي المعتمد من معايير NIST مع مخطط إعادة تعيين مفاتيح AES-128 المقاوم للتسرب، مما يظهر تحسناً بمقدار 31 ضعفاً في المقاومة ضد هجمات تحليل القدرة بالارتباط دون تكاليف أجهزة إضافية.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
الحصن الرقمي والعاصفة الكمومية
تخيل الإنترنت كمدينة ضخمة ومزدحمة حيث يرسل الجميع رسائل سرية لبعضهم البعض. وللحفاظ على سلامة هذه الرسائل، نستخدم "أقفالاً" (التشفير) معقدة للغاية لدرجة أن أفضل علماء الرياضيات في العالم لا يمكنهم فتحها بدون المفتاح. لعقود من الزمن، كانت هذه الأقفال قوية بشكل مذهل. ومع ذلك، يعمل العلماء على بناء نوع جديد من الأدوات يسمى "الحاسوب الكمومي". لا تفكر في هذا كآلة حاسبة أسرع، بل كمفتاح رئيسي سحري يمكنه فتح أي من أقفالنا الحالية في ثوانٍ معدودة. إذا صنع شخص ما هذه الآلة، فستمكن قراءة جميع رسائلنا السرية فوراً، حتى لو كُتبت منذ سنوات. هذه مشكلة كبيرة لأن الأشرار يسرقون بالفعل ويخزنون رسائلنا السرية اليوم، منتظرين اليوم الذي يمكنهم فيه فتحها.
ولإيقاف ذلك، يصمم الخبراء أقفالاً جديدة "مقاومة للكم" (Quantum-proof). تعتمد هذه الأقفال الجديدة على ألغاز رياضية معقدة لا يستطيع حتى الحاسوب الكمومي حلها بسهلاً. ولكن هناك عقبة: صنع هذه الأقفال الجديدة يتطلب الكثير من القدرات الذهنية والذاكرة، وهو أمر يصعب وضعه في أجهزة صغيرة مثل المستشعرات الذكية أو الرقائق البسيطة. علاوة على ذلك، حتى لو كانت الرياضيات مثالية، فقد يحاول مهاجم ماكر سرقة المفتاح من خلال مراقبة كمية الكهرباء التي يستهلكها الجهاز أثناء عمله. تستكشف هذه الورقة كيفية بناء حصن صغير، فائق القوة، ومقاوم للكم على رقاقة صغيرة وبسيطة جداً، مع وضع درع سحري يربك أي شخص يحاول التجسس على استهلاك الطاقة الخاص بها.
الحارس الصغير: PQ-SEAL
تعرف على PQ-SEAL، وهو مشروع ابتكره الباحث "شاران كاسيماهانتي" من المعهد الهندي للتكنولوجيا بمدريد. كان الهدف هو بناء نظام اتصالات كامل وآمن على رقاقة كمبيوتر صغيرة وبسيطة (تحديداً Ibex RV32IMC تعمل على لوحة FPGA) والتي لا تملك تقريباً أي ذاكرة — فقط 64 كيلوبايت من ذاكرة الوصول العشوائي (RAM)، وهي مساحة أقل من صورة واحدة عالية الدقة. عادةً، يكون وضع أمن متقدم على مثل هذه الرقاقة الصغيرة كأنك تحاول ركن شاحنة ضخمة في مستودع للدراجات الهوائية.
نجح الباحثون في حشر مهمتين هائلتين في هذا الفضاء الضيق:
- المصافحة المقاومة للكم: قاموا بتنفيذ طريقة جديدة، معتمدة من قبل المعهد الوطني للمعايير والتقنية (NIST)، لتبادل المفاتيح باستخدام ML-KEM و ML-DSA. هذه هي "المصافحة" حيث يقول جهازا كمبيوتر: "مرحباً، أنا هو من أدعي، وإليك مفتاح سري يمكننا استخدامه".
- الدرع المقاوم للتسريب: أضافوا خدعة خاصة تسمى LR4 rekeying لحماية الرسائل الفعلية المرسلة بعد عملية المصافحة.
كيف تعمل المصافحة
تخيل جاسوسين يلتقيان في حديقة. بدلاً من الهمس بسر، يقومان برقصة معقدة.
- التحية: ترسل الرقاقة الصغيرة (اللوحة) بطاقة هوية عامة (800 بايت) إلى كمبيوتر قوي (المضيف).
- الخدعة السحرية: يقوم الكمبيوتر القوي بالعمل الشاق؛ حيث يستخدم بطاقة الهوية لإنشاء رمز سري وتوقيع رقمي، ثم يرسلهما مرة أخرى.
- التحقق: تتحقق الرقاقة الصغيرة من التوقيع. إذا كان صالحاً، يستخدم كلا الجانبين دالة رياضية خاصة (SHAKE-128) لتحويل السر المشترك إلى مفتاح جلسة نهائي بحجم 32 بايت.
استغرقت هذه الرقصة بأكملها 0.9 ثانية فقط على الرقاقة الصغيرة، التي كانت تعمل بتردد 50 ميجاهرتز. وهذا سريع للغاية لجهاز لا يملك نظام تشغيل ولا مساعدات ذاكرة إضافية.
الدرع السحري: LR4 rekeying
بمجرد انتهاء المصافحة، يبدأ الطرفان في إرسال رسائل مشفرة. وهنا يصبح البحث ذكياً حقاً. عادةً، إذا راقب المهاجم جهازاً أثناء تشفير الرسائل، يمكنه في النهاية معرفة المفتاح من خلال تحليل استهلاك الطاقة (وهي طريقة تسمى تحليل الارتباط بالقدرة أو CPA). الأمر يشبه الاستماع إلى خبير لفتح الخزائن؛ إذا كان يضغط على القرص بنفس الطريقة في كل مرة، يمكنك تخمين التركيبة.
تقدم الورقة وسيلة دفاعية تسمى LR4 rekeying. بدلاً من استخدام نفس المفتاح للأبد، يقوم النظام بتغيير المفتاح كل 10 كتل من البيانات.
- التشبيه: تخيل أنك ترسل رسالة سرية في صندوق. القفل العادي يستخدم نفس المفتاح لكل صندوق. يراقب الجاسوس وأنت تغلق 100 صندوق وفي النهاية يعرف المفتاح.
- خدعة PQ-SEAL: في كل مرة تغلق فيها الصندوق العاشر، يقوم القفل تلقائياً بتغيير آليته الداخلية إلى مفتاح جديد وعشوائي تماماً. يراقب الجاسوس أول 10 صناديق، فيصاب بالارتباك، ثم يتغير القفل، مما يضطره للبدء من الصفر مرة أخرى.
قام الباحثون باختبار ذلك من خلال جمع 300 زوج من الرسائل ونتائج تشفيرها.
- بدون الدرع (AES العادي): تمكن الجاسوس من معرفة المفتاح بـ "رتبة" قدرها 4 (أي أن المفتاح الحقيقي كان ضمن أفضل 4 تخمينات) بعد 300 محاولة.
- مع الدرع (LR4): ظل أفضل تخمين للجاسوس عالقاً عند رتبة 124.
هذا يعني أن المهاجم كان أكثر ارتباكاً وعدم يقين بمقدار 31 مرة عندما كان الدرع نشطاً. تثبت الورقة أن هذا التحسن حدث دون الحاجة إلى أي أجهزة إضافية أو رقائق خاصة؛ فقد تم ذلك بالكامل عبر البرمجيات.
الاختبار الواقعي
لإثبات أن هذا لم يكن مجرد لغز رياضي، قام الفريق ببناء تطبيق مراسلة مشفر حي. استطاع المستخدمون إرسال دردشات جماعية ورسائل مباشرة. قامت الرقاقة الصغيرة الموجودة على لوحة FPGA بتشفير كل رسالة قبل إرسالها، وقام الكمبيوتر القوي بفك تشفيرها. عمل النظام بسلاسة، مما أثبت أنه حتى على رقاقة صغيرة ومحدودة الموارد، يمكنك امتلاك محادثة آمنة مقاومة للكم وآمنة أيضاً من جواسيس التجسس عبر استهلاك الطاقة.
ماذا يعني هذا؟
لا تدعي الورقة أنها حلت كل مشاكل العالم. يعترف الباحثون بأن اختباراتهم تمت في محاكاة برمجية متحكم بها لاستهلاك الطاقة، وليس باستخدام أجهزة قياس طاقة فيزيائية على الرقاقة الفعلية بعد. كما أشاروا إلى أنه يمكن تحسين الكود لمنع هجمات التوقيت (حيث يخمن الجاسوس المفتاح بناءً على المدة التي تستغرقها العملية الحسابية).
ومع ذلك، فإن النتائج تعد إثباتاً قوياً للمفهوم. لقد أظهروا أنه يمكنك تشغيل أحدث المعايير المقاومة للكم والأكثر أماناً على رقاقة صغيرة ورخيصة بدون نظام تشغيل، ويمكنك إضافة دفاع قوي ضد التجسس الفيزيائي بمجرد تغيير وتيرة تبديل المفاتيح. إنها خطوة نحو مستقبل حيث يمكن حتى لأصغر الأجهزة أن تظل آمنة من الحواسيب الكمومية والجواسيس الماكرين على حد سواء.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.