النموذج القياسي (التشفير)

في علم التشفير، يُعدّ النموذج القياسي نموذجًا حسابيًا لا يحدّ فيه الخصم سوى الوقت وقوة الحوسبة المتاحة. ومن الأسماء الأخرى المستخدمة: النموذج المجرد والنموذج البسيط .

تعتمد أنظمة التشفير عادةً على افتراضات التعقيد ، التي تنص على أن بعض المسائل، مثل التحليل إلى عوامل ، لا يمكن حلها في وقت متعدد الحدود . وتُعتبر الأنظمة التي يمكن إثبات أمانها باستخدام افتراضات التعقيد فقط آمنة في النموذج القياسي. ومن المعروف أن إثباتات الأمان في النموذج القياسي صعبة للغاية، لذا في العديد من البراهين، تُستبدل العناصر التشفيرية الأساسية بنسخ مثالية. المثال الأكثر شيوعًا لهذه التقنية، والمعروف بنموذج أوراكل العشوائي ، ^{[ 1 ] [ 2 ]} يتضمن استبدال دالة تجزئة تشفيرية بدالة عشوائية حقيقية. مثال آخر هو نموذج المجموعة العامة ، ^{[ 3 ] [ 4 ]} حيث يُمنح المهاجم إمكانية الوصول إلى ترميز مُختار عشوائيًا لمجموعة ، بدلًا من مجموعات الحقول المنتهية أو مجموعات المنحنيات الإهليلجية المستخدمة عمليًا.

تستخدم نماذج أخرى جهات خارجية موثوقة لأداء مهام معينة دون غش؛ فعلى سبيل المثال، يتطلب نموذج البنية التحتية للمفتاح العام (PKI) جهة إصدار شهادات ، والتي إذا كانت غير نزيهة، يمكنها إصدار شهادات مزيفة واستخدامها لتزوير التوقيعات، أو شن هجوم وسيط لقراءة الرسائل المشفرة. ومن الأمثلة الأخرى على هذا النوع نموذج السلسلة العشوائية المشتركة ، حيث يُفترض أن جميع الأطراف لديها إمكانية الوصول إلى سلسلة مختارة عشوائيًا بشكل منتظم، وتعميمه، نموذج سلسلة المرجع المشتركة ، حيث تُختار السلسلة وفقًا لتوزيع احتمالي آخر. ^{[ 5 ]} تُستخدم هذه النماذج غالبًا في براهين المعرفة الصفرية غير التفاعلية (NIZK). في بعض التطبيقات، مثل مخطط تشفير دوليف-دوورك-ناور، ^{[ 6 ]} يكون من المنطقي أن يقوم طرف معين بإنشاء سلسلة المرجع المشتركة، بينما في تطبيقات أخرى، يجب أن يتم إنشاء سلسلة المرجع المشتركة بواسطة جهة خارجية موثوقة. تُعرف هذه النماذج مجتمعةً باسم النماذج ذات افتراضات الإعداد الخاصة.

• نموذج أوراكل عشوائي