⚛️ quantum physics

A Practical Protocol for Quantum Oblivious Transfer from One-Way Functions

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

المؤلفون الأصليون: Eleni Diamanti, Alex B. Grilo, Adriano Innocenzi, Pascal Lefebvre, Verena Yacoub, Álvaro Yángüez

نُشر 2026-05-27

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

CC BY 4.0

المؤلفون الأصليون: Eleni Diamanti, Alex B. Grilo, Adriano Innocenzi, Pascal Lefebvre, Verena Yacoub, Álvaro Yángüez

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

تخيل أنك في عرض سحري حيث يريد شخصان، أليس وبوب، لعب لعبة "الاختيار السري".

اللعبة: النقل غير المدرك (Oblivious Transfer)

في هذه اللعبة، لدى أليس رسالتان سريتان (لنسمهما الرسالة أ والرسالة ب). يريد بوب اختيار واحدة منهما ليراها.

الشرط: يجب ألا يتمكن بوب من التلصص على الرسالة الأخرى.
الشرط الثاني: يجب ألا تعرف أليس أي واحدة اختارها بوب.

يُسمى هذا "النقل غير المدرك" (OT). وهو حجر بناء أساسي للحوسبة الآمنة، مثل "الصندوق الأعمى" الرقمي حيث لا يعرف البائع أي صندوق فتحت، وأنت لا تستطيع فتح الصندوق الآخر.

المشكلة: البروتوكولات القديمة كانت هشة للغاية

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

حساسة للغاية: إذا فُقد فوتون واحد أو تغيرت حالته بسبب ضجيج طفيف (مثل هزة على الطاولة)، كان لزاماً إعادة تشغيل اللعبة بأكملها. كان الأمر يشبه محاولة بناء بيت من الورق وسط إعصار.
ثقيلة للغاية: كانت الطرق القديمة تتطلب عدداً فلكياً من الفوتونات — حوالي 10 تريليون (10¹³) لجولة واحدة. وحتى مع أسرع أجهزة الليزر، كان سيستغرق ذلك شهوراً لإرسالها.
معقدة للغاية: كانت تعتمد على براهين رياضية معقدة يصعب تنفيذها باستخدام التكنولوجيا القياسية المتوفرة في الأسواق.

الحل: بروتوكول عملي "مقاوم للضجيج"

قام مؤلفو هذه الورقة البحثية ببناء نسخة جديدة من هذه اللعبة تكون عملية، وسريعة، وقوية. إليك كيف فعلوا ذلك، باستخدام بعض التشبيهات البسيطة:

1. "شبكة تصحيح الأخطاء" (التعامل مع الضجيج)

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

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

2. "المرور لمرة واحدة" (الكفاءة)

كانت البروتوكولات القديمة تشبه لعبة تتطلب منك قلب عملة معدنية تريليون مرة للحصول على نتيجة واحدة "صورة".

التشبيه: البروتوكول الجديد يشبه القطار فائق السرعة بدلاً من المسار المتعرج والبطيء.
النتيجة: بدلاً من الحاجة إلى 10 تريليون فوتون، يحتاجون فقط إلى حوالي 10 إلى 30 مليون. هذا يقلل الوقت المطلوب من شهور إلى مجرد ثوانٍ. إنه الفرق بين انتظار وصول رسالة عبر سفينة وبين إرسال بريد إلكتروني.

3. "صندوق القفل السحري" (الحيلة التقنية)

لجعل اللعبة آمنة، يستخدمون نوعاً خاصاً من صناديق القفل الكمومية (يسمى "الالتزام بالبت" - Bit Commitment).

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

الصورة الكبيرة

لم يكتفِ المؤلفون بإثبات أن هذا يعمل على الورق فحسب؛ بل قدموا مخططاً لبنائه.

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

باختاً: لقد أخذوا لعبة كمومية هشة، بطيئة، ونظرية، وحولوها إلى أداة متينة، سريعة، وعملية يمكن بناؤها فعلياً في المختبر.

ملخص تقني: بروتوكول عملي للنقل المتبادل الكمي (Quantum Oblivious Transfer) من الدوال أحادية الاتجاه

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

يُعد النقل المتبادل الكمي (QOT) بدائية أساسية لبناء الحوسبة متعددة الأطراف (MPC) في الإطار الكمي. وبينما أثبتت أعمال سابقة [6، 7] إمكانية بناء QOT من الدوال أحادية الاتجاه (OWFs) والموارد الكمية، واجهت هذه البروتوكولات عوائق كبيرة أمام التحقيق التجريبي. وتتمثل المشكلات الرئيسية التي تم تحديدها في:

الهشاشة: البروتوكولات الحالية كانت غير متسامحة مع الأخطاء التجريبية (مثل قلب البتات أثناء توزيع الحالة).
تعقيد التنفيذ: الاعتماد على براهين المعرفة الصفرية التي لم تستخدم الدوال أحادية الاتجاه كصندوق أسود (black-box)، مما جعل دمجها مع دوال التجزئة (hash functions) العملية لما بعد الكم (مثل SHA) أمراً غير بديهي.
عدم الكفاءة: الهيكل التكراري للبروتوكولات السابقة تطلب عدداً غير عملي من الحالات الكمية (على سبيل المثال، $\sim 10^{13}$ من حالات BB84 لكل تشغيل)، مما أدى إلى أوقات نقل تصل إلى أشهر.

يهدف المؤلفون إلى توفير بروتوكول QOT يتسم بالتسامح مع الضوضاء والكفاءة، ويعتمد على الدوال أحادية الاتجاه في النموذج البسيط (plain model)، ويكون قابلاً للتطبيق في الإعدادات التجريبية الحالية.

2. المنهجية والنهج التقني

يقترح الحل بناء بروتوكول QOT آمن للمحاكاة (simulation-secure) عبر تقديم بدائية تشفيرية جديدة: مخطط التزام (Bit Commitment) مبهم ومستخرج مريح (Equivocal and Relaxed-Extractable - ERE).

الابتكارات الجوهرية:

الاستخراج المريح (Relaxed Extractability): لاحظ المؤلفون أن الاستخراج الكامل ليس ضرورياً بالضرورة لإثبات أمان QOT. لذا قدموا "الاستخراج المريح"، حيث يمكن للمحاكي استخراج الرسالة الملتزم بها لنسبة كبيرة من الالتزامات، بينما قد تظل نسبة ضئيلة غير قابلة للاستخراج. هذا التخفيف يسمح بهيكل بروتوكول أكثر كفاءة.
التسامح مع الضوضاء عبر تصحيح الأخطاء: على عكس الأعمال السابقة التي افترضت أجهزة خالية من الضوضية، يدمج هذا البروتوكول أكواد تصحيح الأخطاء الخطية (تحديداً الأكواد القائمة على المتلازمة مثل أكواد LDPC). يقوم المرسل بإرسال متلازمات القيم المشفرة، مما يسمح للمستقبل (أو المحاكي) بتصحيح الأخطاء واستخراج البذور الصحيحة حتى في وجود الضوضاء.
تقطير البذور بكفاءة: يستخدم البروتوكول تقنيات تضخيم الخصوصية (لهمة التجزئة المتبقية - Leftover Hash Lemma) على حالات BB84 لتقطير بذور عشوائية. تعمل هذه البذور كمفاتيح للالتزامات المبهمة. يقوم الهيكل بتجميع هذه البذور في عائلات للسماح بالالتزامات المتوازية، مما يتجنب العبء التربيعي الموجود في المجمعات السابقة.
هيكل الالتزام: يجمع مخطط ERE-Commitment بين:
1. EqCommitment: مجمع يحول الالتزام القياسي ذو الربط الإحصائي إلى التزام مبهم. قام المؤلفون بتعديل المجمع الأصلي [7] عن طريق تقليل عدد التكرارات المتتالية من $\lambda$ إلى نسخة واحدة، مقابل المقايضة بين الربط الكامل و"الربط المريح".
2. ERE-Commitment: بروتوكول رفيع المستوى يستخدم مخطط EqCommitment. يتضمن قيام المرسل بإرسال حالات BB84، ويقوم المستقبل بالالتزام بقرارات القياس ونتائجها، تليها مرحلة تحدي يتم فيها فتح مجموعة فرعية للتحقق. تُستخدم الحالات المتبقية لتوليد بذور للرسالة النهائية.

تدفق البروتوكول (البروتوكول 1):

الإرسال الكمي: ترسل أليس $2\lambda_{OT}$ من حالات BB84 إلى بوب.
الالتزام: يقيس بوب ويلتزم باختيارات قواعده ونتائجه باستخدام مخطط ERE-Commitment.
التحدي: تتحدى أليس مجموعة فرعية عشوائية $T$ من الالتزامات. يفتح بوب هذه الالتزامات للتحقق من اتساقها مع حالات أليس المرسلة (مع مراعاة الخطأ التجريبي $\alpha$ ).
توليد المفتاح: ترسل أليس معلومات القاعدة للمجموعة غير المتحدية $\bar{T}$ . يقوم بوب بتقسيم $\bar{T}$ إلى مجموعتين $I_0$ و $I_1$ بناءً على تطابق القواعد.
التشفير: ترسل أليس متلازمات تصحيح الأخطاء وتُشفر رسائلها $m_0, m_1$ باستخدام البذور المستمدة من الحالات غير المتحدية ومولد الأرقام شبه العشوائية (PRG).
فك التشفير: يصحح بوب أخطاءه باستخدام المتلازمات ويفك تشفير الرسالة المقابلة لبت الاختيار الخاص به $b$ .

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

بدائية جديدة: تعريف وبناء مخطط التزام (Bit Commitment) مبهم ومستخرج مريح (ERE) يعتمد على الدوال أحادية الاتجاه (OWFs).
QOT متسامح مع الضوضاء: بروتوكول QOT يتعامل صراحة مع الأخطاء التجريبية (قلب البتات وأحداث تعدد الفوتونات) من خلال تصحيح الأخطاء القائم على المتلازمة، وهي ميزة غائبة في البناءات النظرية السابقة.
تحسين الكفاءة: من خلال تحسين هيكل الالتزام واستخدام تصحيح الأخطاء، يقلل البروتوكول من عدد حالات BB84 المطلوبة من $\sim 10^{13}$ (في [7]) إلى $\sim 10^7$ .
تقطير متعدد لـ OT: يسمح البروتوكول بتقطير مفاتيح OT متعددة ( $n_{OT}$ ) من تشغيل واحد للبروتوكول، وهو أمر بالغ الأهمية لتنفيذ MPC بكفاءة.
إطار تحليلي: توفر الورقة تعبيرات تحليلية لمعايرة الموارد الكمية المطلوبة مقابل معايير الأمان المستهدفة (المسافة التتبعية $\Delta$ )، مع مراعاة معدلات الخطأ الفيزيائية ( $\alpha$ ) والتسريب ( $\vartheta$ ).

4. النتائج والأداء

يقدم المؤلفون معيار أداء (الجدول 1) يقارن بروتوكولهم مع [7] و [21] لهدف مسافة تتبعية $\Delta \le 10^{-15}$ :

تقليل الموارد: تم تقليل عدد حالات BB84 المطلوبة ( $N_{BB84}$ ) إلى حوالي $1.43 \times 10^6$ (في الحالة المثالية) إلى $3.33 \times 10^7$ (في الإعداد الواقعي المليء بالضوضاء)، مقارنة بـ $2.27 \times 10^{13}$ للبروتوكول في [7].
كفاءة الوقت: يترجم هذا التقليل إلى وقت استحواذ ( $T_{acq}$ ) بالثواني (مثلاً، من 1.43 ثانية إلى 43.6 ثانية بافتراض معدل 1 ميجاهرتز)، بينما كان العمل السابق [7] يتطلب حوالي 8.6 أشهر.
الأمان: تم إثبات أن البروتوكول آمن للمحاكاة ضد الأطراف الخبيثة في النموذج البسيط، بالاعتماد فقط على وجود دوال أحادية الاتجاه لما بعد الكم.

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

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

يؤكد المؤلفون أن بناءهم يحقق تكاليف BB84 مقاربة للبروتوكولات القائمة على نموذج الأوراكل العشوائي (ROM) [21]، ولكنه يعمل تحت افتراضات حسابية أضعف بكثير (النموذج البسيط مع OWFs بدلاً من ROM). ويذكرون صراحة أن هدفهم هو "تنفيذ عملي"، وهم لا يدعون مطابقة الكفاءة الكلاسيكية للالتزامات القائمة على ROM، بل يسعون لتوفير مسار قابل للتطبيق لـ OT الآمن كمياً في العالم الحقيقي. كما تسلط الورقة الضوء على أن خاصية الاستخراج المريح كافية للأمان، وهي رؤية تقنية تتيح مكاسب الكفاءة دون المساس بضمانات الأمان القائمة على المحاكاة المطلوبة لـ MPC.