پاورپوینت مفاهیم و کاربردهای عملی دانایی ‌صفر

پاورپوینت مفاهیم و کاربردهای عملی دانایی ‌صفر (pptx) 23 اسلاید

دسته بندی : پاورپوینت

نوع فایل : PowerPoint (.pptx) ( قابل ویرایش و آماده پرینت )

تعداد اسلاید: 23 اسلاید

قسمتی از متن PowerPoint (.pptx) :

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