Fani bo’yicha mustaqil ish mavzu

Nolinchi bilimga asoslangan autentifikatsiya
Nolinchi bilim dalillariga asoslangan assimetrik autentifikatsiya protokollarining umumiy g'oyasi shundan iboratki, ochiq va maxfiy kalitga ega bo'lgan qonuniy foydalanuvchi P va tekshirgich V birgalikda interaktiv isbot kriptografik protokolini bajaradi, bunda P o'z shaxsini isbotlashi kerak. qonuniy foydalanuvchining maxfiy kaliti haqidagi bilimlarni namoyish qilish orqali, lekin uni V tekshirgichga oshkor qilmaslik (ya'ni, V tomonidan olingan ma'lumotlardan uning P) maxfiy kalitini olishi hisoblash nuqtai nazaridan mumkin emas.
Barcha protokollar ikki bosqichga ega: dastlabki va ishchi. Bir marta amalga oshiriladigan dastlabki bosqichda ba'zi parametrlar belgilanadi va protokolning ish bosqichida ishtirok etadigan qiymatlar hosil bo'ladi (xususan, ochiq va maxfiy kalitlar P). Ish bosqichida R ning haqiqiyligini isbotlash haqiqatda amalga oshiriladi.
Nolinchi bilimlarni isbotlovchi protokollar ham ishlab chiqilgan boʻlib, ular interaktiv kiritishni talab qilmaydi va ularning isboti odatda ideal kriptografik xesh funksiyasi faraziga asoslanadi, yaʼni chiqishda Bir tomonlama xesh-funksiyaning kiritilishi ma'lum bo'lmasa, uni oldindan aytib bo'lmaydi.
Nolinchi bilim isboti bir nechta blokcheynlarda qo'llaniladi, bundan tashqari, u ma'lumotni o'zi uzatmasdan ma'lumot mavjudligini tekshirish uchun ishlatiladi.
Nolinchi bilim isboti - bu isbotlanayotgan fikrning haqiqat ekanligini isbotlash imkonini beruvchi interaktiv ehtimollik protokoli va Prover bu dalilni biladi, shu bilan birga bu tasdiqning o'zi haqida hech qanday ma'lumot bermaydi. Ushbu kriptografik protokol uchta xususiyatga ega bo'lishi kerak:
To'liqlik: Agar bayonot haqiqatan ham to'g'ri bo'lsa, Prover buni oldindan belgilangan aniqlik bilan tasdiqlovchini ishontiradi.
To'g'rilik: Agar bayonot noto'g'ri bo'lsa, har qanday Prover, hatto "insofsiz" ham, arzimas ehtimoldan tashqari, Tekshirishchini ishontira olmaydi.
Nol bilim: Agar bayonot to'g'ri bo'lsa, unda har qanday, hatto "insofsiz" ham, Verifier bayonotning haqiqat ekanligidan boshqa hech narsani bilmaydi.
Nolinchi bilim dalillari atamaning matematik ma'nosida isbot emas, chunki isbotlovchini aldab, Verifierni noto'g'ri bayonotga (to'g'rilik xatosi) ishontirish uchun ozgina imkoniyat bor. Boshqacha qilib aytganda, nol bilim dalillari deterministik emas, balki ehtimollik dalillaridir. Biroq, to'g'rilik xatosini ahamiyatsiz qiymatlarga kamaytirish usullari mavjud.
Nolinchi bilimlarni isbotlash protokolini ishga tushirish Qabul qilish/Rad qilish natijasini beradi va shuningdek, dalilning transkriptini yaratadi. Nolinchi bilimlarning turli xil variantlarini kontseptsiyaning o'zini rasmiylashtirish va turli modellardagi ma'lumotlarning taqsimlanishini protokol bilan quyidagi usullar bilan taqqoslash orqali aniqlash mumkin.
Ideal nol-bilim protokoli, agar ko'rib chiqilayotgan modelning isbot transkriptidagi tasodifiy o'zgaruvchilar bir xil taqsimlangan bo'lsa va umumiy kirish ma'lumotlariga bog'liq bo'lmasa. G'ordagi Peggi va Viktorning misoli yaxshi misol bo'ladi.
Statistik nol bilim taqsimoti har doim ham bir xil emasligini anglatadi, lekin ular hech bo'lmaganda statistik jihatdan yaqin[en], statistik farq esa ahamiyatsiz funktsiyadir.
Agar hozirgi vaqtda ideal protokoldagi ma'lumotlarning taqsimlanishidan qiymatlarning taqsimlanishini ajrata oladigan samarali algoritm bo'lmasa, bunday model hisoblash nol bilimi deb ataladi.