مرجع دانلود پاورپوینت های درسی

حجم فایل : 109.2 KB
نوع فایل : پاور پوینت
تعداد اسلاید ها : 25
بنام خدا 1 2 مفاهیم و کاربردهای عملی دانایی‌صفر
(Zero–knowledge) 3 مقدمه یک اثبات‌کننده(P) سعی‌می‌کند تصدیق‌کننده (V) را متقاعدکند که ادعایش صحیح است. در حالت عادی، P در یک ارتباط یک سری اطلاعات به V می‌دهد و V با محاسباتی صحت ادعای P را تاییدمی‌کند.
آیا می‌توان بدون انتقال اطلاعات اضافی، V را متقاعد نمود؟
آیا می‌توان پیام‌های بیشتری ردوبدل‌کرد و در عین حال اطلاعات اضافه منتقل نشود؟
آیا می‌توان با درنظر گرفتن احتمال خطای غیرصفر و با انتقال اطلاعات کم و کافی V را راضی نمود؟ 4 تعریف دانایی صفر در یک اثبات هنگامی که منظور اصلی بدون هیچ اطلاعات اضافی منتقل شود (واقعیتی برطرف مقابل آشکار شود) آنگاه اثبات با دانایی صفرنامیده می‌شود.
در این نوع اثبات V متقاعد می‌شود که P صاحب اطلاعاتی است، اما به‌هیچ طریقی نمی‌تواند این اطلاعات را استخراج کند.
در یک پروتکل دانایی – صفر می‌توان کارهایی از قبیل شناسایی، اثبات یک واقعیت یا عملیات دیگر رمزنگاری را، بدون فاش‌کردن اطلاعات محرمانه در هنگام برقراری ارتباط، انجام داد. 5 غاردانایی صفر کسی که کلمه‌ رمز در انتهایی غار را بداند، می‌تواند از نقطه C به نقطه D برسد و برعکس. فرض‌کنیم P کلمه‌ رمز را می‌داند و می‌خواهد این آگاهی را به V بفهماند، اما نمی‌خواهد کلمه‌ رمز را بازگو نماید. 6 V در نقطه A می‌ایستد
P وارد غار می‌شود وبه هرکدام از مسیرها که مایل باشد، می‌رود.
هنگامی که P در غار ناپدید شد، V به نقطه B می‌آید
V باصدازدنPازاومی‌خواهد که :
از مسیر سمت راست بازگردد
از مسیر سمت چپ بازگردد
Pاین خواسته‌ Vرابرآورده ‌می‌کند.
درصورت نیازکلمه رابه ‌زبان می‌آورد واز در انتهایی غار می‌گذرد
Pو Vمراحل فوق را nبارتکرار می‌کنند 7 حل یک مسئله‌ی دشوار(1) فرض‌کنیدPحل یک مسئله‌ دشوار را می‌داند. برای اثبات این آگاهی به‌صورت ‌زیر عمل می‌نماید:
P با استفاده از اطلاعاتش و با انتخاب یک عدد تصادفی مسئله‌ دشوار را به یک مسئله‌ دشوار جدید تبدیل‌می‌کند.
این مسئله‌ جدید باید هم شکل Isomorphicمسئله اول باشد.
سپس با استفاده از اطلاعاتش و آن عدد تصادفی مسئله‌ جدید را حل‌می‌کند. 8 حل یک مسئله‌ی دشوار(2) P مسئله‌ جدید را برای V ارسال‌می‌کند.
V از P می‌خواهد که یکی از دو کار زیر را انجام دهد:
ثابت‌کند که مسئله‌ اول و مسئله‌ جدید هم‌شکل هستند
جواب مسئله جدید را بیان‌کند و نشان دهد که حل آن است
P موافقت‌می‌کند و انجام می‌دهد
مراحل فوق را n بار تکرارکنند 9 نکات پروتکل حل یک مسئله‌ دشوار در این الگوریتم P هیچ گاه نباید برای مسئله‌ دشوار جدیدی که به‌دست می‌آورد هر دو درخواست بند (5) را پاسخ دهد.
تبدیل‌های تصادفی و مسئله‌ها نیز باید به‌گونه‌ مناسبی انتخاب شوند تا V اطلاعاتی برای حل مسئله‌ اصلی به‌دست نیاورد.
همه‌ مسایل دشو...