⚛️ quantum physics

On Best-Possible One-Time Programs

تثبت هذه الورقة استحالة وجود برامج أحادية الاستخدام مثالية بشكل عام، ثم تقدم وتنشئ برامج "قابلة للاختبار" أحادية الاستخدام لأي وظائف كمومية في النموذج الكلاسيكي للأوراكل (oracle model) عبر الاستفادة من أمن الاستعلام الفعال المنفرد المعمم (Single-Effective-Query security) والتعمية غير القابلة للتمييز للحالة الكمومية (stateful quantum indistinguishability obfuscation).

المؤلفون الأصليون: Aparna Gupte, Jiahui Liu, Luowen Qian, Justin Raizes, Bhaskar Roberts, Mark Zhandry

نُشر 2026-03-03

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

CC BY 4.0

المؤلفون الأصليون: Aparna Gupte, Jiahui Liu, Luowen Qian, Justin Raizes, Bhaskar Roberts, Mark Zhandry

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

إليك شرح لورقة البحث "حول أفضل البرامج الممكنة للاستخدام لمرة واحدة" (On Best-Possible One-Time Programs) باستخدام لغة بسيطة، وتشبيهات، واستعارات.

الصورة الكبيرة: حلم "الاستخدام لمرة واحدة"

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

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

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

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

الجزء الأول: الأخبار السيئة (حلم "المثالية" قد انتهى)

حاول المؤلفون أولاً العثور على "مترجم شامل للأفضل الممكن" (Universal Best-Possible Compiler). فكر في هذا كمكينة سحرية تأخذ أي وصفة سرية وتحولها إلى برنامج للاستخدام لمرة واحدة يكون آمنًا قدر الإمكان من الناحية الرياضية.

النتيجة: أثبتوا أن هذه الماكينة لا يمكن أن توجد.

التشبيه:
تخيل نوعين مختلفين من الصناديق السحرية:

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

المشكلة هي أنه بالنسبة للكمبيوتر، يبدو الصندوق (أ) والصندوق (ب) متطابقين. لا يمكنك التمييز بينهما بمجرد النظر إلى الخارج.

ومع ذلك، لجعل البرنامج "مثاليًا" للاستخدام لمرة واحدة:

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

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

الخلاصة: لا يمكنك بناء برنامج "أفضل ممكن" عام لكل شيء. الرياضيات ببساطة لا تسمح بذلك.

الجزء الثاني: الأخبار الجيدة (حل وسط "قابل للاختبار")

بما أن حلم "المثالية" قد انتهى، سأل المؤلفون: "هل يمكننا العثور على نوع محدد من برامج الاستخدام لمرة واحدة حيث يمكننا تحقيق أفضل أمن ممكن؟"

لقد قدموا مفهومًا جديدًا يسمى برامج الاستخدام لمرة واحدة القابلة للاختبار (Testable One-Time Programs).

التشبيه:
تخيل أنك تعطي الخباز وصفة، ولكنك تعطيه أيضًا مرآة سحرية.

الوصفة هي "البرنامج".
المرآة السحرية هي "أوراكل الانعكاس" (reflection oracle).

إليك كيف يعمل الأمر:

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

لماذا هذا مميز؟
المتطلب "القابل للاختبار" يجبر البرنامج على أن يكون في حالة محددة ونظيفة جدًا (حالة نقية - pure state). وهذا يزيل السيناريوهات "المختلطة" والمربكة التي كسرت المترجم "المثالي" في الجزء الأول.

النتيجة:
أثبت المؤلفون أنه بالنسبة لهذه البرامج القابلة للاختبار، يمكننا تحقيق "أفضل أمن ممكن". لقد ابتكروا معيارًا أمنيًا جديدًا يسمى SEQ (الاستعلام الفعال الوحيد - Single Effective Query).

SEQ يعني: "يمكنك الحصول على الإجابة مرة واحدة. إذا حاولت الحصول على الإجابة مرة أخرى، فسوف يلاحظ النظام أنك حاولت 'التراجع' عن محاولتك الأولى وسيرفضك".

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

الجزء الثالث: المستقبل (كيف نبني هذا في العالم الحقيقي)

توضح الورقة أن "برامج الاستخدام لمرة واحدة القابلة للاختبار" تعمل بشكل مثالي إذا كان لدينا "أوراكل سحري" (كمبيوتر نظري مثالي يثق به الجميع). لكننا لا نملك هذه الأشياء في الحياة الواقعية بعد.

لذلك، اقترح المؤلفون أداة جديدة تسمى التعمية الكمومية الحالة (Stateful Quantum Indistinguishability Obfuscation - Stateful Quantum iO).

التشبيه:

التعمية القياسية (Standard Obfuscation): إخفاء كود البرنامج بحيث لا يستطيع أحد قراءته.
التعمية الحالة (Stateful Obfuscation): إخفاء كود برنامج يغير رأيه بمرور الوقت.

تخيل جاسوسًا لديه دفتر ملاحظات سري.

الجاسوس العادي: دفتر الملاحظات يقول دائمًا الشيء نفسه.
الجاسوس الحالة: دفتر الملاحظات يكتب سرًا جديدًا في كل مرة تسأل فيها سؤالًا، ثم يحرق تلك الصفحة.

أظهر المؤلفون أنه إذا استطعنا بناء "دفتر ملاحظات الجاسوس الحالة" هذا (Stateful Quantum iO)، فيمكننا تلقائيًا بناء "برامج الاستخدام لمرة واحدة القابلة للاختبار" التي نحتاجها.

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

ملخص النتائج المستخلصة

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

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

إليك ملخص تقني مفصل لورقة البحث "On Best-Possible One-Time Programs" (حول أفضل البرامج الممكنة لمرة واحدة) للباحثين جوبتي وآخرون.

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

البرامج المتاحة لمرة واحدة (One-Time Programs - OTPs) هي بدائيات تشفيرية تسمح للمستخدم بتقييم برنامج على مدخل واحد من اختياره مع عدم الكشف عن أي معلومات أخرى حول كود البرنامج أو سلوكه.

التحدي: تتطلب الـ OTPs الكلاسيكية رموزاً مادية (hardware tokens). وحتى مع وجود المعلومات الكمومية، لا يمكن تحقيق الوظائف الحتمية (deterministic) كبرامج OTP بسبب هجمات "القياس اللطيف" (gentle measurement) (برودكروفت، غوتوسكي، ستيبلا، 2013)، والتي تسمح للمهاجم باستخراج المعلومات دون تدمير الحالة.
التقدم الأخير: حققت الأعمال الحديثة نتائج إيجابية للوظائف العشوائية (randomized) ذات المخرجات عالية الإنتروبيا (مثل التوقيعات) دون افتراضات الأجهزة. ومع ذلك، لا تزال الحدود الأساسية لأمن الـ OTP غير واضحة.
السؤال الجوهري: هل يوجد "مُجمع" (compiler) عام "أفضل ما يمكن" للبرامج المتالة لمرة واحدة؟ بالقيامة مع "أفضل ما يمكن من التعتيم" (best-possible obfuscation) في التشفير الكلاسيكي (جولد واسلر وروثبلوم، 2007)، سيكون هذا تحويلاً يحقق، لأي وظيفة، أقوى أمن ممكن لمرة واحدة يمكن أن يحققه أي بناء لتلك الوظيفة المحددة.

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

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

براهين الاستحالة عبر التشفير الفاقد (Lossy Encryption): لإثبات عدم وجود مُجمع عام "أفضل ما يمكن"، يبني المؤلفون عائلتين من البرامج العشوائية التي لا يمكن تمييزها حسابياً ولكنها تتطلب حمايات مختلفة جذرياً لمرة واحدة. إنهم يستفيدون من مخططات تشفير المفتاح العام الفاقد (Lossy PKE) (التي يمكن بناؤها من LWE أو عمليات المجموعات)، والتي تمتلك وضعاً "حقنياً" (injective mode) (التشفير القياسي) ووضعاً "فاقداً" (lossy mode) (حيث تكون النصوص المشفرة مستقلة إحصائياً عن الرسالة).
البرامج المتاحة لمرة واحدة القابلة للاختبار (Testable OTPs): إدراكاً منهم لاستحالة الحل العام، يقدم المؤلفون فئة مقيدة من الـ OTPs تسمى البرامج المتاحة لمرة واحدة القابلة للاختبار. وهي برامج معززة بـ أوراكل انعكاس (reflection oracle) (أو يونيتاري) يسمح للمستخدم بالتحقق مما إذا كان وضع البرنامج قد تعرض للاضطراب. هذا القيد يمنع استخدام التنفيذات ذات الحالات المختلطة (mixed-state) التي تكون صحيحة "في المتوسط" فقط، وهو الثغرة التي استُخدمت في برهان الاستحالة.
أمن الاستعلام الفعال الوحيد (Single Effective Query - SEQ): يعمم المؤلفون مفهوم أمن SEQ (المخصص أصلاً للدوال العشوائية الكلاسيكية) ليشمل جميع القنوات الكمومية. يفترض أمن SEQ أن الـ OTP يكون آمناً إذا كان يمكن محاكاة مخرجه بواسطة أوراكل مثالي يسمح باستعلام "فعال" واحد فقط. إذا تمت محاولة استعلام ثانٍ، يرفض الأوراكل التعاون ما لم يتم "إلغاء حساب" (uncomputed) الاستعلام الأول تماماً (أي عكسه)، وهو أمر مستحيل إذا تم قياس المخرج بشكل ذي معنى.
التعتيم الكمومي للحالة غير القابل للتمييز (Stateful Quantum iO): لتحقيق هذه الأهداف في "النموذج البسيط" (plain model) (بدون أوراكل)، يقترح المؤلفون بدائية جديدة: Stateful Quantum iO. بخلاف الـ iO القياسي الذي يعتم الدوائر الثابتة، يقوم هذا بتعتيم البرامج التي تحتفظ بحالة داخلية وتتطور عبر استعلامات متتالية.

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

أ. استحالة وجود مُجمعات OTP عامة "أفضل ما يمكن"

النتيجة: لا يوجد مُجمع عام "أفضل ما يمكن" للبرامج المتالة لمرة واحدة، حتى بالنسبة للوظائف العشوائية الكلاسيكية.
آلية البرهان: يبني المؤلفون عائلتين من الدوال، $D$ $D$ (التشفير الفاقد) و $E$ $E$ (التشفير الحقني).
- الدالة $D$ (الوضع الفاقد) تنتج مخرجات مستقلة إحصائياً عن المدخلات. "أفضل" حماية لـ $D$ هي دالة ثابتة (تتجاهل المدخلات).
- الدالة $E$ (الوضع الحقني) تنتج مخرجات تعتمد على المدخلات. "أفضل" حماية لـ $E$ يجب أن تحافظ على هذا الاعتماد.
- بما أن $D$ و $E$ لا يمكن تمييزهما حسابياً (بسبب أمن Lossy PKE)، فإن المُجمع العام لا يمكنه التمييز بينهما. ومع ذلك، فإن الحماية المثلى لـ $D$ (ثابتة) و $E$ (حقنية) متعارضتان. المُجمع الذي يُجبر على التصرف كالأمثل لـ $D$ سيفشل في تحقيق الصحة لـ $E$ ، والعكس صحيح.
الافتراض: ينطبق هذا بافتراض وجود Lossy PKE (المشتق من LWE أو عمليات المجموعات شبه العشوائية الضعيفة).

ب. أفضل أمن ممكن للبرامج المتاحة لمرة واحدة القابلة للاختبار

النتيجة: بينما يستحيل وجود مُجمعات عامة "أفضل ما يمكن"، فإن مُجمعات الـ OTP القابلة للاختبار "أفضل ما يمكن" قابلة للتحقيق في نموذج الأوراكل.
الآلية: يثبت المؤلفون أن أمن SEQ يتضمن أمن الاختبار الأفضل (best-possible testable security).
- يوضحون أنه لأي برنامج قابل للاختبار $P$ ينفذ قناة $\Phi$ ، يمكن محاكاة أوراكل SEQ باستخدام $P$ وأوراكل الانعكاس الخاص به.
- بما أن أمن SEQ يمكن تحقيقه لجميع القنوات الكمومية في النموذج الكلاسيكي للأوراكل (عبر التعتيم اليونيتاري المثالي)، فإن هذا يقدم أول النتائج الإيجابية لـ القنوات الكمومية التعسفية (بعيداً عن مجرد الدوال العشوائية الكلاسيكية) دون افتراضات الأجهزة.

ج. التعتيم الكمومي للحالة غير القابل للتمييز (Stateful Quantum iO)

النتيجة: يقترح المؤلفون Stateful Quantum iO كمسار واعد لبناء أفضل الـ OTPs القابلة للاختبار في النموذج البسيط.
التعريف: يكون برنامجان كمومان حاليان (stateful) معتمين بشكل غير قابل للتمييز إذا أنتجا نفس توزيعات المخرجات عبر أي تسلسل من الاستعلامات المتتالية (وليس مجرد استعلام واحد).
الأهمية:
- Stateful iO يعني وجود أفضل OTPs القابلة للاختبار.
- Stateful iO يمكن تحقيقه في النموذج الكلاسيكي للأوراكل (باستخدام مخططات المصادقة الكمومية والتعتيم اليونيتاري المثالي).
- هذا يتجنب استحالة تعتيم VBB القياسي لأنه يأخذ في الاعتبار تطور الحالة، مما يمنع الهجمات "ذاتية المرجعية" التي تميز البرامج بناءً على تدهورها بمرور الوقت.

4. الأهمية والآثار المترتبة

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

جدول ملخص

المفهوم	الحالة	الرؤية الجوهرية
Generic Best-Possible OTP	مستحيل	يتطلب التمييز بين الأنماط الفاقدة والحقنية غير القابلة للتمييز؛ مستحيل حتى للدوال العشوائية الكلاسيكية.
Testable OTP	قابل للتحقيق (الأوراكل)	تقييد البرامج بأوراكل الانعكاس يسمح بأفضل أمن عبر SEQ.
SEQ Security	قابل للتحقيق (الأوراكل)	تم تعميمها على جميع القنوات الكمومية؛ وتعمل كمعيار "أفضل ما يمكن" للـ OTPs القابلة للاختبار.
Stateful Quantum iO	قابل للتحقيق (الأوراكل)	بدائية جديدة تعتم البرامج ذات الحالة المتطورة؛ وتؤدي إلى أفضل الـ OTPs القابلة للاختبار.
Plain Model Construction	مفتوح (قيد البحث)	يتطلب بناء Stateful Quantum iO في النموذج البسيط (بدون أوراكل).

في الختام، توفر هذه الورقة خريطة شاملة لمشهد البرامج المتاحة لمرة واحدة (OTP) في العصر الكمومي. فهي تنفي بشكل قاطع وجود مُجمعات "أفضل ما يمكن" عامة، وتحدد مفهوم الأمن الصحيح (SEQ) للبرامج القابلة للاختبار، وتقترح Stateful Quantum iO كقطعة مفقودة حاسمة لتحقيق هذه البرامج في العالم الحقيقي.