نمایش مبدأ برای فرض دیفی-هیلمن

'''مسئلهٔ دیفی-هیلمن'''

مسئلهٔ دیفی-هیلمن (DHP) یک مسئله ریاضی است که اولین بار توسط دو دانشمند رمزشناس به نام‌های [[ویتفیلد دیفی]] و [[مارتین هلمن]] در زمینه [[رمزنگاری]]
پیشنهاد شد. انگیزه این مسئله این است که بسیاری از سیستم‌های امنیتی از عملیات ریاضی که محاسبهٔ آنها سریع است، اما عملیات معکوس آنها سخت است، استفاده می‌کنند. برای مثال، آنها می‌توانند یک پیام را رمزگذاری کنند، اما معکوس رمزگذاری (رمزگشایی) سخت است. اگر [[حل مسئله]] دیفی-هیلمن آسان باشد، این سیستم به آسانی شکسته می‌شود.

== تشریح مسئله ==
مسئلهٔ دیفی-هیلمن به‌طور شهودی به صورت زیر است:{{سخ}}
برای عنصر <math>g</math> داده شده و مقادیر <math>g^x</math> و <math>g^y</math>، مقدار <math>g^{xy}</math> چیست؟{{سخ}}
به‌طوری که <math>g</math> مولد یک [[گروه (ریاضی)|گروه]] است (معمولاً [[گروه|گروه ضربی]] یک [[میدان ریاضی|میدان]] یا گروه [[منحنی بیضوی]]) و
<math>x</math> و <math>y</math> اعداد صحیحی هستند که به تصادف انتخاب شده‌اند.{{سخ}}
برای مثال، در [[پروتکل تبادل کلید دیفی-هلمن]]، مهاجم <math>g^x</math> و <math>g^y</math> را، بعنوان بخشی از پروتکل ردوبدل شده، مشاهده می‌کند و هر دوطرف می‌توانند کلید مشترک <math>g^{xy}</math> را محاسبه می‌کنند. حل سریع مسئلهٔ دیفی-هیلمن به مهاجم اجازه می‌دهد که امنیت پروتکل تبادل کلید دیفی-هیلمن و بسیاری از انواع آن، از جمله [[رمزنگاری الجمل]]، را نقض می‌کند.

== پیچیدگی محاسباتی ==
در [[رمزنگاری]]، برای بعضی گروه‌های خاص، فرض می‌شود که مسئلهٔ دیفی-هیلمن سخت است و اغلب فرض دیفی-هیلمن نامیده می‌شود.
برای چند دهه بررسی دقیق این مسئله باقی مانده بود و هنوز هیچ راه حل «آسان» برای آن ارائه نشده بود.{{سخ}}
در سال ۲۰۰۶ کارامدترین ابزار شناخته شده برای حل مسئلهٔ دیفی-هیلمن حل مسئلهٔ [[لگاریتم گسسته]] (DLP)، که پیداکردن <math>x</math> از روی
<math>g^x</math> است، بود.
در حقیقت پیشرفت قابل توجهی (بوسیلهٔ Wolf، Boneh، den Boer، Maurer و Lipton) در جهت نشان دادن اینکه در بسیاری از [[گروه (ریاضی)|گروه]]ها سخت بودن مسئلهٔ دیفی-هیلمن مانند سخت بودن مسئلهٔ [[لگاریتم گسسته]] است، شد.
تا به امروز هیچ مدرکی وجود ندارد که مسئلهٔ دیفی-هیلمن (یا [[لگاریتم گسسته]]) مسئلهٔ سخت است، بجز در گروه‌های عمومی (Nechaev و Shoup).

== منابع ==
{{پانویس}}
* {{یادکرد ویکی|عنوان = Diffie–Hellman problem|پیوند = http://en.wikipedia.org/wiki/Diffie–Hellman_problem |زبان = انگلیسی}}

== پیوند به بیرون ==

[[رده:فرضیات سختی محاسباتی]]
[[رده:میدان‌های متناهی]]