A Note on Publicly Verifiable Quantum Money with Low Quantum Computational Resources

إليك ملخص تقني مفصل للورقة البحثية بعنوان "ملاحظة حول النقود الكمومية القابلة للتحقق علنًا بموارد حوسبة كمومية منخفضة" من إعداد فابريزيو جينوفيزي وليف ستامبلر.

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

تتناول الورقة التحدي طويل الأمد المتمثل في إنشاء نقود كمومية قابلة للتحقق علنًا (Publicly Verifiable Quantum Money).

• السياق التاريخي: منذ مقترح ويسنر عام 1970، اعتمدت النقود الكمومية على مبرهنة عدم النسخ (No-Cloning Theorem) لمنع الإنفاق المزدوج. ومع ذلك، كانت المقترحات الأصلية تعتمد على المفتاح الخاص (private-key)، مما يعني أن المصدر (السك) فقط هو من يمكنه التحقق من الأصالة، وهو ما يتطلب اتصالاً مستمراً بالمصدر مع كل عملية معاملة.
• الفجوة: في حين أن النقود الكمومية ذات المفتاح العام (حيث يمكن لأي شخص التحقق دون الحاجة للمصدر) هي أمر مرغوب فيه لعملة قابلة للاستخدام، إلا أن المقترحات الحالية تتطلب عادةً موارد حوسبة كمومية ثقيلة (وحدات معالجة كمومية عامة الأغراض) وهي وحدات لا توجد حاليًا.
• الهدف: تصميم نظام نقود كمومية قابل للتحقق علنًا يحقق ما يلي:
  1. يتطلب قدرات حوسبة كمومية دنيا (فقط تحضير الكيوبتات، وإرسالها، وقياسها في قواعد مترافقة).
  2. لا يعتمد على بروتوكول إجماع (على عكس البلوكشين).
  3. يمنع الإنفاق المزدوج.
  4. يسمح بعدد محدود من عمليات التحقق قبل الاسترداد.

2. المنهجية

يقترح المؤلفون نظام تشفير هجين يجمع بين التشفير المترافق (Conjugate Coding)، والذواكر أحادية الاستخدام (One-Time Memories - OTMs)، والتشفير الكلاسيكي (دوال الهاش والتواقيع الرقمية).

أ. المكونات الأساسية

1. التشفيد المترافق (Conjugate Coding): يعتمد على عمل ويسنر، ويتضمن ترميز البتات في كيوبتات باستخدام قاعدتين مترافقتين (على سبيل المثال، قاعدة Z $|0\rangle, |1\rangle$ وقاعدة X $|+\rangle, |-\rangle$). القياس في القاعدة الخاطئة يؤدي إلى ضجيج عشوائي.
2. الذواكر أحادية الاستخدام (OTMs): نموذج تشفيري حيث يحتفظ الجهاز بسرين ($s_0, s_1$) ولكنه يسمح للمستخدم باستعادة سر واحد فقط، وليس كلاهما.
   • التنفيذ: تبني الورقة نماذج OTM باستخدام حالات التشفيد المترافق مدمجة مع أجهزة موثوقة (Trusted Hardware) (مثل بيئات التنفيذ الموثوقة TEEs مثل Intel SGX). تقوم هذه الأجهزة بتخزين اختيار القاعدة ($\theta$) والأسرار، وتتحقق من أن المستخدم قام بقياس الحالات الكمومية بشكل صحيح قبل إطلاق السر.
3. التحقق بطريقة "القطع والاختيار" (Cut-and-Choose Verification): بدلاً من التحقق من كل مكون من مكونات الورقة النقدية (الذي قد يؤدي لتدميرها)، يختار المتحقق عينة عشوائية من المكونات لـ "تحديها" (فتحها والتحقق منها).

ب. البروتوكول

1. السك (البناء 4.4):

• يقوم السك بتوليد $\zeta$ من أزواج السلاسل النصية العشوائية ($\kappa_{0,i}, \kappa_{1,i}$).
• يقوم بحساب الهاشات $H(\kappa_{b,i})$ ويوقعها باستخدام المفتاح الخاص للسك.
• لكل زوج، ينشئ OTM ($OTM_i$) يقوم بترميز الزوج. يتم دعم الـ OTM بحالة كمومية $|OTM\rangle_i$ تم تحضيرها في قاعدة مترافقة بناءً على بت عشوائي $\theta_i$.
• الورقة النقدية تتكون من:
  • الحالات الكمومية $\{|OTM\rangle_i\}$.
  2. البيانات الكلاسيكية: الهاشات الموقعة $\{H(\kappa_{b,i}), \sigma_{mint}\}$ ومجموعة من الصور العكسية "المكشوفة" مسبقًا $\{\kappa_k\}$ (تكون فارغة في البداية).

2. التحقق (البناء 4.5):

• يستلم المتحقق $V$ الورقة النقدية.
• يتحقق $V$ من صحة تواقيع السك على الهاشات.
• القطع والاختيار: يختار $V$ عشوائيًا مجموعة فرعية من المؤشرات $\mathcal{L}$ (بحجم $\xi$) من الـ OTMs غير المفتوحة.
• يتحدى $V$ الورقة النقدية بطلب الصورة العكسية المقابلة لبت عشوائي $b_\ell$ لكل مؤشر مختار.
• يقوم حامل الورقة بقياس الحالات الكمومية لاستعادة الصور العكسية من الـ OTMs.
• يتحقق $V$ من أن $H(\text{retrieved } \kappa) = H(\kappa_{b,\ell})$.
• الاستهلاك: إذا نجح التحقق، يتم إزالة الـ OTMs المفتوحة من الورقة النقدية (إضافتها إلى مجموعة الصور العكسية المعروفة)، مما يقلل من قدرة التحقق المتبقية.

3. النقل (البناء 4.6):

• يرسل المرسل البيانات الكلاسيكية والحالات الكمومية إلى المستلم.
• نظرًا لمبرهنة عدم النسخ، لا يمكن للمرسل الاحتفاظ بنسخة من الحالات الكمومية للإنفاق المزدوج.

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

1. التحقق العلني بموارد منخفضة: يحقق النظام قدرة التحقق العلني باستخدام عمليات الكيوبت المنفردة فقط (التحضير والقياس في قواعد مترافقة)، وهي قدرات متاحة في أجهزة توزيع المفاتيح الكمومية (QKD) الحالية، بدلاً من الحاجة إلى حواسيب كمومية كاملة القدرة.
2. بناء قائم على OTM: قام المؤلفون بتكييف مفهوم الذواكر أحادية الاستخدام (التي كانت نظرية أو تتطلب إعدادات معقدة سابقًا) إلى نظام نقود عملي باستخدام الأجهزة الموثوقة والتشفيد المترافق.
3. نموذج التحقق المحدود: تقدم الورقة نموذجًا واقعيًا حيث تمتلك الورقة النقدية عمرًا محددًا (حوالي $\zeta/\xi$ من عمليات التحقق). وبمجرد استنفادها، يجب إرجاع الورقة إلى السك لاسترداد قيمتها (تمامًا مثل استبدال النقود الورقية المهترئة).
4. التوسع إلى الرموز الكمومية للتواقيع الرقمية (QTDS): يوضح المؤلفون أن نفس البنية التحتية يمكن استخدامها لإنشاء رموز كمومية تسمح لحاملها بالتوقيع على رسالة (مثل رهان أو التزام) لمرة واحدة بالضبط. فعل التوقيع يستهلك قدرة الرمز على التوقيع مرة أخرى، مما يمنع التوقيع المزدوج.
5. إثبات المفهوم: قدم المؤلفون مكتبة بلغة Rust تسمى (otm_billz) لتنفيذ هذه المفاهيم.

4. النتائج والتحليل الأمني

• عدم القابلية للتزوير (مبرهنة 1): يعتمد الأمان على ركيزتين:
  1. أمان المحاكاة لـ OTMs: لا يمكن للمهاجم استخراج كلا السرين ($s_0$ و $s_1$) من OTM واحد.
  2. مقاومة الصور العكسية لدوال الهاش: بدون الـ OTM، لا يمكن للمهاجم تخمين الصورة العكسية $\kappa$ بمعلومية $H(\kappa)$.
• منع الإنفاق المزدوج: للقيام بالإنفاق المزدوج، يحتاج المهاجم إلى تقسيم الورقة النقدية الكمومية إلى نسختين صالحتين. يظهر الإثبات أنه بسبب أمان المحاكاة لـ OTMs، لا يمكن للمهاجم فعليًا تخصيص OTM محدد لنسخة واحدة من النسختين. عندما يقوم المتحقق بتحدي النسخة الأخرى عشوائيًا، يجب على المهاجم تخمين الصورة العكسية، وهو أمر مستحيل حوسبيًا (الاحتمالية $\approx 2^{-2\xi}$).
• تحمل الضجيج: بناء الـ OTM الأساسي قوي ضد الضجيج في القناة الكمومية حتى حد معين.

5. الأهمية والتوجهات المستقبلية

• الواقعية: يسد هذا العمل الفجوة بين النقود الكمومية النظرية وقدرات الأجهزة المتاحة في المدى القريب. يشير العمل إلى أن النقود الكمومية قد تصبح قابلة للتطبيق بمجرد توفر بنية تحتية للإنترنت الكمومي وذواكر كمومية مستقرة (مع أزمنة تماسك كافية لسرعات المعاملات).
• الخصوصية: على عكس البلوكشين، هذا النظام هو نظام (ند لند) بطبيعته وخاص، ولا يتطلب إجماعًا عالميًا أو حوافز اقتصادية لتشغيله.
• القيود والعمل المستقبلي:
  • الأجهزة الموثوقة: يعتمد النظام حاليًا على بيئات التنفيذ الموثوقة (TEEs). يشير المؤلفون إلى أنه بينما توجد قنوات جانبية، فإن الأمان يتدهور تدريجيًا (اختراق رمز واحد يؤثر فقط على ذلك الرمز).
  • التحقق قبل النقل: مشكلة مفتوحة رئيسية هي السماح للمستلم بالتحقق من أصالة الحالات الكمومية قبل قبول النقل من مرسل قد يكون خبيثًا.
  • توسع الموارد: حاليًا، تتوسع الموارد خطيًا مع عدد عمليات التحقق. تقليل هذا النمو إلى نمو دون خطي هو هدف مستقبلي.
  • التحقق اللانهائي: النظام الحالي محدود؛ يظل تحقيق التحقق اللانهائي دون أجهزة موثوقة تحديًا مفتوحًا.

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