مسئله میلیونرهای یائو: تفاوت میان نسخه‌ها
محتوای حذف‌شده محتوای افزوده‌شده
بدون خلاصۀ ویرایش |
جز ویکیسازی رباتیک(۷.۵) >اعداد تصادفی، عدد طبیعی |
||
خط ۱۲:
# فرستنده اطلاعاتی راجع به <math>S_{(1-i)}</math> پیدا نمی‌کند،
# گیرنده مقدار <math>i</math> را نمی‌فهمد.
حال با توصیف پروتکل آغاز می‌کنیم. ما ثروت آلیس را <math>a</math> و ثروت باب را <math>b</math> می‌نامیم و فرض می‌کنیم که طول <math>a</math> و <math>b</math> به صورت باینری از [[عدد طبیعی]] <math>d</math> کم‌تر است. پروتکل به شرح زیر است:
# آلیس یک ماتریس <math>K</math> با سایز <math>d\times2</math> از اعداد <math>k</math>-بیتی درست می‌کند (<math>k</math> طول کلید در پروتکل انتقال بی‌توجه است). او دو عدد تصادفی <math>0<u<2k</math> و <math>v \leq k</math> را هم برمی‌گزیند.
#<math>K_{ijl} </math> نشان دهنده‌ی بیت <math>l</math>ام ماتریس است که در خانه‌ی <math>K_{ij} </math> وجود دارد (<math>l=0</math> نشان دهنده‌ی [[کم‌ارزش‌ترین بیت است]]). هم‌چنین <math> a_i </math> بیت <math>i</math>ام ثروت آلیس است (عدد <math>a</math>). برای هر <math>i</math> به‌صروت <math> 0 \leq i \leq d </math> آلیس کارهای زیر را انجام می‌دهد:
## برای هر بیت<math> j \geq v </math> او <math> K_{i1j} </math> و <math> K_{i2j} </math> را [[اعداد تصادفی]] قرار می‌دهد.
## اگر <math> a_i=1 </math> بود، <math>l=0</math> قرار می‌دهد درغیر این‌صورت <math>l=1</math> می‌کند و برای هر <math>j</math> به صورت <math> 0 \leq j \leq 2 \cdot i -1 </math>، <math>K_{ilj}</math> را یک بیت تصادفی قرار می‌دهد.
## برای <math>m=2 \cdot i </math>، <math> K_{il(m+1)}=1 </math> و <math> K_{ilm} </math> را <math>a_i</math> قرار می دهد
| |||