Haqiqiy hayotda ham, raqamli dunyoda ham biz ko'pincha narsalarni boshqalarga isbotlashni xohlaymiz. Ofis binosiga kirishdan oldin, xodimlar odatda ichkariga kirishdan oldin ba'zi turdagi ID taqdim etadilar.
Foydalanuvchilar Facebook yoki Twitter kabi ilovaga kirishga harakat qilganda, bu xizmatlar avval foydalanuvchidan parol bilan tizimga kirishni so‘rashi kerak va vaqti-vaqti bilan ularning mobil qurilmasiga bir martalik parol (OTP) yuboriladi.
Dalillarni taqdim etishning salbiy tomoni shundaki, biz ko'pincha boshqa turdagi ma'lumotlarni beramiz. Veb-saytga parol berish hali ham veb-saytning o'zi serverlarida xeshlangan parolning nusxasini saqlab qolishini anglatadi. Agar kimdir ofis binosi xodimlarining identifikatori skanerini buzib kirgan bo'lsa, u barchaning shaxsiy kalitlarini qo'lga kiritishi mumkin.
Nolinchi bilim dalillari yoki ZKPlar qo'shimcha ma'lumot taqdim qilmasdan shaxsni yoki tranzaktsiyani tasdiqlash usulini taqdim etadi. Kriptografiyada qo'llanilishi tufayli ZKPlar tomonidan moslashtirilgan blockchainlar xavfsiz va kengaytiriladigan tekshirish protokollarini yaratish.
Nolinchi bilim dalillari nima?
Nolinchi bilim dalillari birinchi marta MIT tadqiqotchilari Silvio Mikali, Charlz Rakoff va Shafi Goldvasser tomonidan 1985 yilda o'z maqolalarida taklif qilingan. "Interfaol isbotlash tizimlarining bilim murakkabligi"
Ushbu maqola bilimlarning murakkabligi tushunchasini taqdim etdi. Bu isbotlovchidan tekshiruvchiga o'tkazilgan dalil haqidagi bilimlar miqdorini bildiradi. Nolinchi bilim dalillari tomonlarga boshqa ma'lumotlarni oshkor qilmasdan, muayyan bayonot boshqa tomon uchun to'g'ri ekanligini isbotlash imkonini beradi.
ZKPlar joriy autentifikatsiya tizimlariga xavfsiz alternativa sifatida ishlatilishi mumkin va tranzaktsiyalarni maxfiy saqlash uchun blokcheyn protokollariga ham qo'shilishi mumkin.
ZKP qanday ishlaydi?
Haqiqiy dunyo misoli
Nolinchi bilim dalillari qanday ishlashini ko'rsatish uchun keling, ZKPning mavhum misolini ko'rib chiqaylik.
Aytaylik, sizning qizil-yashil rangli ko'r do'stingiz bor. Sizda faqat rangi bilan farq qiladigan ikkita bir xil to'p bor: bitta qizil va bitta yashil. Do'stingizga ular bir xil ko'rinadi, ammo rang ko'rligi bo'lmagan odam sifatida siz ularni osongina ajrata olasiz.
Qaysi to'p qizil yoki yashil ekanligini ko'rsatmasdan, do'stingizga ularning boshqa rang ekanligini isbotlay olasizmi?
To'plarning ranglarini oshkor qilmasdan buni isbotlashning bir usuli bor. Birinchidan, do'stingizga ikkala to'pni orqasiga qo'yishiga ruxsat berishingiz kerak va unga biron bir to'pni ko'rsatishini va uni yana yashirishini aytishingiz kerak. Keyinchalik, siz do'stingizga yana bir xil to'pni ko'rsatish yoki boshqasiga almashtirishni tanlashi mumkinligini aytasiz.
Har safar yangi to'p ko'rsatilganda, u to'pni almashtirganmi yoki yo'qmi, ayta olasiz. Agar siz to'g'ri qo'ng'iroqni taxmin qilishni davom ettirsangiz, to'plar turli xil rangda bo'lishi ehtimoli ko'proq bo'ladi. Sizning do'stingiz endi to'plar turli rangda ekanligiga ishonch hosil qilishi kerak, unga qaysi to'plarning rangi borligini aytmasdan turib.
Amaliy dasturlar
Nolinchi bilim isbotlarining ko'p amaliy misollari ikki turga bo'linadi.
Birinchidan, protokollarni loyihalashda ZKP lardan foydalanish mumkin. Biz turli tomonlar aldamasligi yoki protokoldan foydalana olmasligini ta'minlashimiz mumkin. Ikkinchidan, ZKPlar identifikatsiya qilish uchun ishlatilishi mumkin.
Misol uchun, biz ZKP-lardan parolni o'zi ko'rsatmasdan veb-ilovaga xavfsiz kirish uchun foydalanishimiz mumkin.
Keling, nol bilim dalillaridan qanday foydalanishimiz mumkin bo'lgan bir nechta misollarni ko'rib chiqaylik.
Elektron ovoz berish
ZKPlarning keng tarqalgan muhokama qilinadigan ilovalaridan biri ularning onlayn ovoz berishdagi roli. Aytaylik, yaqinda referendum bo'lib o'tadi, unda foydalanuvchilar taklif qilingan siyosat bo'yicha ovoz berishlari mumkin. Saylov huquqiga ega har bir fuqaro saylov byulletenida 1 yoki 0 ovoz berishi mumkin.
ZKPlardan foydalanib, saylovchilar o'z shaxsini oshkor qilmasdan ovoz berish huquqini isbotlashlari mumkin. Bu har bir ovoz haqiqatan ham anonim bo'lishini ta'minlaydi. Muayyan foydalanuvchining ovozi yakuniy ovozlar sonining bir qismi ekanligini isbotlash uchun qo'shimcha ZKP ham qo'llaniladi.
Saylov byulletenlarining mazmuniga kelsak, ovoz berish tizimi, shuningdek, har bir byulletenda 1 yoki 0 bo'lganligi to'g'risida nol ma'lumotga ega bo'lgan dalilni yaratishi mumkin. Bu byulletenning mazmunini bilmasdan amalga oshiriladi.
Blockchain Maxfiylik
Bitcoin va Ethereum kabi blokcheynlar xususiy tranzaktsiyalarni qo'llab-quvvatlamaydi. Bitcoin hamyoningiz ochiq ekan, har kim blok tadqiqotchisiga o'tishi mumkin, masalan Blockstream hamyonning bir qismi bo'lgan barcha operatsiyalarni ko'rish uchun.
Shu bilan birga, bank yoki Cash App yoki Venmo kabi to'lov xizmatlaridan foydalanish sizga shaxsiy operatsiyalarni amalga oshirish imkoniyatini beradi. Biroq, bu qulaylik sizning ma'lumotlaringizni markazlashtirilgan xizmatga oshkor qilish evaziga keladi.
Biz blokcheyn protokoliga ZKP qo'shish orqali anonimlikni markazsizlashtirish bilan birlashtira olamiz. ZCash kabi kriptovalyutalar tanga egalariga anonimlikni saqlashga imkon beruvchi xususiy tranzaktsiyalarni yaratish uchun ZKP-lardan foydalanadi. Ushbu kriptovalyutalarning bir nechtasi zk-SNARK deb nomlanuvchi ZKP turidan foydalanadi.
Ushbu ZKPlar prover va tekshiruvchi o'rtasidagi o'zaro aloqani talab qilmaydi.
Nolinchi bilimlar toʻplami
ZK-rollups - bu tarmoqdan tashqari tranzaktsiyalarni bir zumda va minimal gaz to'lovlari bilan tekshirish imkonini beruvchi kengaytiriladigan yechim. Ular 2-qavatdagi ko'p sonli tranzaktsiyalarni birlashtirish va ularni 1-qavat protokoliga yuborish usulidir.
Maxfiylikni ta'minlashdan tashqari, ZKPs murakkab tizimlarni masshtablash imkonini beradi. Blokcheyn protokollari foydalanuvchilarning to'g'ri bitimlar tuzganligini, tegishli balansga ega ekanligini va hokazolarni isbotlash uchun ZKP-dan foydalanishi mumkin. Ushbu xavfsiz, ammo kengaytiriladigan echimlar faqat ZKP-larda zanjirdan tashqari bajarilgan matematik dalillar orqali mumkin.
Loopring kabi protokollar zanjirdan tashqari tranzaktsiyalarni xavfsizlikni buzmasdan qayta ishlashga yordam berish uchun nol bilim dalillaridan foydalanadi.
Nolinchi bilim isbotlarining afzalliklari
- ZKPlar PIN-kodlar yoki identifikatsiya kartalari kabi kamroq ishonchli autentifikatsiya shakllarini almashtiradi
- ZKPS blokcheynlarning kengaytirilishini oshiradi
- ZKPni amalga oshirish oddiy shifrlash usullarini talab qiladi
- ZKPS dan foydalanish tizimda keraksiz ma'lumotlarni saqlashni talab qilmaslik orqali tizimlarni yanada xavfsizroq qilishi mumkin.
Xulosa
Ma'lumotlar maxfiyligi allaqachon markazlashtirilgan va markazlashmagan tizimlarda asosiy muammo hisoblanadi. Nolinchi bilim dalillari turli tomonlarga bitimlar va identifikatorlarni ko'rsatilgan operatsiyalar yoki identifikatorlarni oshkor qilmasdan isbotlash yoki tasdiqlash imkonini beradi.
Blokcheyn texnologiyasi kengroq qo'llanilganda, tekshirishni xavfsiz bajarish uchun ZKP-larni qabul qilish masshtablilik muammolari uchun kalit bo'ladi.
Leave a Reply