Pivot: Proactive and Verifiable Threshold Oblivious Pseudorandom Functions From Isogeny Group Actions
تقدم هذه الورقة PIVOT، وهو إطار عمل لدالة شبه عشوائية عتبية استباقية، وقابلة للتحقق، وخالية من الوكيل، ومبنية على إجراءات مجموعات الأيزوجيني (isogeny group actions)، تعمل على تجديد حصص الخادم بشكل آمن بمرور الوقت للدفاع ضد الخصوم المتنقلين مع الحفاظ على صلاحية المفتاح الرئيسي والمخرجات السابقة.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
تخيل أنك تحاول الحفاظ على سر ذي قيمة كبيرة بحيث لا ينبغي لأي شخص بمفرده أن يعرف السر كاملاً. تقوم بتقسيم السر إلى قطع أحجية وتعطي قطعة واحدة لكل من أصدقائك. هذه هي الفكرة الأساسية لـ التشفير العتبي (threshold cryptography): أنت بحاجة إلى عدد معين من الأصدقاء (على سبيل المثال، 5 من أصل 10) لتجميع قطعهم معاً لفتح الكنز. ولكن هناك مشكلة خفية. إذا تمكن لص من التسلل إلى منازل أصدقائك واحداً تلو الآخر على مدار عام، حيث يسرق قطعة من الصديق (أ) في يناير، والقطعة من الصديق (ب) في فبراير، وهكذا، فبإمكانه في النهاية جمع كل القطع التي يحتاجها لحل الأحجية، حتى لو لم يكن لديه خمسة أصدقاء في وقت واحد. يُطلق على هذا اسم "الخصم المتنقل" (mobile adversary).
ولإيقاف ذلك، يستخدم علماء التشفير حيلة تسمى الأمن الاستباقي (proactive security). تخيل أنه في كل شهر، يقوم أصدقاؤك باستبدال قطع الأحجية الخاصة بهم بقطع جديدة تناسب نفس الصورة سراً، لكن القطع القديمة تصبح مجرد حطام عديم الفائدة. إذا سرق اللص قطعة اليوم، فلن تتطابق مع القطع التي ستُسرق الشهر المقبل. يظل السر آمناً لأن اللص لا يمكنه خلط القطع القديمة والجديدة معاً. الآن، أضف لمسة أخرى: تريد استخدام هذا السر للإجابة على الأسئلة دون الكشف عن السر نفسه أبداً. هذا هو الدالة العشوائية الزائفة غير المدركة (Oblivious Pseudorandom Function - OPRF). إنها تشبه آلة بيع سحرية: تضع فيها رمزاً سرياً (مثل كلمة مرور)، وهي تعطيك إيصالاً فريداً يبدو عشوائياً. الآلة تعرف الوصفة السرية، لكنها لا ترى رمزك أبداً، وأنت لا تتعلم الوصفة أبداً. التحدي الذي تعالجه هذه الورقة البحثية هو بناء نسخة "ما بعد كمومية" من هذا النظام—نسخة تكون آمنة حتى ضد الحواسيب الخارقة المستقبلية—مع الحفاظ على سرية السر من اللصوص الذين يحاولون سرقة القطع بمرور الوقت.
تقدم الورقة نظاماً جديداً يسمى PIVOT (البروتوكول الاستباقي القائم على الإيزوجيني للوظائف العشوائية الزائفة العتبية القابلة للتحقق). فكر في PIVOT كخزنة عالية التقنية وما بعد كمومية تستخدم نوعاً خاصاً من السحر الرياضي يسمى أفعال مجموعات الإيزوجيني (isogeny group actions). بعبارات بسيطة، تخيل ملعباً دائرياً ضخماً حيث يمكنك الدوران حول نفسك. إذا دارت دورات معينة (السر)، فستنتهي في مكان محدد. السحر يكمن في أنه يمكنك الدوران بخطوات صغيرة مع أشخاص مختلفين، وطالما أنكم جميعاً قمتوا بإجمالي عدد الدورات الصحيح، فستنتهون في نفس المكان، حتى لو لم يعرف أحد العدد الإجمالي للدورات. يستخدم PIVOT هذا ليتيح لمجموعة من الخوادم العمل معاً لإعطاء العميل "إيصالاً" لمدخلاته السرية، دون أن يرى العميل سر الخوادم ودون أن ترى الخوادم مدخلات العميل.
يثبت المؤلفون أن PIVOT يحل مشكلة "الخصم المتنقل". فهم يظهرون أن الخوادم يمكنها تجديد قطع الأحجية الخاصة بها (الحصص) بشكل دوري دون تغيير السر الرئيسي أو "القفل" العام للخزنة. وهذا يعني أنه حتى لو سرق اللص قطعة اليوم، فستصبح تلك القطعة عديمة الفائدة في الشهر التالي عندما يتم تجديد القطع. توضح الورقة أيضاً أن النظام قابل للتحقق (verifiable): يمكن للعميل التحقق من أن الخوادم قامت بالعمليات الحسابية بشكل صحيح ولم تنحرف عن البروتوكول، وإذا أخطأ أحد الخوادم، يمكن للنظام تحديد أي خادم بالضبط وطرده.
تستبعد الورقة صراحةً فكرة أنه يمكنك الاحتفاظ بنفس قطع الأحجية للأبد. فهي تجادل بأنه إذا لم تتغير القطع، فإن اللص المتنقل سينتصر في النهاية. كما تجادل ضد التصاميم التي تخفي مساهمات الخوادم الفردية خلف خادم "افتراضي"، لأن PIVOT يريد جعل مساهمة كل خادم مرئية وخاضعة للمساءلة. المؤلفون واثقون جداً من نتائجهم؛ فهم لم يكتفوا بالتخمين أو المحاكاة البسيطة للنظام. لقد قدموا برهاناً رياضياً صارماً يظهر أن النظام يعمل بشكل صحيح ويظل آمناً ضد نوع معين من المهاجمين (المهاجم "شبه النزيه" الذي يتبع القواعد ولكنه يحاول تعلم الأسرار) بموجب الافتراضات القياسية حول صعوبة حل ألغاز الإيزوجيني هذه.
في العالم الحقيقي، يمكن استخدام هذا لأشياء مثل تسجيلات كلمات المرور الخاصة أو قواعد البيانات المشفرة التي تظل آمنة لعقود. إذا احتاجت شركة ما لحماية بيانات المستخدم لفترة طويلة، فلا يمكنها الاعتماد فقط على سر ثابت قد يُسرق قطعة قطعة. يسمح PIVOT للشركات بتدوير طاقم الأمان الخاص بها (الخوادم) وتجديد مفاتيحها بانتظام، مما يضمن بقاء قاعدة البيانات مغلقة وبقاء خصوصية المستخدمين مصونة، حتى لو كان النظام تحت هجوم مستمر وبطيء. تخلص الورقة إلى أنه على الرغم من أن هذا النظام أكثر تعقيداً وبطئاً من النسخ الأبسط (لأنه يتطلب سلسلة من الخوادم لتمرير "الكرة" من البيانات واحداً تلو الآخر)، إلا أن المقايضة تستحق العناء من أجل الأمن طويل الأمد والقدرة على إثبات أن أحداً لم ينحرف عن البروتوكول.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.