Assessing the Impact of Post-Quantum Digital Signature Algorithms on Blockchains

إليك ملخص تقني مفصل لورقة البحث بعنوان: "تقييم تأثير خوارزميات التوقيع الرقمي لما بعد الحوسبة الكمومية على سلاسل الكتل (البلوكشين)."

1. بيان المشكلة

يشكل ظهور الحوسبة الكمومية تهديداً وجودياً لأمن سلاسل الكتل الحالي. فالخوارزميات التشفيرية التقليدية، وتحديداً ECDSA (المستخدمة في بيتكوين وإيثيريوم) وRSA، معرضة لهجوم خوارزمية "شور" (Shor's algorithm)، والتي قد تسمح للحواسيب الكمومية باستخراج المفاتيح الخاصة من المفاتيح العامة.

• الفجوة: بينما قامت المعهد الوطني للمعايير والتقنية (NIST) بتوحيد العديد من خوارزميات التشفير لما بعد الحوسبة الكمومية (PQC) (مثل ML-DSA وSLH-DSA)، إلا أن هناك نقصاً في البيانات التجريبية المتعلقة بـ الأعباء الحسابية والجدوى العملية ضمن القيود المحددة لبيئات سلاسل الككتل.
• السؤال: هل يمكن لأنظمة سلاسل الكتل الانتقال إلى التواقيع الرقمية لما بعد الحوسبة الكمومية (PQC) دون تكبد عقوبات أداء باهظة من شأنها إضعاف إنتاجية الشبكة أو أوقات التحقق من الكتل؟

2. المنهجية

طوّر المؤلفون إطار تقييم شامل يسمى PQCinBlock لاختبار معايير خوارزميات PQC مقابل خوارزمية ECDSA التقليدية في سياقات معزولة ومحاكاة لسلاسل الكتل.

أ. الإعداد التجريبي

• تنوع الأجهزة والبرمجيات: أُجريت التجارب عبر ثلاث بيئات متميزة لضمان المتانة:
  • لابتوب (ARM): جهاز Apple M1 (نظام macOS).
  • لابتوب (x64): جهاز Intel Core i7-1360P (نظام Ubuntu).
  • كمبيوتر مكتبي (Desktop): جهاز AMD Ryzen 7 5800X (نظام Ubuntu).
• الخوارزميات التي تم تقييمها:
  • الأساس (Baseline): خوارزمية ECDSA (بمستويات P-256، P-384، P-521).
  • مرشحات PQC: خوارزميات ML-DSA (المعروفة سابقاً بـ Dilithium)، وFalcon، وMayo، وSLH-DSA (المعروفة سابقاً بـ SPHINCS+)، وCross.
  • مستويات الأمان: تم التقييم عبر مستويات أمان NIST رقم 1، 2، 3، و5 (المستوى 4 لم تكن هناك مقترحات له).
• المقاييس:
  • الاختبارات الدقيقة (Micro-benchmarks): زمن توليد المفاتيح (Key generation)، والتوقيع (Signing)، والتحقق (Verification) بالملي ثانية.
  • المحاكاة الكلية (Macro-simulation): التأثير على زمن التحقق من الكتلة داخل شبكات محاكية لبيتكوين وإيثيريوم باستخدام إطار العمل BlockSim.
• النطاق: أكثر من 31,000 تشغيل لكل متغير من الخوارزميات، بما في ذلك 1,000 دورة إحماء و10,000 تنفيذ مقاس لكل متغير، بالإضافة إلى 1,000 محاكاة لسلسلة الكتل.

ب. سير العمل

1. اختبار أداء الخوارزميات: قياس العمليات التشفيرية المعزولة باستخدام liboqs (لـ PQC) وcryptography (لـ ECDSA).
2. محاكاة سلسلة الكتل: نمذجة دمج هذه الخوارزميات في عمليات التحقق من الكتل لشبكتي بيتكوين وإيثيريوم.
3. تجميع البيانات: تجميع النتائج في مجموعات بيانات إحصائية (المتوسط، الانحراف المعياري) وتصور المقايضات في الأداء.

3. المساهمات الرئيسية

1. التقييم الشامل: توفر الدراسة المقارنة الأكثر توسعاً حتى الآن، حيث تغطي 7 عائلات من الخوارزميات و62 تطبيقاً عبر بنيات أجهزة متعددة (ARM/x64) وأنظمة تشغيل مختلفة.
2. محاكاة خاصة بسلاسل الكتل: على عكس الأعمال السابقة التي تركز فقط على الأداء التشفيري المعزول، تقوم هذه الورقة بمحاكاة التأثير الفعلي على التحقق من الكتل في شبكات سلاسل الكتل الكبرى (بيتكوين/إيثيريوم).
3. الأدوات مفتوحة المصدر: أطلق المؤلفون PQCinBlock، وهي أداة برمجية بلغة بايثون، نمطية ومفتوحة المصدر، تعمل على تنسيق الاختبارات والمحاكاة، مما يسمح بسهولة دمج مرشحي PQC المستقبليين.
4. قابلية التكرار: جميع مجموعات البيانات، الأكواد، والمعايير التجريبية متاحة علناً لتعزيز المزيد من الأبحاث.

4. النتائج الرئيسية

تتحدى النتائج الافتراض القائل بأن الانتقال إلى PQC سيؤدي حتماً إلى تدهور شديد في الأداء في سلاسل الكتل.

أ. أداء الخوارزميات المعزولة

• ML-DSA (Dilithium): أظهرت أداءً متفوقاً على ECDSA في معظم السيناريوهات، خاصة عند مستويات الأمان العالية.
  • مثال: في جهاز لابتوب ARM عند مستوى الأمان 5، استغرق التحقق في ML-DSA زمن 0.14 مللي ثانية، مقارنة بـ 0.88 مللي ثانية لـ ECDSA (أي انخفاض بنسبة ~84%).
  • عند المستوى 5 على معمارية x64، كان التحقق في ML-DSA يستغرق 0.05 مللي ثانية مقابل 0.31 مللي ثانية لـ ECDSA.
• Mayo: أظهرت أداءً تنافسياً، حيث تفوقت غالباً على ECDSA في عملية التحقق عند المستويين 1 و3، رغم أن توليد المفات_ات كان أبطأ.
• SPHINCS+ (SLH-DSA) & Cross: أظهرت عموماً أعباء حسابية أعلى وأوقات تنفيذ أبطأ مقارنة بـ ECDSA وML-DSA، مما يجعلها أقل ملاءمة لتطبيقات سلاسل الكتل عالية الإنتاجية في شكلها الحالي.
• Falcon: أظهرت سرعة في التحقق، لكنها عانت من بطء شديد في توليد المفاتيح (ثوانٍ مقابل ملي ثوانٍ للآخرين).

ب. تأثير محاكاة سلسلة الكتل

• التحقق من الكتلة: في شبكات بيتكوين وإيثيريوم المحاكاة، تفوق ML-DSA وMayo باستمرار على ECDSA عبر جميع مستويات الأمان.
  • بيتكوين (كمبيوتر مكتبي، المستوى 3): قللت ML-DSA زمن التحقق من الكتلة إلى 63.63 مللي ثانية، مقارنة بـ 687.60 مللي ثانية لـ ECDSA (أي انخفاض بنسبة ~90%).
  • إيثيريوم (كمبيوتر مكتبي، المستوى 5): كان التحقق في ML-DSA يستغرق 7.65 مللي ثانية مقابل 51.80 مللي ثانية لـ ECDSA.
• الأمان مقابل الأداء: خلافاً للاتجاه الذي يفترض أن مستويات الأمان الأعلى تعني عادةً أداءً أبطأ، حافظت ML-DSA على سرعتها أو حسنتها حتى عند المستوى 5 مقارنة بـ ECDSA عند المستوى 1.

5. الأهمية والقيود

الأهمية

• جدوى الهجرة: تثبت الدراسة أن الانتقال من ECDSA إلى خوارزميات محددة من PQC (تحديداً ML-DSA) هو أمر ممكن حسابياً وقد يعزز كفاءة التحقق في أنظمة سلاسل الكتل، بشرط أن تتمكن الشبكة من التعامل مع أحجام البيانات الأكبر.
• الاستعداد للمستقبل: تؤكد الدراسة أن شبكات سلاسل الكتل يمكنها اعتماد أمن مقاوم للكم دون التضحية بالسرعة المطلوبة للإجماع ومعالجة المعاملات.

القيود والمقايضات

• أعباء حجم البيانات: بينما يكون الحساب أسرع أو مشابهاً، فإن مفاتيح وتواقيع PQC هي أكبر حجماً بشكل ملحوظ من ECDSA (باستثناء SLH-DSA، التي تمتلك أحجام مفاتيح مماثلة).
  • التواقيع الأكبر تزيد من حجم المعاملة، مما قد يقلل عدد المعاملات لكل كتلة.
  • قد يؤدي هذا إلى زيادة زمن الاستجابة للإجماع وتقليل الإنتاجية الإجمالية للشبكة، وهو عامل لم يتم قياسه كمياً بالكامل في الاختبارات الحسابية ولكن تم الإقرار به كقيد حرج.
• النطاق: ركزت الدراسة على التواقيع الرقمية (ECDSA/ML-DSA) ولم تقيم آليات تغليف المفاتيح (KEM) أو RSA. كما ركزت على الأجهزة العامة بدلاً من أجهزة IoT ذات الموارد المحدودة.

الخاتمة

تخلص الورقة إلى أن ML-DSA هي مرشح رئيسي للاعتماد الفوري في أنظمة سلاسل الكتل نظراً لتفوق أدائها وسرعة التحقق فيها مقارنة بـ ECDSA، حتى عند مستويات الأمان العالية. وبينما تظل قيود التخزين (أحجام المفاتيح/التواقيع الأكبر) تحدياً لإنتاجية الشبكة، فإن الحاجز الحسابي أمام دخول سلاسل الكتل لعصر ما بعد الحوسبة الكمومية هو أقل مما كان متوقعاً سابقاً.