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

§6.1. Ali Bobo g’ori nolli oshkoralikka misol sifatida.
Ushbu paragrafda Ali Bobo g’ori misolida nol oshkoralik bilan isbotlash protokolini fizik amalga oshirish ko’rib chiqiladi. G’orning ichida D eshik mavjud. Protokolning P ishtirokchisida D eshikni ochishning maxfiy kaliti bor. P ishtirokchi o’zining eshikdan o’tish qobiliyatini (y’ani, unda maxfiy kalitni mavjudligini) eshikdan o’tishni ko’rsatmasdan tirib V tekshiruvchiga isbotlashni xohlaydi.

Dastlabki holat: P isbot qiluvchi va V tekshiruvchi A nuqtada turishibdi.		1-chi iterasiyaning 1-chi qadami. P isbot qiluvchi g’orga tushib kelmoqda. C nuqtaga yetganda tanga tashlaydi: natija RA=0, Shu sababli u chapga burilib, D nuqtagacha tushib keladi. V tekshiruvchi P isbot qiluvchi qayerga burilganligini ko’rmaydi.
1-chi iterasiyaning 2-chi qadami. V tekshiruvchi B nuqtagacha tushib keladi. V tekshiruvchi P isbot qiluvchi qayerda turganligini ko’rmaydi.		1-chi iterasiyaning 3-chi qadami. V tekshiruvchi B nuqtada tanga tashlaydi: natija RB=0. Shu sababli u P isbot qiluvchidan g’orning chap tomonidan chiqishni so’raydi. P isbot qiluvchi eshikdan o’tishiga hojat qolmaydi, D nuqtadan B nuqtaga qaytadi.
2-chi iterasiyaning 4-chi qadami. P isbot qiluvchi va V tekshiruvchi dastlabki holatga, ya’ni A nuqtaga qaytishadi.