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