⚛️ quantum physics

Digital signatures with classical shadows on near-term quantum computers

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

المؤلفون الأصليون: Pradeep Niroula, Minzhao Liu, Sivaprasad Omanakuttan, David Amaro, Shouvanik Chakrabarti, Soumik Ghosh, Zichang He, Yuwei Jin, Fatih Kaleoglu, Steven Kordonowy, Rohan Kumar, Michael A. Perlin, Akshay

نُشر 2026-02-05

📖 4 دقيقة قراءة🧠 قراءة متعمّقة

CC BY 4.0

المؤلفون الأصليون: Pradeep Niroula, Minzhao Liu, Sivaprasad Omanakuttan, David Amaro, Shouvanik Chakrabarti, Soumik Ghosh, Zichang He, Yuwei Jin, Fatih Kaleoglu, Steven Kordonowy, Rohan Kumar, Michael A. Perlin, Akshay Seshadri, Matthew Steinberg, Joseph Sullivan, Jacob Watkins, Henry Yuen, Ruslan Shaydulin

البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل

إليك شرح لورقة بحثية بعنوان "التوقيعات الرقمية باستخدام الظلال الكلاسيكية على الحواسيب الكمومية القريبة من العصر الحالي"، مقسمة إلى مفاهيم بسيطة، وتشبيهات، واستعارات.

الصورة الكبيرة: نوع جديد من بطاقات الهوية الرقمية

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

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

المشكلة: "بيت الزجاج" للأمن الكمومي

كانت الأفكار السابقة للتوقيعات الكمومية تعاني من خلل رئيسي: كانت تتطلب إرسال جسيمات كمومية فعلية (مثل الفوتونات) عبر الإنترنت لإثبات التوقيع.

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

تساءل المؤلفون: هل يمكننا صنع توقيع كمومي يستخدم فقط بيانات كلاسيكية عادية (مثل الـ 0 والـ 1) التي يمكننا إرسالها عبر الإنترنت، دون الحاجة إلى جسيمات كمومية هشة أثناء النقل؟

الحل: "الظلال الكلاسيكية" (Classical Shadows)

الإجابة هي الظلال الكلاسيكية.

الاستعارة: تخيل أن لديك منحوتة ثلاثية الأبعاد معقدة (الحالة الكمومية). لا يمكنك إرسال المنحوتة نفسها لأنها ثقيلة وهشة للغاية. ومع ذلك، يمكنك تسليط الضوء عليها من زوايا مختلفة والتقاط ظلال لها (صور ظلية ثنائية الأبعاد).
السحر: إذا كان لديك عدد كافٍ من الظلال من زوايا عشوائية، يمكنك إعادة بناء شكل المنحوتة رياضياً. لكن هنا تكمن الخدعة: إذا كنت تمتلك الظلال فقط، فمن الصعب جداً اكتشاف كيف تم بناؤُها بالضبط (الوصفة السرية أو "الدائرة الكهربائية/Circuit").
ادعاء الورقة البحثية: يستخدم المؤلفون هذه "الظلال" (وهي مجرد قوائم من الأرقام) كمفتاح عام. يحتفظ المرسل بـ "الوصفة" (الدائرة الكمومية) سراً. ولتوقيع الرسالة، يكشف عن الوصفة. ويقوم المستقبل باستخدام الظلال العامة للتحقق مما إذا كانت الوصفة تنتج المنحوتة الصحيحة أم لا.

التحدي: الحواسيب الكمومية ذات الضجيج

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

لإصلاح هذا، ابتكر الفريق طريقة جديدة لفحص جودة المنحوتة، تُسمى شهادة الحالة (State Certification).

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

التجربة: إثبات المفهوم

اختبر الفريق الفكرة على حاسوب كمومي حقيقي (معالج أيوني محاصر من شركة Quantinuum).

ماذا فعلوا: قاموا بإنشاء "ظل" لحالة كمومية تتضمن 32 كيوبت (وحدة المعلومات الأساسية).
النتيجة: نجحوا في إنشاء توقيع بمعدل نجاح قدره 90% (الدقة/Fidelity). وهذه نسبة عالية بما يكفي لإثبات أن الفكرة تعمل.
الأمان: أظهروا أنه بينما يستغرق الحاسوب الكمومي وقتاً قصيراً للتحقق من التوقيع، فإن الأمر سيستغرق من المخترق وقتاً طويلاً بشكل مستحيل للهندسة العكسية للوصول إلى الوصفة السرية من خلال الظلال. إنه مثل الفرق بين التحقق مما إذا كان المفتاح يناسب القفل بسرعة (عمل سهل)، وبين محاولة بناء مفتاح جديد من خلال مراقبة خدوش القفل (أمر مستحيل).

لماذا هذا مهم (وفقاً للورقة البحثية)

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

ملخص في جملة واحدة

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

ملخص تقني: التواقيع الرقمية باستخدام الظلال الكلاسيكية على الحواسيب الكمومية القريبة من الحقبة الحالية

بيان المشكلة

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

التحدي المركزي الذي يعالجه هذا العمل هو تحقيق مخطط توقيع رقمي:

لا يعتمد على الدوال أحادية الاتجاه (OWFs) أو وجودها.
يعمل باستخدام الاتصالات الكلاسيكية فقط، مما يلغي الحاجة إلى الذاكرة الكمومية أو الإرسال الكمومي للمفاتيح العامة.
قابل للتنفيذ على الأجهزة الكمومية الضوضائية متوسطة الحجم (NISQ) المتاحة في الحقبة الحالية.

المنهجية

المفهوم الجوهري: الظلال الكلاسيكية كمفاتيح عامة

يقترح المؤلفون مخطط توقيع يكون فيه المفاتيح العامة ليست حالات كمومية بل ظلال كلاسيكية لحالات كمومية.

المفتاح السري: دارتان كموميتان عشوائيتان، $C_0$ و $C_1$ .
المفتاح العام: الظلال الكلاسيكية، $S(|C_0\rangle)$ و $S(|C_1\rangle)$ ، الناتجة عن إجراء قياسات عشوائية على الحالات $|C_b\rangle = C_b|0\rangle$ .
التوقيع: لتوقيع بت $b$ ، يكشف المرسل عن الوصف الكلاسيكي للدائرة $C_b$ .
التحقق: يستخدم المستلم الظلال العامة والدائرة المكشوفة للتحقق من أن الدائرة $C_b$ تنتج حالة متسقة مع الظلال العامة. ويتم ذلك عبر بروتوكول تداخل الظل (shadow overlap protocol).

الافتراض الأمني: عدم التعلم الحسابي (CNL)

يستند أمن المخطط إلى فرضية عدم التعلم الحسابي (CNL) من الظلال. تفترض هذه الفرضية أنه من غير الممكن حسابيًا للمهاجم تعلم وصف دائرة كمومية عشوائية بمعلومية ظلالها الكلاسيكية فقط (عينات بطول حدودي من القياسات العشوائية).

هذا الافتراض مختلف وأضعف من فرضية "عدم التعلم من الحالات" القياسية، حيث أن الظلال مشتقة من نسخ الحالة عبر قياسات بسيطة.
يقدم البحث أدلة نظرية على أن خوارزميات التعلم الحالية (مثل تلك القائمة على الانعكاس المحلي أو حجج المخروط الضوئي) تفشل في تعلم هذه الدوائر تحت قيود البروتوكول (التعلم السليم، الهندسة التعسفية، والوصول عبر الظل فقط).
يوضح المؤلفون وجود انفصال بين الوقت المطلوب لـ التحقق من توقيع (يكون أسياً في $n$ ولكنه ممكن للمتحقق) والوقت المطلوب لـ التعلم (التزييف) للدائرة (يكون أصعب بشكل أسي)، مما يخلق فجوة أمنية.

الابتكارات التقنية

لجعل المخطط قابلاً للتنفيذ على الأجهزة الضوضائية، قدم المؤلفون تحسينين تقنيين رئيسيين:

بروتوكول تداخل الظل المحسن: قاموا بتعديل بروتوكولات تداخل الظل الموجودة (بناءً على المرجع [30]) باستخدام دوائر كليفورد (Clifford circuits) عشوائية على مجموعات فرعية من الكيوبتات بدلاً من مجرد قياسات باولي العشوائية. يقلل هذا من "زمن الاسترخاء" ( $\tau$ ) لسلسلة ماركوف الخاصة بالاعتماد، ويخفض تباين المقدر، مما يحسن بشكل كبير من تحمل الضجيج ويقلل من تعقيد العينات المطلوبة للاعتماد.
كشف الخطأ الكمومي (QED): للتغلب على عدم دقة الأجهزة، استخدم المؤلفون كود "آيسبرج" (Iceberg) متعدد الكتل لكشف الخطأ.
- يقوم كود "آيسبرج" بترميز $k$ من الكيوبتات المنطقية في $k+2$ من الكيوبتات الفيزيائية.
- يستخدمون تثبيت القياس (gauge fixing) لترقية بعض المؤثرات المنطقية إلى مثبتات (stabilizers)، مما يخلق كيوبتات "وكيلة" تسمح بتوازي البوابات المنطقية أحادية الكيوبت، وبالتالي تقليل عمق الدائرة وأخطاء الذاكرة.
- يحقق هذا النهج أداءً "يتجاوز نقطة التعادل"، حيث تتجاوز الدقة المرمزة الدقة غير المرمزة رغم التكاليف الإضافية.

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

الأدلة النظرية

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

العرض التجريبي

قام المؤلفون بتنفيذ البروتوكول على معالج Quantinuum H2 للأيونات المحاصرة (56 كيوبت فيزيائي).

معاملات الدائرة: قاموا بتوليد ظلال لحالات مكونة من 32 كيوبت باستخدام دوائر عشوائية تحتوي على $\ge 80$ بوابة ثنائية الكيوبت منطقية (ما يعادل $\ge 582$ بوابة ثنائية الكيوبت فيزيائية).
الدقة: باستخدام كود "آيسبرج" متعدد الكتل مع تثبيت القياس، حققوا دقة معتمدة قدرها $0.90 \pm 0.01$ باستخدام 17,316 عينة.
إثبات المبدأ: نجحت التجربة في إظهار القدرة على التمييز بين الموقع الصادق والمهاجم. وحسب المؤلفون أن زيادة حجم العينة بمقدار 19.5 مرة (إلى حوالي 340 ألف عينة) ستكون كافية لتحقيق معلم أمني تكون فيه احتمالية نجاح مهاجم محدود حسابياً في تزييف التوقيع ضئيلة جداً ( $< 10^{-5}$ ).

الأهمية والادعاءات

يدعي البحث إثبات الجدوى في الحقبة الحالية (near-term feasibility) للتواقيع الرقمية الكمومية التي لا تعتمد على الدوال أحادية الاتجاه (OWFs) أو الاتصالات الكمومية.

الاستقلال عن الدوال أحادية الاتجاه (OWFs): يرسخ المخطط أمنه في الصعوبة الفيزيائية لتعلم العمليات الكمومية، مما يوفر مساراً للتشفير يظل آمناً حتى لو لم تكن الدوال أحادية الاتجاه موجودة.
التوافق مع أجهزة NISQ: من خلال استخدام الظلال الكلاسيكية وأكواد كشف الخطأ بدلاً من تصحيح الخطأ الكامل، يعمل البروتوكول ضمن قدرات الأجهزة الكمومية الضوضائية الحالية.
النموذج الأولي الأساسي: يربط هذا العمل بين التواقيع الرقمية الكمومية والألغاز أحادية الاتجاه (one-way puzzles)، وهو نموذج أولي يتيح بناء بروتوكولات تشفير كمومية أخرى (مثل الالتزامات المنطقية غير التفاعلية) دون افتراض وجود الدوال أحادية الاتجاه.

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