Ўзбекистон республикаси олий ва ўрта махсус таълим вазирлиги мирзо улуғбек номидаги ўзбекистон миллий университети математика факультети «Математик моделлаштириш ва криптоанализ»

3-chi iterasiyaning 1-chi qadami.
P isbot qiluvchi g’orga tushmoqda. C nuqtaga yetganda tanga tashlaydi: natija R_A=1, Shu bois u o’ngga burilib, D nuqtagacha tushib keladi. V tekshiruvchi P isbot qiluvchini qayerdaligini ko’rmaydi.

3-chi iterasiyaning 2-chi qadami. V tekshiruvchi B nuqtagacha tushib keladi. V tekshiruvchi P isbot qiluvchi qayerda turganligini ko’rmaydi.		3-chi iterasiyaning 3-chi qadami. V tekshiruvchi B nuqtada tanga tashlaydi: natija RB=1. Shu sababli u P isbot qiluvchidan g’orning o’ng tomonidan chiqishini so’raydi. P isbot qiluvchi eshikdan o’tishiga hojat qolmaydi, D nuqtadan B nuqtaga qaytadi.
3-chi iterasiyaning 4-chi qadami. P isbot qiluvchi va V tekshiruvchi dastlabki holatga, ya’ni A nuqtaga qaytishadi.
6.1-rasm. Nol oshkoralik g’ori.

Ushbu protokolni quyidagicha amalga oshirish mumkin:

1. 
   P ishtirokchi g’orni ichiga kiradi va D eshikka D yoki D ixtiyoriy tomondan yaqinlashadiki, natijada V tekshiruvchi uni eshikni qaysi tomonida turganligini bilmaydi.
   
2. 
   V tekshiruvchi g’orni ichiga kiradi va P ishtirokchidan g’orning biror (chap yoki o’ng) tomonidan chiqishni so’raydi.
   
3. 
   P ishtirokchi o’zidagi maxfiy kalitdan foydalanib, g’orning ixtiyoriy tomonida paydo bo’lish orqali V tekshiruvchini istagini ruyobga chiqarishi mumkin.
   

6.1-rasmda ushbu protokolni fizik amalga oshirishning sxematik ko’rinishi keltirilgan. Ptotokolning ayrim qadamlarida psevdo tasodifiy sonlar generatori sifatida ishtirokchilar tomonidan tanga tashlash prosedurasi ishlatilgan.

Ko’rinib turibdiki, g’orning V tekshiruvchi ko’rsatgan tomonidan P isbot qiluvchining xuddi Shu tarzda k marta muvaffaqiyatli chiqib kelishi natijasida P isbot qiluvchining V tekshiruvchini aldash ehtimoli ga teng bo’ladi. Bu holat esa k ning qiymati oshgani sari P isbot qiluvchida haqiqatan ham g’orning D eshigini ochishning maxfiy kaliti borligiga V tekshiruvchining ishonchi ortib borishiga sababchi bo’ladi.