⚛️ quantum physics

Certified-Everlasting Quantum NIZK Proofs

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

المؤلفون الأصليون: Nikhil Pappu

نُشر 2026-02-13

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

CC BY 4.0

المؤلفون الأصليون: Nikhil Pappu

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

تخيل أن لديك وصفة سرية لأفضل كعكة شوكولاتة في العالم. تريد أن تثبت لصديقك (المُتحقق/Verifier) أنك تعرف الوصفة بالفعل وأن الكعكة لذيذة، دون أن تطلعه على الوصفة نفسها. هذه هي المشكلة الكلاسيكية لـ "إثباتات المعرفة الصفرية" (Zero-Knowledge Proofs).

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

تقدم هذه الورقة البحثية طريقة جديدة للقيام بذلك بالضبط، باستخدام القواعد الغريبة لـ الفيزياء الكمومية.

إليك تفصيل أفكار الورقة باستخدام تشبيهات بسيطة.

1. المشكلة: الإثبات "الأبدي"

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

الحل الكمومي:
تتمتع الفيزياء الكمومية بقاعدة تسمى "مبرهنة عدم الاستنساخ" (No-Cloning Theorem). لا يمكنك صنع نسخة مثالية لجسم كمومي؛ فإذا حاولت النظر إليه عن كثب، فإنك تغيره.
تقترح الورقة نظاماً يجب على "المُتحقق" فيه أن يثبت أنه قد حذف الإثبات. إذا قام بحذفه بشكل صحيح، فإن السر سيختفي للأبد، حتى لو امتلك قوة حوسبة لانهائية لاحقاً. وهذا ما يسمى "المعرفة الصفرية الموثقة الأبدية" (Certified-Everlasting Zero-Knowledge - CE-ZK).

2. العقبة الكبرى: خدعة "التقسيم"

اكتشف المؤلف، نكيل بابو (Nikhil Pappu)، عقبة رئيسية في البداية.
تخيل أن الإثبات عبارة عن مغلف سحري. يريد المُتحقق الحفاظ على السر آمناً، لكنه يريد أيضاً إثبات أنه حذفه.

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

3. الحل: عالمين مختلفين

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

الحل (أ): المغلف "متعدد الطبقات" (نموذج CRS)

هذا مخصص لإعداد يتفق فيه الجميع على "سلسلة مرجعية مشتركة" (مثل مفتاح عام مشترك).

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

الحل (ب): "التوأم المتشابك" (نموذج EPR المشترك)

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

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

4. الخلاصة

تعد هذه الورقة طفرة لأنها تحل مشكلة كان الكثيرون يعتقدون أنها مستحيلة: كيف تثبت أنك حذفت إثباتاً كمومياً سرياً دون أن يتم تقسيم الإثبات وحفظه؟

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

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

إليك ملخص تقني مفصل لورقة البحث "Certified-Everlasting Quantum NIZK Proofs" للباحث نكيل بابو (Nikhil Pappu).

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

تتناول الورقة بناء براهين المعرفة الصفرية غير التفاعلية الكمومية ذات الصلاحية الأبدية الموثقة (CE-NIZK) لفئة التعقيد NP.

السياق: توفر براهين NIZK القياسية عادةً إما سلامة إحصائية (Statistical Soundness) (أي أنها آمنة ضد المبرهنين غير المحدودين) أو معرفة صفرية حوسبية (Computational Zero-Knowledge) (أي أنها آمنة ضد المدققين ذوي الكفاءة الحوسبية)، ولكن نادراً ما توفر كليهما في آن واحد. في عصر ما بعد الكم، هناك رغبة في تحقيق سلامة إحصائية (لحماية السلامة من أجهزة الكمبيوتر الكمومية المستقبلية التي قد تكسرها) مقترنة بـ معرفة صفرية أبدية (لحماية البيانات من الخصوم غير المحدودين مستقبلاً الذين قد يقومون بتخزين سجلات البراهين).
التحدي: تتطلب خاصية "الصلاحية الأبدية الموثقة" (Certified-Everlasting - CE) أن يتمكن المدقق من حذف حالة البرهان الكمومي بطريقة تكون موثقة من قبل المبرهن. إذا تم توثيق عملية الحذف، فيجب أن تكون الحالة المتبقية للمدقق قابلة للمحاكاة باستخدام البيان (Statement) فقط (وليس الشاهد/السر - Witness)، حتى من قبل خصم غير محدود.
الحاجز: فشلت المحاولات السابقة لتعميم بروتوكولات CE-ZK التفاعلية إلى الإطار غير التفاعلي (تحديداً في نموذج السلسلة المرجعية المشتركة - CRS). تحدد الورقة حاجزاً جوهرياً: فئة البروتوكولات المسماة "المقاومة للحذف" (Deletion-Resistant) (حيث يمكن تقسيم حالة البرهان إلى جزء يجتاز التحقق وجزء يجتاز توثيق الحذف) تعني وجود براهين NIZK تكون في آن واحد ذات سلامة إحصائية ومعرفة صفرية إحصائية؛ وهي براهين يُعتقد على نطاق واسع عدم وجودها لفئات لغات NP العامة.

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

تقترح الورقة بناءين متميزين للتغلب على الحواجز المحددة، باستخدام نماذج إعداد مختلفة.

أ. نموذج السلسلة المرجعية المشتركة (CRS Model)

يبني المؤلفون CE-NIZK في نموذج CRS عبر تجنب فخ "المقاومة للحذف" من خلال بنية برهان ثنائية المستويات مبتكرة تتضمن التراكب الكمومي.

الآلية الجوهرية:
1. البرهان الداخلي: يتم إنشاء برهان NIZK فعلي ( $\pi_{in}$ ) للبيان $x$ .
2. التشفير: يتم تشفير $\pi_{in}$ باستخدام نظام التشفير بمرة واحدة (One-Time Pad - OTP) مشتق من حالة BB84 كمومية ( $|y\rangle_\theta$ ). يتم حساب "الحشوة" (Pad) كعملية XOR لبتات حالة BB84 المقابلة لاختيارات القواعد المحددة.
3. البراهين الخارجية: بدلاً من إرسال النص المشفر مباشرة، يقوم المبرهن بإنشاء تراكب (Superposition) من براهين NIZK "خارجية". كل حد في هذا التراكب يثبت أن النص المشفر الذي تم فك تشفيره (باستخدام سلسلة قاعدة BB8K المحددة $z$ ) هو برهان صالح لـ $x$ .
4. استراتيجية برهان OR: لتمكين محاكاة البرهان بدون الشاهد، يستخدم البروتوكول تقنية الفتحتين (2-slot technique) (مستوحاة من Naor-Yung). حيث يتم إنشاء نصين مشفرين ( $ct_0, ct_1$ ) وإثبات عبارة OR: إما أن $ct_0$ يفك تشفيره إلى برهان صالح، أو أن $ct_1$ يفك تشفيره إلى برهان صالح.
منطق الأمان:
- السلامة (Soundness): تعتمد على السلامة التكيفية الإحصائية لـ NIZK الأساسي.
- المعرفة الصفرية الأبدية الموثقة: يُطلب من المدقق إعادة حالة BB84. إذا تحقق المبرهن من عملية الحذف (باستخدام نظرية الحذف الموثق لحالات BB84 بواسطة Bartusek وKhurana)، تصبح حشوة الـ OTP مخفية معلوماتياً.
- المحاكاة: يستخدم المحاكي (Simulator) خاصية المعرفة الصفرية التكيفية الآمنة كمومياً لـ NIZK الأساسي. يقوم المحاكي باستبدال البرهان الداخلي الحقيقي بواحد مُحاكى بتاً تلو الآخر داخل التراكب. وبسبب بنية برهان OR، يمكن للمحاكي الحفاظ على صحة البرهان الخاريم حتى أثناء تغيير النص المشفر الداخلي، مما يؤدي في النهاية إلى استبدال كامل البيانات المعتمدة على الشاهد برؤية مُحاكية.

ب. نموذج EPR المشترك (Shared EPR Model)

يلاحظ المؤلفون أن حاجز الاستحالة الخاص بـ "المقاومة للحذف" لا ينطبق عندما يتشارك المبرهن والمدقق في أزواج EPR (أزواج آينشتاين-بودولسكي-روزن) مسبقاً.

الآلية الجوهرية:
1. نموذج البتات المخفية: يكيف البروتوكول نموذج مولد البتات المخفية (HBG) الكلاسيكي مع الإطار الكمومي.
2. التشابك: يتشارك المبرهن والمدقق في أزواج EPR. يقوم مولد HBG بتثبيت سلسلة القاعدة $\theta$ .
3. القياس: يقوم كلا الطرفين بقياس أنصاف الـ EPR الخاصة بهما في القاعدة $\theta$ . وبسبب التشابك، يحصلان على نتائج مترابطة، مما يولد فعلياً "بتات مخفية" غير معروفة للمدقق حتى يتم الكشف عنها.
4. الحذف: لتوثيق الحذف، يقوم المدقق بقياس أزواج EPR غير المفتوحة في قاعدة هادامارد (Hadamard basis). يؤدي هذا إلى انهيار الحالة، مما يدمر المعلومات المتعلقة بالبتات المخفية.
الكفاءة: هذا النهج أكثر كفاءة بكثير من نموذج CRS. فهو يتطلب فقط قياسات أحادية الكيوبت (Single-qubit measurements) (سواء في القاعدة الحسابية أو قاعدة هادامارد) وحسابات كلاسيكية، متجنباً الحاجة إلى تراكب معقد لبراهين NIZK.

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

التعريف ونتيجة الاستحالة:
- تعريف CE-NIZKs رسمياً في كل من نموذجي CRS وShared EPR.
- إثبات أن براهين CE-NIZKs "المقاومة للحذف" (حيث يمكن فصل حالة البرهان عن حالة الحذف) تستلزم وجود براهين NIZK ذات سلامة إحصائية ومعرفة صفرية إحصائية، وهو أمر مستبعد جداً للغات NP العامة. وهذا يفسر لماذا تفشل عمليات التعميم البسيطة للبروتوكولات التفاعلية.
بناء CE-NIZK في نموذج CRS:
- بناء أول CE-NIZK لـ NP في نموذج CRS.
- الافتراضات: تعتمد على افتراض التعلم مع الأخطاء (LWE) (تحديداً الصعوبة متعددة الحدود).
- التقنية: استخدمت تراكب كمومي لبراهين NIZK متشابكة مع حالات BB84، مع الاستفادة من تقنية "الفتحتين" والمعرفة الصفرية التكيفية الآمنة كمومياً.
بناء CE-NIZK في نموذج EPR المشترك:
- إثبات أن حاجز الاستحالة يتلاشى في نموذج EPR المشترك.
- بناء CE-NIZK عالي الكفاءة يعتمد على أي مولد بتات مخفية (HBG) ذي ربط إحصائي (والذي يمكن بناؤه من LWE).
- الكفاءة: يتطلب البروتوكول فقط قياسات أحادية الكيوبت، مما يجعله أكثر جدوى من الناحية العملية من بناء CRS.
ضمانات الأمان:
- تلبي كلا البناءين السلامة الإحصائية (آمنة ضد المبرهنين غير المحدودين).
- تلبي كلتاهما المعرفة الصفرية الحوسبية (القياسية) والمعرفة الصفرية الأبدية الموثقة (آمنة ضد الخصوم غير المحدودين بعد نجاح توثيق الحذف).

4. النتائج

النظرية 2.4: توجد براهين CE-NIZKs لـ NP في نموذج CRS بافتراض وجود دوال أحادية الاتجاه (OWFs) وخصائص محددة لبراهين NIZK الآمنة كمومياً (التي يحققها البناء القائم على LWE).
النظرية 2.6: توجد براهين CE-NIZKs لـ NP في نموذج EPR المشترك بافتراض وجود مولدات بتات مخفية ذات ربط إحصائي (التي يحققها LWE).
النتيجة 2.5 و 2.7: يمكن تنفيذ كلتا البروتوكولين بشكل ملموس بناءً فقط على الصعوبة متعددة الحدود لمسألة LWE.

5. الأهمية

سد الفجوة: يحل هذا العمل سؤالاً مفتوحاً رئيسياً في التشفير الكمومي: هل يمكننا تحقيق براهين NIZK تكون في آن واحد ذات سلامة إحصائية وتوفر ضمانات معرفة صفرية أبدية عبر الحذف الموثق؟ الإجابة هي نعم، بشرط استخدام الموارد الكمومية (حالات BB84 أو أزواج EPR).
تجاوز الاستحالة: تقدم الورقة رؤية نظرية عميقة حول سبب فشل المحاولات السابقة (حاجز "المقاومة للحذف") وكيفية الالتفاف عليه باستخدام التشابك الكمومي والتراكب.
الآثار العملية:
- يوفر نموذج EPR المشترك بروتوكولاً عالي الكفاءة مناسباً لشبكات الكم القريبة من الواقع حيث يكون توزيع التشابك ممكناً.
- يوفر بناء نموذج CRS حلاً للإعدادات التي لا يتوفر فيها التشابك المسبق، معتمداً فقط على افتراضات ما بعد الكم القياسية (LWE).
الاتجاهات المستقبلية: تفتح الورقة آفاقاً لبناء CE-NIZKs لـ QMA (التعقيد الكمومي لـ NP) واستكشاف الحذف القابل للتحقق علناً (حالياً، التحقق من الحذف خاص بالمبرهن فقط).

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