New Quantum Internet Applications via Verifiable One-Time Programs
تقدم هذه الورقة برامج أحادية الاستخدام قابلة للتحقق، مبنية من حالات الكيوبت الواحد والتشفير الكلاسيكي لتمكين الحوسبة الآمنة المفتوحة في جولة واحدة، مما يسهل تطبيقات الكم قريبة المدى مثل المزادات ذات العطاءات المغلقة، وبروتوكولات الإجماع، والتجميع ذي الخصوصية التفاضلية.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
تخيل أنك تحاول إرسال وصفة سرية إلى صديق، لكنك تريد التأكد من أنه لن يستطيع طهي الطبق إلا مرة واحدة فقط، وتريد أن تكون متأكداً تماماً من أنه لم يغش بالنظر إلى المكونات قبل البدء.
في عالم التشفير، يُسمى هذا برنامج المرة الواحدة (One-Time Program - OTP). إنه يشبه مظروف "اقرأ ثم احرق بعد القراءة". ومع ذلك، فإن بناء مثل هذه البرامج في العالم الحقيقي أمر صعب للغاية لأنها تتطلب حواسيب كمومية معقدة وباهظة الثمن لا توجد حالياً.
تقدم هذه الورقة البحثية طريقة أبسط للقيام بذلك باستخدام حالات الكيوبت المنفرد (single-qubit states) (وهي أبسط اللبنات الأساسية للمعلومات الكمومية، مثل رمية عملة معدنية واحدة) مدمجة مع بعض الحيل الرياضية الكلاسيكية الذكية. يطلق المؤلف على هذا النظام الجديد اسم البرامج القابلة للتحقق من المرة الواحدة (Verifiable One-Time Programs - Ver-OTPs)، ويستخدمه لبناء شيء أكبر يسمى الحوسبة الآمنة المفتوحة (Open Secure Computation - OSC).
إليك تفصيل لأفكار الورقة البحثية باستخدام تشبيهات من الحياة اليومية.
1. المشكلة: المظروف "الزائل"
عادةً ما تكون "برامج المرة الواحدة" الكمومية مثل مكعبات الثلج. إنها رائعة، لكنها تذوب (تفقد حالتها الكمومية) بسرعة كبيرة. إذا أرسلت مكعب ثلج إلى صديق، فعليه أن يمسكه ويستخدمه فوراً، وإلا فسيضيع. وهذا يجعلها غير مفيدة للعديد من المهام في العالم الحقيقي حيث قد تحتاج لإرسال برنامج ليقوم المستخدم بتشغيله لاحقاً.
رؤية المؤلف:
بدلاً من محاولة إبقاء مكعب الثلج متجمداً للأبد، ماذا لو قبلنا فكرة أنه يذوب بسرعة، ولكننا بنينا نظام تحقق حوله؟ يمكننا التحقق مما إذا كان مكعب الثلج حقيقياً قبل أن يذوب، وإذا كان كذلك، فنحن نثق في النتيجة.
2. الحل: "الصندوق السحري" (Verifiable OTPs)
ابتكر المؤلف برنامجاً قابلاً للتحقق من المرة الواحدة. فكر في هذا كأنه صندوق سحري يُرسل إلى المستخدم.
- كيف يعمل: يضع المرسل برنامجاً سرياً داخل الصندوق. يتكون الصندوق من العديد من "الشظايا" الصغيرة الهشة (الحالات الكمومية).
- لعبة "القبض والاختيار": قبل أن يفتح المستخدم الصندوق لتشغيل البرنامج، يطلب المرسل من المستخدم كسر بضع شظايا عشوائياً للتحقق مما إذا كانت حقيقية.
- إذا بدت الشظايا مزيفة، سيعرف المستخدم أن الصندوق عملية احتيال ويتوقف.
- إذا بدت الشظايا حقيقية، فسيضمن له ذلك إحصائياً أن بقية الصندوق حقيقي أيضاً.
- النتيجة: يمكن للمستخدم الآن تشغيل البرنامج بأمان لمرة واحدة فقط. ولأن الشظايا هشة، فلا يمكنه تشغيله مرتين.
لماذا هذا مميز؟
لأنه يستخدم تقنيات كمومية بسيطة جداً (حالات الكيوبت المنفرد) التي يمكننا بناؤها باستخدام تكنولوجيا اليوم، بدلاً من انتظار الحواسيب الكمومية الخارقة والمستقبلية.
3. القفزة الكبيرة: "الحوسبة الآمنة المفتوحة" (OSC)
بمجرد حصولنا على هذه الصناديق السحرية، يبني المؤلف نظاماً جديداً يسمى الحوسبة الآمنة المفتوحة (OSC).
تخيل اجتماعاً في قاعة المدينة حيث يمكن لأي شخص التقدم ووضع مظروف مغلق في صندوق.
- لا يتطلب تسجيلاً: لا تحتاج للتسجيل أو إظهار هوية مسبقاً. يمكن لأي شخص المشاركة.
- العمدة (المستلم): هناك "عمدة" (المستلم) يقوم بجمع كل المظاريف.
- الخدعة: يمكن للعمدة تجميع المظاريف بالطريقة التي يريدها. يمكنه أخذ المظاريف (أ، ب، ج) ويسأل: "ما هو متوسط هذه المظاريف؟". ثم يأخذ المظاريف (د، هـ) ويسأل: "ما هو مجموع هذه المظاريف؟".
- الأمان: على الرغم من أن العمدة هو المسؤول، إلا أنه لا يمكنه رؤية ما بداخل المظاريف حتى يقوم بالحسابات. ولأن المظاريف عبارة عن "صناديق سحرية"، لا يمكن للعمدة الغش بفتح المظاريف مبكراً أو إجراء الحسابات مرتين.
4. التطبيقات في العالم الحقيقي (قسم "ما الذي يمكننا فعله بهذا؟")
توضح الورقة كيف يمكن لهذا النظام (نظام "قاعة المدينة") حل ثلاث مشكلات رئيسية:
أ. المزاد ذو العروض المغلقة (لعبة "المزايدة العمياء")
- السيناريو: تريد بيع لوحة نادرة. يريد المزايدون تقديم عروضهم دون رؤية عروض بعضهم البعض.
- المشكلة: عادةً ما قد يلقي مدير المزاد نظرة خاطفة على العروض أو يتلاعب باللعبة.
- حل الـ OSC: يضع المزايدون عروضهم المختومة في النظام. يقوم النظام (العمدة) بتحديد الفائز والسعر دون أن يرى مدير المزاد العروض الفردية أبداً.
- الفائدة: لا يمكن لمدير المزاد الغش، ويعرف المزايدون أن أسرارهم في أمان. يحدث هذا في جولة واحدة فقط—دون الحاجة لتبادل رسائل البريد الإلكتروني ذهاباً وإياباً.
ب. "الاقتراح الذري" (عناق المجموعة من أجل الإجماع)
- السيناريو: في شبكات الكمبيوتر (مثل بيتكوين أو إيثيريوم)، تحتاج الحواسيب إلى الاتفاق على قاعدة ما. عادةً، يقول القائد: "لنقم بـ (س)"، وعلى الجميع أن يقولوا "نعم".
- المشكلة: إذا كان القائد بطيئاً أو سيئ النية، فقد تتوقف الشبكة بأكملها.
- حل الـ OSC: يقترح القائد قيمة ما. يضع الجميع ردودهم (نعم/لا) في النظام. يتحقق النظام فوراً مما إذا كانت الأغلبية قد وافقت. وإذا فعلوا، فإنه يُنشئ "توقيعاً جماعياً" يثبت موافقة الجميع.
- الفائدة: هذا يسرع كيفية وصول الشبكات إلى الإجماع، مما يجعلها أسرع وأكثر أماناً.
ج. الإحصاءات الخاصة (الاستطلاع المجهول)
- السيناريو: تريد شركة معرفة متوسط رواتب موظفيها دون مطالبة أي شخص بالكشف عن راتبه المحدد.
- حل الـ OSC: يرسل الموظفون بيانات رواتبهم (مشفرة) ورقم "ضجيج" سري. يقوم النظام بجمعها جميعاً ويضيف القليل من "الضجيج" العشوائي إلى النتيجة النهائية.
- الفائدة: تحصل الشركة على رقم متوسط مفيد، ولكن لا يمكن لأحد معرفة راتب كل شخص. والأهم من ذلك، لا يحتاج الموظفون للتسجيل مسبقاً؛ يمكنهم فقط إرسال بياناتهم بشكل مجهول.
5. متطلبات "الأجهزة" (Hardware)
الجزء الأكثر إثارة للمهندسين هو أن هذا لا يتطلب حاسوباً كمومياً من أفلام الخيال العلمي.
- الجزء الكمومي: يحتاج فقط إلى حالات الكيوبت المنفرد (مثل فوتون واحد من الضوء). يتم إرسال هذه الحالات بالفعل عبر كابلات الألياف الضوئية اليوم.
- الجزء الكلاسيكي: يتم العمل الشاق بواسطة الحواسيب القياسية باستخدام الرياضيات المتقدمة (التشفير وإثباتات المعرفة الصفرية).
الملخص
الورقة البحثية تشبه اختراع نوع جديد من صناديق الأمان البسيطة جداً في بنائها (باستخدام أجزاء كمومية أساسية) لدرجة أنه يمكننا استخدامها الآن.
- البرامج القابلة للتحقق من المرة الواحدة (Verifiable OTPs): صندوق يمكنك التحقق منه قبل فتحه، مما يضمن أنه حقيقي وأنه لا يمكن فتحه إلا مرة واحدة.
- الحوسبة الآمنة المفتوحة (OSC): نظام يمكن من خلاله لغرباء إرسال بيانات سرية إلى خادم مركزي، ويمكن للخادم إجراء حسابات على تلك البيانات دون رؤية البيانات الخام ودون الحاجة لمعرفة من أرسلها.
هذا يفتح الباب أمام مزادات أكثر عدلاً، واتفاق أسرع للإنترنت، وتحليل بيانات خاص باستخدام تكنولوجيا ستكون متاحة قريباً جداً، وليس بعد عقود.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.