Semi-Quantum Cryptography with Certified Deletion
تقدم هذه الورقة مجمّعاً عاماً يُمكّن العملاء الكلاسيكيين من رفع نصوص مشفرة كمومية إلى الخوادم من أجل الحذف المعتمد القابل للتحقق علناً والتدقيق غير المدمر، بالاعتماد على صعوبة مسألة التعلم مع الأخطاء (LWE) في عصر ما بعد الكم، وتقديم تقنية محاكاة مبتكرة لتكييف حجج الأمان القائمة على التنقية مع التفاعلات الكلاسيكية.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
في العصر الرقمي، نضع ثقتنا في الخوادم لتخزين معلوماتنا الأكثر حساسية، من الرسائل الخاصة إلى السجلات المالية. نحن نعتمد على التشفير للحفاظ على أمان هذه البيانات، عبر تحويلها إلى رموز مشفرة بحيث لا يمكن قراءتها إلا من قبل أولئك الذين يمتلكون المفتاح الصحيح. ومع ذلك، تبرز مشكلة جوهرية عندما نريد حذف تلك البيانات. فبمجرد نسخ ملف ما ووضعه على خادم، لا يملك المالك وسيلة لإجبار الخادم على تدمير النسخة الأصلية. يمكن للخادم غير الأمين ببساطة الاحتفاظ بنسخة احتياطية مخفية، منتظراً لحظة مستقبلية قد يتسرب فيها مفتاح التشفيم أو يُسرق، وعندها يمكنه فك تشفير البيانات وقراءتها بالكامل. بالنسبة للحواسيب الكلاسيكية، يعد هذا وضعاً مستحيلاً؛ إذ لا توجد طريقة فيزيائية لإثبات أن قطعة من المعلومات قد مُحيت بالفعل.
تقدم الفيزياء الكمومية حلاً محتملاً لهذا المأزق من خلال خاصية تُعرف باسم "مبرهنة عدم الاستنساخ" (no-cloning theorem). فخلافاً للبتات الكلاسيكية، التي يمكن نسخها بدقة، توجد المعلومات الكمومية في حالات دقيقة تتأثر إذا حاول شخص ما نسخها. وهذا يسم يسمح بمفهة تسمى "الحذف المعتمد" (certified deletion). في هذا السيناريو، يقوم المستخدم برفع البيانات كحالة كمومية. وإذا ادعى الخادم لاحقاً أنه حذفها، فيجب عليه تقديم شهادة. وبسبب قوانين ميكانيكا الكم، إذا قام الخادم بحذف البيانات حقاً، فلا يمكنه الاحتفاظ بنسخة تسمح له بقراءة الرسالة لاحقاً، حتى لو حصل على مفتاح فك التشفير. وإذا حاول الخادم الاحتفاظ بنسخة، فإن عملية النسخ ستؤدي إلى تغيير الحالة، وستفشل الشهادة في التحقق.
لسنوات طويلة، ظلت هذه الفكرة القوية نظرية إلى حد كبير أو تطلبت من المستخدم امتلاك حاسوب كمومي خاص به لرفع البيانات. وقد خلق هذا حاجزاً هائلاً: فالمستخدمون العاديون، وحتى العديد من المؤسسات، لا يستطيعون تحمل تكلفة الأجهزة المتخصصة والمكلفة اللازمة لتوليد وإرسال الحالات الكمومية. كان لا بد للبيانات أن تنتقل عبر قناة كمومية، وهو مطلب جعل هذه التكنولوجيا غير عملية للاستخدام الواسع النطاق. لكن دراسة جديدة أجراها يائيل تاومان كالاي وجاستن رايزس تغير هذا المشهد من خلال إظهار كيف يمكن لحاسوب كلاسيكي عادي تماماً أن يرفع بيانات إلى خادم كمومي ويحصل مع ذلك على ضمانات الحذف هذه. لقد ابتكروا طريقة تسمح للمستخدم العادي بالتفاعل مع خادم كمومي باستخدام اتصالات رقمية عادية فقط، ومع ذلك يحقق فوائد الأمان المستمدة من ميكانيكا الكم.
لقد حقق الباحثون ذلك من خلال تصميم بروتوكول ذكي يعمل كجسر بين العالمين الكلاسيكي والكمومي. فبدلاً من مطالبة المستخدم بإعداد حالة كمومية معقدة مباشرة، يقوم المستخدم بإرسال سلسلة من التعليمات الكلاسيكية. ويقوم الخادم، الذي يمتلك القدرات الكمومية اللازمة، باستخدام هذه التعليمات لإعداد الحالة الكمومية المطلوبة بنفسه. وتكمن عبقرية الطريقة الجديدة في كيفية التحقق من أن الخادم قد قام فعلياً بما طُلب منه دون أن يرى المستخدم الحالة الكمومية أبداً. يستخدم البروتوكول أداة رياضية تسمى "دالة المخلب الخالية من الفخ" (trapdoor claw-free function). وبعبارة بسيطة، هذا لغز رياضي يسهل حله إذا كنت تملك مفتاحاً سرياً ("الفخ")، ولكنه صعب للغاية بدون هذا المفتاح. يجب على الخادم إثبات معرفته بحل هذا اللغز ليتسلم البيانات، لكن الطريقة التي صُمم بها اللغز تضمن أن الخادم لا يمكنه الاحتفاظ بنسخة من البيانات دون كسر قواعد اللغز.
يكمن جوهر اكتشافهم في تقنية تسمح لبرهان الأمان بالعمل حتى وإن لم يرَ المستخدم الحالة الكمومية. في المحاولات السابقة، كان إثبات أمان مثل هذا النظام يتطلب من المستخدم امتلاك نسخة "منقاة" (purified) من الحالة، وهي أساساً توأم كمومي متشابك مع نسخة الخادم. وكان هذا مستحيلاً إذا كان المستخدم يستخدم حاسوباً كلاسيكياً. طور المؤلفون طريقة جديدة لمحاكاة هذا التشابك باستخدام الاتصالات الكلاسيكية فقط. لقد أظهروا أنه على الرغم من أن رسائل المستخدم هي رسائل كلاسيكية وتبدو وكأنها تحدد الحالة بشكل كامل، إلا أن البنية الرياضية للبروتوكول تسمح لمعالجة برهان الأمان كما لو كانت الحالة لا تزال في حالة تراكب كمومي. وهذا يعني أنه إذا حاول الخادم الاحتفاظ بنسخة من البيانات لقراءتها لاحقاً، فإن الضمانات الرياضية للنظام ستنهار، وسيتم كشف الخادم.
لا يقتصر هذا الاختراق على إرسال رسالة واحدة فحسب، بل يقدم المؤلفون "مجمّعاً" (compiler) عاماً، وهو مجموعة من التعليمات التي يمكن تطبيقها على أنواع مختلفة من الأدوات التشفيرية. لقد أثبتوا أن هذه الطريقة تعمل مع التشفير بالمفتاح العام، حيث يمكن لأي شخص إرسال رسالة إلى مستلم؛ ومع التشفير القائم على السمات، حيث يعتمد الوصول على صلاحيات محددة؛ وحتى مع التشفير المتماثل تماماً (fully homomorphic encryption)، الذي يسمح بإجراء عمليات حسابية على البيانات المشفرة دون فك تشفيرها أبداً. وفي كل حالة، يمكن للمستخدم رفع البيانات باستخدام اتصالات كلاسيكية فقط، ويمكن إجبار الخادم على حذف البيانات مع الحصول على شهادة تحقق. وإذا امتثل الخادم وحذف البيانات، يمكن للمستخدم أن يكون واثقاً من أنه حتى لو حصل الخادم على مفتاح فك التشفير لاحقاً، فلن يتمكن من استعادة الرسالة الأصلية.
وبعيداً عن مجرد الحذف البسيط، أظهر الباحثون أن هذا النظام يسمح بـ "براهين عدم التطفل" (proofs of no intrusion). وهذه وسيلة يمكن للمستخدم من خلالها التحقق مما إذا كانت بياناته قد سُرقت أو تسربت إلى طرف ثالث دون تدمير البيانات في العملية. في العديد من السيناريوهات الأمنية، يتطلب التحقق من وجود تسريب تدمير الأدلة، ولكن هنا، يمكن للمستخدم أن يطلب من الخادم إثبات عدم وجود أي شخص آخر لديه وصول إلى البيانات، ويمكن للخادم القيام بذلك دون فقدان القدرة على فك تشفير الرسالة لاحقاً. وهذا أمر بالغ الأهمية للتدقيق، لأنه يسمح للمستخدم بالتحقق من سلامة تخزين بياناته دون الحاجة إلى التخلص من البيانات نفسها. يمكن للخادم إثبات أنه الوحيد الذي يملك المفتاح، ويمكن للمستخدم أن يطمئن إلى أن بياناته لا تزال آمنة.
كما تتناول الدراسة المسألة العملية المتعلقة باستعادة البيانات. ففي بعض مخططات الحذف الكمومي، بمجرد حذف البيانات، فإنها تختفي للأبد، حتى بالنسبة للمالك. صمم المؤلفون بروتوكولاً يمكن للمستخدم من خلاله استعادة بياناته وفي الوقت نفسه ضمان حذفها من الخادم. يقوم الخادم بعملية كمومية محددة تحول البيانات إلى شكل يمكن للمستخدم قراءته، ولكن عند القيام بذلك، فإنه يدمر قدرته الخاصة على قراءة تلك البيانات في المستقبل. وهذا يعني أن المستخدم ليس مضطراً للاختيار بين استعادة بياناته أو حمايتها من تسريبات المفاتيح المستقبلية؛ بل يمكنه القيام بكليهما في آن واحد.
يعتمد أمان هذا النظام بأك ول على افتراض أن بعض المشكلات الرياضية، وتحديداً تلك المتعلقة بمشكلة "التعلم مع الأخطاء" (Learning With Errors - LWE)، يصعب حلها حتى بالنسبة للحواسيب الكمومية. وهذا افتراض قياسي في التشفير الحديث، ويُعتقد على نطاق واسع بصحته. أثبت المؤلفون أنه طالما ظلت هذه المشكلات الرياضية صعبة، فإن نظامهم سيكون آمناً. لم يعتمدوا على أي افتراضات غريبة أو غير مثبتة، ولم يتطلب الأمر من المستخدم امتلاك أي أجهزة كمومية. المتطلب الوحيد هو أن يمتلك الخادم القدرة الكمومية للقيام بالعمليات اللازمة، وهو توقع معقول لمزود خدمة سحابية في المستقبل.
يمثل هذا العمل خطوة مهمة نحو جعل الأمن الكمومي متاحاً للجميع. فمن خلال إزالة الحاجة إلى امتلاك المستخدم لحاسوب كمومي، أزال المؤلفون أكبر عائق أمام الحذف المعتمد. تتيح التكنولوجيا التي يصفونها مستقبلاً يمكن للمستخدمين فيه رفع بياناتهم إلى السحابة والحصول على ضمان رياضي بأنه يمكن مسحها، وهو ضمان يظل قائماً حتى لو تم اختراق مفاتيح التشفير لاحقاً. إنها تحول مفهوم حذف البيانات من مجرد أمل إلى حقيقة يمكن التحقق منها، قائمة على قوانين الفيزياء وصعوبة الرياضيات. والنتيجة هي نظام لا تعود فيه الثقة مجرد مسألة سياسة، بل مسألة قانون فيزيائي.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.