A Quantum Approach For Reducing Communications in Classical Secure Computations with Long Outputs
تُظهر هذه الورقة ميزة كمومية في الحسابات الآمنة بين طرفين من خلال تقديم بروتوكولات تحقق تعقيد اتصالات مستقلاً عن طول المخرجات في ظل الافتراضات الكمومية القياسية، بينما ثبت أن التشفير الكلاسيكي يتطلب اتصالات خطية بالنسبة لحجم المخرجات.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
في عالم الحوسبة الآمنة، يحتاج طرفان غالباً إلى حل مشكلة ما معاً دون الكشف عن أسرارهما الخاصة لبعضهما البعض. تخيل مليونيراً يريدان معرفة من هو الأغنى دون إخبار الآخر برصيده البنكي الدقيق. هذا هو جوهر الحوسبة الآمنة، وهو مجال مخصص للسماح للناس بالتعاون في معالجة البيانات مع الحفاظ على سرية تلك البيانات. لعقود من الزمن، بنى الباحثون أنظمة معقدة لجعل هذا ممكناً، لكنهم اصطدموا بجدار عنيد عندما تكون الإجابة على المشكلة طويلة جداً. فإذا كانت نتيجة عملية حسابية عبارة عن ملف ضخم، فإن كمية المعلومات التي يجب على الطرفين تبادلها للحفاظ على أمن العملية تنمو لتصبح كبيرة بقدر حجم ذلك الملف تماماً. في العالم الكلاسيكي للحواسيب القياسية، هذه تكلفة لا يمكن تجنبها؛ فلكي تحصل على إجابة آمنة، يجب أن تدفع ثمن إرسال الإجابة كاملة ذهاباً وإياباً.
لقد اعتُبر هذا القصور لفترة طويلة قانوناً أساسياً في التشفير الكلاسيكي. ومع ذلك، تشير دراسة جديدة أجراها "جياسو تشانغ" في مختبر "تشونغ غوان تسيون" (Zhongguancun Laboratory) إلى أن القواعد تتغير عندما نُدخل الخصائص الغريبة لميكانيكا الكم. فقد صمم الباحث نوعاً جديداً من البروتوكولات يسمح لطرفين بإجراء هذه الحسابات الآمنة ذات الإجابات الطويلة، ومع ذلك، فإن كمية المعلومات التي يحتاجان لإرسالها لبعضهما البعض تعتمد فقط على حجم السؤال، وليس حجم الإجابة. يثبت هذا العمل وجود ميزة كمومية حقيقية، مما يبرهن على أن المهام التي كانت تُعتبر مستحيلة في المجال الكلاسيكي يمكن تحقيقها بكفاءة أكبر باستخدام الأدوات الكمومية.
يكمن جوهر هذا الاكتشاف في تحدٍ محدد يُسمى "أخذ عينات الدوال الآمنة" (secure function sampling). في هذا السيناريو، يريد أحد الطرفين، وهو العميل، اختيار رقم سري عشوائي ويطلب من الطرف الآخر، وهو الخادم، حساب نتيجة بناءً على هذا الرقم. العائق هو أنه يجب على الخادم معرفة النتيجة، ولكن ليس أي شيء آخر عن الرقم السري، حتى لو حاول الخادم الانحراف عن البروتوكول. في الإعداد الكلاسيكي، إذا كانت النتيجة عبداً طويلاً من البيانات، فيجب على الخادم استلام هذا السلسلة بأكملها للتحقق من الحساب، مما يخلق اختناقاً في الاتصالات. وتثبت الورقة البحثية أنه لا توجد طريقة كلاسيكية يمكنها تجاوز هذا الاختناق دون التضحية بالأمن. فإذا حاول بروتوكول كلاسيكي إرسال معلومات أقل من حجم النتيجة، فقد يتمكن مهاجم ذكي في النهاية من معرفة الرقم السري أو تزوير النتيجة.
ولكسر هذا الحاجز، لجأ الباحث إلى التشفير الكمومي، وتحديداً باستخدام مفهوم يُعرف باسم "إعداد الحالة عن بُعد مع القابلية للتحقق" (remote state preparation with verifiability). في هذا النهج الكمومي، لا يرسل العميل رقماً فحسب؛ بل يرسل حالة كمومية دقيقة تشفر السر. يقوم الخادم بإجراء العملية الحسابية على هذه الحالة الكمومية. وتكمن براعة هذه الطريقة في أن الخادم لا يمكنه استخراج النتيجة النهائية إلا إذا اتبع القواعد بدقة. فإذا حاول الخادم الاحتفاظ بمعلومات إضافية عن الرقم السري للانحراف لاحقاً، فإن قوانين ميكانيكا الكم تضمن أن محاولته لقياس أو تخزين تلك البيانات الإضافية ستؤدي إلى اضطراب في النظام بطريقة يمكن اكتشافها. يمكن للعميل إجراء سلسلة من الفحوصات للتحقق من أن الخادم لم يتلصص. وإذا اجتاز الخادم هذه الفحوصات، يعلم العميل أن الخادم يمتلك النتيجة فقط ولا يملك شيئاً أكثر منها.
تفصل الورقة البحثية بناءً خطوة بختوة لهذا البروتوكول. يبدأ بنسخة مبسطة حيث يرسل العميل حالة تراكب (superposition) لرقمين سريين محتملين. يعالج الخادم حالة التراكب هذه ويعيد جزءاً من الحالة. ثم يقوم العميل بإجراء اختبار للتأكد من أن الخادم لم يخزن الأرقام الأصلية. إذا كان الخادم صادقاً، ينجح الاختبار، ويعرف العميل الرقم الذي تم اختياره بينما يتعلم الخادم النتيجة. بعد ذلك، قام الباحث بتطوير هذا إلى بروتوكول كامل وقوي يعمل لأي دالة فعالة، وليس فقط للأمثلة البسيطة. يعتمد هذا البروتوكول على وجود هياكل رياضية تسمى "دوال الهاش المنهارة" (collapsing hash functions)، والتي يُعتقد أنها آمنة حتى ضد الحواسيب الكمومية المستقبلية. والنتيجة هي نظام تظل فيه تكلفة الاتصال صغيرة وثابتة، بغض النظر عن مدى ضخامة بيانات المخرجات.
وبناءً على هذا الأساس، وسّع الباحث الفكرة لتشمل "الحسابات المشتركة الآمنة بين طرفين" بشكل عام، حيث يمتلك كلا الطرفين مدخلات خاصة ويريدان معرفة نتيجة حساب مشترك. ومن خلال الجمع بين طريقة أخذ العينات الجديدة وتقنيات موجودة مثل "الدوائر المبرمجة" (garbled circuits)، توضح الورقة كيفية إنشاء نظام كامل للتعاون الآمن. في إحدى النسخ، يمكن للأطراف استخدام القنوات الكمومية لإرسال الحالات اللازمة. وفي نسخة أخرى أكثر عملية، يوضح الباحث كيفية تحقيق نفس النتيجة باستخدام قنوات اتصال كلاسيكية فقط، بشرط امتلاكهم لأدوات تشفيرية محددة مقاومة للكم. هذه النسخة التي تعمل عبر القنوات الكلاسيكية مهمة بشكل خاص لأنها تعني أن مكاسب الكفاءة لا تتطلب إنترنت كمومياً يعمل بكامل طاقته، بل تتطلب فقط أن يمتلك المشاركون قدرات كمومية محلية ويستخدموا خطوط اتصال قياسية.
يقف هذا العمل كإثبات صارم على أن ميكانيكا الكم تقدم ميزة متميزة في تقليل عبء الاتصالات في الحوسبة الآمنة. لم يكتفِ الباحث بمجرد اقتراح أن هذا ممكن، بل قدم بروتوكولاً ملموساً وإثباتاً رياضياً بأن الطرق الكلاسيكية لا يمكنها تحقيق نفس الكفاءة دون المساس بالأمن. تفترض الدراسة وجود بعض الأوليات التشفيرية، مثل دوال الهاش المنهارة، والتي يُعتقد على نطاق واسع أنها آمنة. وتحت هذه الافتراضات، تثبت الورقة أن تعقيد الاتصالات يمكن جعله مستقلاً عن طول المخرجات، وهو إنجاز مستحيل تماماً في العالم الكلاسيكي. يفتح هذا الاكتشاف مساراً جديداً لتصميم أنظمة فعالة وآمنة للمستقبل، حيث لا يعود حجم البيانات المراد حمايتها هو ما يحدد تكلفة حمايتها.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.