Pseudorandom Functions in from LWE/LPN/CDH (Or: How to Build PRFs in , Generically)
تقدم هذه الورقة تحويلاً عاماً يحول الدوال العشوائية القابلة للتنبؤ الضعيفة (weak PRFs) إلى دوال عشوائية قابلة للتنبؤ قوية (strong PRFs) مع حد أدنى من الزيادة في العمق، مما يتيح بناء دوال عشوائية قابلة للتنبؤ قابلة للحساب ضمن الفئة من الافتراضات القياسية بما في ذلك LWE وLPN وCDH، وبذلك تحل مشكلات مفتوحة طويلة الأمد في التشفير منخفض العمق.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
في العالم الرقمي، يعتمد الأمن غالباً على أداة رياضية خاصة تسمى دالة شبه عشوائية. تخيل آلة تأخذ رمزاً سرياً وقطعة من البيانات، ثم تخرج سلسلة من الأرقام تبدو عشوائية تماماً لأي شخص يراقبها. إذا كانت الآلة تعمل بشكل صحيح، فلن يستطيع أحد تمييز مخرجاتها عن تسلسل عشوائي حقيقي، حتى لو شاهدوا الآلة وهي تعمل مرات عديدة من قبل. هذه الأدوات هي الأقفال والمفاتيح غير المرئية التي تحمي كل شيء، من الخدمات المصرفية عبر الإنترنت إلى الرسائل الخاصة. لعدة عقود، حاول الباحثون بناء هذه الآلات لتعمل بأسرع ما يمكن، وتحديداً بجعلها تعمل في خطوات قليلة جداً. في لغة علوم الحاسوب، يعني هذا بناء آلة بدائرة "ضحلة" (shallow) للغاية، مما يسمح للحسابات بأن تتم بشكل فوري تقريباً على المعالجات الحديثة. كلما كانت هذه الأدوات أسرع وأبسط، زادت كفاءة استخدامها في الأنظمة المعقدة مثل التصويت الآمن أو مشاركة البيانات الخاصة.
لفترة طويلة، كانت هناك فجوة مستعصية في قدرتنا على بناء هذه الآلات السريعة والضحلة. كنا نعرف كيفية إنشائها باستخدام افتراضات رياضية قوية ومعقدة للغاية، لكن تلك كانت تتطلب دوائر عميقة وبطيئة. وعلى العكس من ذلك، كان بإمكاننا بناء دوائر ضحلة، ولكن فقط إذا اعتمدنا على افتراضات أضعف وأقل إثباتاً أو على هياكل رياضية محددة وجامدة للغاية. كان الأمر يشبه امتلاك مفتاح يفتح باباً ولكنه ثقيل جداً بحيث يصعب حمله، أو مفتاحاً خفيفاً ولكنه لا يناسب إلا قفلاً واحداً غريباً. كان الهدف هو إيج်اد طريقة لصنع مفتاح خفيف الوزن يمكنه فتح أي باب، باستخدام أكثر الأقفال معيارية وموثوقية المتاحة. لقد ظل هذا التحدي قائماً لما يقرب من ثلاثين عاماً، مما حد من كفاءة تأمين عالمنا الرقمي.
لقد نجح فريق من الباحثين الآن في جسر هذه الفجوة من خلال طريقة عامة جديدة تحول أداة أضعف وأسهل في البناء إلى أداة قوية وآمنة دون إبطائها. عملهم، المنشور في ورقة بحثية بعنوان "Pseudorandom Functions in NC1 from LWE/LPN/CDH"، يثبت أنه من الممكن بناء هذه الآلات السريعة والضحلة باستخدام ثلاثة من أكثر الافتراضات الأساسية والموثوقة على نطاق واسع في علم التشفير. حقق الباحثون ذلك من خلال تحسين فكرة قديمة تسمى "بناء GGM"، والتي تبني دالة معقدة عبر المرور عبر شجرة من الحسابات الصغيرة. الطريقة التقليدية للقيام بذلك كانت تشبه المشي في ممر طويل حيث تتطلب كل خطوة نفس القدر من الجهد، مما يجعل الرحلة الإجمالية طويلة وبطيئة. تغيرت الطريقة الجديدة شكل الممر؛ فبينما تتقدم العملية في عمق الشجرة، يتضاءل مقدار العمل المطلوب في كل خطوة بشكل هندسي. الخطوات القليلة الأولى تكون ثقيلة، ولكن الخطوات اللاحقة تصبح أخف فأخف، بسرعة تجعل الجهد الإجمالي يظل صغيراً. تقنية "التدرج" (tapering) هذه تسمح للباحثين بإبقاء العملية بأكملها ضمن حدود دائرة سريعة وضحلة.
لإثبات نجاح هذه الطريقة الجديدة، طبقها الفريق على ثلاث مشكلات رياضية محددة معروفة بصعوبة حلها. الأولى هي مشكلة "التعلم مع الأخطاء" (Learning With Errors)، والتي تتضمن البحث عن نمط مخفي في مجموعة بيانات مشوشة. تطلبت المحاولات السابقة لبناء آلات سريعة من هذه المشكلة نسخة أكثر تعقيداً من الرياضيات تستخدم أرقاماً كبيرة جداً. يظهر العمل الجديد أن النسخة القياسية، ذات الأرقام الأصغر بكثير، كافية تماماً. المشكلة الثانية هي "التعلم بالتكافؤ مع الضجيج" (Learning Parity with Noise)، والتي تتعامل مع البحث عن نمط مخفي في تدفق من البتات التي تم قلبها عشوائياً. أظهر الباحثون أن طريقتهم تعمل مع النسخة القياسية من هذه المشكلة، مما يلغي الحاجة إلى النسخ المتخصصة والهيكلية التي كانت مطلوبة سابقاً. أما المشكلة الثالثة فهي افتراض "ديفي-هيلمان الحسابي" (Computational Diffie-Hellman)، وهو حجر الزاويد في أمن الإنترنت الحديث المستخدم لتبادل المفاتيح السرية. لعقود من الزمن، كانت الطريقة الوحيدة المعروفة لبناء آلات سريعة من هذا الافتراض تعتمد على نسخة أقوى وأكثر تقييداً من المشكلة. يثبت البناء الجديد أن النسخة القياسية كافية.
تكمن أهمية هذا العمل في عموميته واعتماده على افتراضات معيارية. من خلال إظهار أن أداة ضعيفة وضحلة يمكن ترقيتها إلى أداة قوية وآمنة دون إضافة عمق، فتح الباحثون القدرة على بناء وظائف سريعة وآمنة من أكثر المشكلات الرياضية أساسية ودراسة. هذا يحل عدة تساؤلات طويلة الأمد في هذا المجال ويوفر مخططاً جديداً ومرناً لأنظمة التشفير المستقبلية. لم يكتفِ الباحثون باقتراح أن هذا قد يكون ممكناً، بل قدموا بناءً ملموساً خطوة بخطوة وإثباتاً صارماً على نجاحه. لقد أثبتوا أن عمق الآلة الناتجة هو تقريباً نفس عمق الأداة الأصلية، مما يحافظ على ميزة السرعة مع اكتساب الأمان اللازم.
يعني هذا الإنجاز أنه لأول مرة، يمكننا بناء أدوات الأمن الأساسية هذه باستخدام الأسس الرياضية الأكثر شيوعاً وموثوقية، دون التضحية بالسرعة. إنه يلغي الحاجة إلى نسخ متخصصة ومعقدة من هذه المشكلات والتي كان يُعتقد سابقاً أنها ضرورية للكفاءة. والنتيجة هي أساس أكثر قوة وتعدداً للاستخدامات للأمن الرقمي في المستقبل، مما يسمح بطرق تشفير أسرع وأكثر كفاءة يمكن نشرها عبر مجموعة واسعة من التقنيات. يقف هذا العمل كدليل قاطع على أن الحاجز بين الأدوات الضعيفة والسريعة والأدوات القوية والسريعة قد تم كسره، مما يفتح الباب أمام عصر جديد من التصميم التشفيري الفعال.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.