⚛️ quantum physics

Statistically-Secure Bit Commitment and Coin Flipping Protocols Based on Quantum Hardware Assumptions

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

المؤلفون الأصليون: Roo Dunnill, Mina Doosti

نُشر 2026-08-12

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

CC BY 4.0

المؤلفون الأصليون: Roo Dunnill, Mina Doosti

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

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

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

اللعبة المستحيلة وخدعة الأجهزة

في عالم التشفير، يعتبر "التزام البت" (bit commitment) المعادل الرقمي للظرف المختوم. أنت (أليس) تريد الالتزام باختيار (0 أو 1) وتسلمه لصديقك (بوب). عليك أن تعد بشيئين: أولاً، أن بوب لا يمكنه استراق النظر إلى اختيارك قبل أن تكشف عنه (وهذا يسمى الإخفاء أو hiding)؛ وثانياً، بمجرد ختم الظرف، لا يمكنك تغيير اختيارك سراً إلى الرقم الآخر (وهذا يسمى الإلزام أو binding).

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

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

فكر في الـ HLPUF كأنه رمز "صندوق أسود" سحري وغير قابل للنسخ.

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

البروتوكول الجديد: لعبة "ثق في الصندوق"

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

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

2. الالتزام (الظرف المختوم)
تريد أليس الالتزام ببت (0 أو 1). تختار سؤالاً من دفتر ملاحظاتها، لنقل "السؤال X".

تسأل الرمز عن الإجابة لـ "السؤال X".
تستخدم أيضاً خوارزمية خاصة لإنشاء سؤال "زائف"، وهو "السؤال Y"، الذي يشبه X كثيراً ولكنه مختلف قليلاً.
ترسل كلاً من السؤال X والسؤال Y إلى بوب.
الآن، إليك الخدعة السحرية: تأخذ الإجابة على السؤال X وتحولها إلى سلسلة من الجسيمات الكمومية (qubits).
- إذا أرادت الالتزام بـ 0، فإنها تشفر الإجابة باستخدام "نمط" (basis) السؤال X.
- إذا أرادت الالتزام بـ 1، فإنها تشفر نفس الإجابة باستخدام "نمط" السؤال Y.
ترسل هذه السلسلة من الجسيمات الكمومية إلى بوب.

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

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

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

النتائج: نوع جديد من الأمان

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

أظهر المؤلفون شيئين رئيسيين:

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

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

لماذا هذا مهم

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

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

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

مسودة

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

بيان المشكلة

يُعد الالتزام بالبت (Bit commitment) من الأوليات التشفيرية الأساسية الضرورية لمهام مثل تقليب العملة (coin flipping)، وإثباتات المعرفة الصفرية، والحوسبة متعددة الأطراف الآمنة. ومع ذلك، فإن مبرهنة مايرز-لو-تشاو للاستحالة (Mayers–Lo–Chau impossibility theorem) تثبت أن الالتزام بالبت الكمومي الآمن غير مشروط مستحيل في النموذج القياسي غير النسبي المكون من طرفين. فأي بروتوكول يكون كافياً من حيث الإخفاء (hiding) سيؤدي حتماً إلى وجود استراتيجية متماسكة للملتزم (أليس) تعتمد على التنقية والقياس المؤجل، مما يؤدي إلى كسر خاصية الربط (binding).

تعتمد النهج الحالية للالتفاف على مبرهنة الاستحالة هذه عادةً على:

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

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

المنهجية

يقترح المؤلفون بروتوكولاً بنائياً يعتمد على الوظائف الفيزيائية غير القابلة للاستنساخ الهجينة والمقفلة (Hybrid Locked Physical Unclonable Functions - HLPUFs). والـ HLPUF هو أداة أجهزة تجمع بين (cPUF) كلاسيكي وطبقة اتصالات كمومية.

1. أداة الأجهزة (HLPUF غير المتماثل):
يستخدم البروتوكول نسخة غير متماثلة من الـ HLPUF المقدمة في عمل سابق [22]. يتم تقسيم الاستجابة الكلاسيكية $f(x)$ للـ cPUF الأساسي إلى جزأين:

$f_1(x)$ (المُحقِّق): سلسلة أقصر تُستخدم للتحقق.
$f_2(x)$ (الحمولة): سلسلة أطول يتم تشفيرها في حالات كمومية.

يعمل الجهاز في وضعين:

وضع إلغاء القفل (الإعداد): تقوم أليس باستعلام الجهاز لبناء قاعدة بيانات لأزواج التحدي والاستجابة.
وضع القفل (التنفيذ): يكون الجهاز "مقفلًا". يقبل تحدياً $x$ وحالة كمومية $|\psi\rangle$ . يتحقق مما إذا كانت $|\psi\rangle$ تطابق الحالة المتوقعة المشتقة من $f_1(x)$ . إذا كانت صالحة، يخرج الحالة الكمومية المقابلة لـ $f_2(x)$ ؛ وإلا فإنه يتوقف. ومن المهم أنه بمجرد قفله، لا يمكن إلغاء قفل الجهاز أو استعلامه كلاسيكياً للحصول على $f_2(x)$ .

2. تصميم البروتوكول:
يقدم البروتوكول عدم تماثل متعمد لمنع السلوك غير النزيه:

توليد زوج التحدي: لاختيار تحدٍ $x_0$ ، يستخدم البروتوكول خوارزمية محددة (الخوارزمية 1) لتوليد تحدٍ بديل $x_1$ . تم بناء هذه التحديات بحيث تختلف في مجموعة محددة من الفهارس $J$ (بحجم $\ell_{min}$ )، مما يضمن أن بتات الأساس لتشفير BB84 تختلف بشكل كبير بينما تظل بتات القيمة متوازنة.
الالتزام: تلتزم أليس ببت $b \in \{0, 1\}$ $b \in {0, 1}$ عن طريق إعداد حالة كمومية $\rho_b$ $ρ_{b}$ . هذه الحالة تشفر الجزء الفرعي للحمولة $f_2(x_0)_J$ $f_{2} (x_{0})_{J}$ (بتات الاستجابة عند الفهارس $J$ $J$ ).
- إذا كان $b=0$ ، يتم تشفير الحالة في الأساس المحدد بواسطة $x_0$ ( $\beta(x_0)$ ).
- إذا كان $b=1$ ، يتم تشفير الحالة في الأساس المحدد بواسطة $x_1$ ( $\beta(x_1)$ ).
- ترسل أليس الزوج $(x_0, x_1)$ والترتيب $J$ إلى بوب، جنباً إلى جنب مع الحالة الكمومية $\rho_b$ .
الفتح: تكشف أليس عن $b$ و $x_0$ والاستجابات الكلاسيكية الكاملة $f_1(x_0)$ و $f_2(x_0)$ .
التحقق: يستخدم بوب الـ HLPUF المقفل للتحقق من أصالة الاستجابة. يقوم بإعداد حالة مُحقِّق بناءً على $f_1(x_0)$ ويستعلم الجهاز. إذا قبل الجهاز، يقوم بوب بقياس الحالة المخزنة في الأساس المقابل للبت المكشوف $b$ ويتحقق من الاتساق مع $f_2(x_0)_J$ .

3. آليات الأمان:

الإخفاء (Hiding): يعتمد على عدم قابلية التزوير للـ HLPUF. بدون القدرة على تزوير حالة مُحقِّق صالحة، لا يمكن لبوب استخراج معلومات حول $f_2(x_0)$ قبل الكشف. يضمن البروتوكول أن حالتي الالتزام المحتملتين (لـ $b=0$ و $b=1$ ) متمايزتان إحصائياً لأن بتات الحمولة موزعة بانتظام وأنماط الأساس متوازنة.
الربط (Binding): يعتمد على آلية القفل وحد معيار الناظم (operator norm bound). لا تستطيع أليس غير النزيهة إعداد حالة متشابكة تسمح لها بالفتح على كل من 0 و 1 باحتمالية عالية لأن خطوة التحقق تتطلب استجابة كلاسيكية محددة $f_1(x_0)$ يصعب تزويرها. يختزل إثبات الربط أي استراتيجية غير نزيهة إلى حد معيار الناظم لمجموع مؤثرات القبول، مما يظهر أن احتمال النجاح في الفتح لكلا البتين محدود بدالة مهملة.

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

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

النتائج

الصحة (Correctness): البروتوكول صحيح؛ حيث ينجح الأطراف النزهاء دائماً باحتمالية 1.
الإخفاء (Hiding): البروتوكول هو $\epsilon_{hide}$ -hiding، حيث $\epsilon_{hide} \le \epsilon_{forge}$ (معامل عدم قابلية التزوير لـ HLPUF). إذا كان الـ HLPUF غير قابل للتزوير أسياً، فإن الإخفاء يكون مثالياً (تمايز إحصائي).
الربط (Binding): البروتوكول هو $\epsilon_{bind}$ -binding. احتمال أن تنجح أليس غير النزيهة في الفتح لكلا البتين محدد بـ:
$p_0 + p_1 \le 1 + 2^{-\frac{\ell_{min} - 2s}{4}}$
حيث $s$ هو طول سلسلة المُحقِّر و $\ell_{min}$ هو طول الجزء الفرعي للحمولة. هذا الحد مهمل عند اختيار البارامترات المناسبة.
انحياز تقليب العملة (Coin Flipping Bias): بروتوكول تقليب العملة الناتج له انحياز لا يتجاوز $\delta_{CF} \le \frac{1}{2} \max\{\epsilon_{hide}, \epsilon_{bind}\}$ .

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

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

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

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