Oshkor etilmagan isbot nima va kriptovalyutada undan foydalanishning qanday variantlari mavjud?

Kredit olishga qodirligingizni yoki sog'lig'ingizda jiddiy muammo yo'qligini isbotlash uchun shaxsiy ma'lumotlarni o'z ichiga olishi mumkin bo'lgan moliyaviy yoki tibbiy hujjatlarni taqdim etishingizga to'g'ri kelganmi? Agar hozirgina $100 evaziga "Nutella" sotib olganingizni yoki velosipeddan yiqilib tizzangiz lat yeganini aytmasdan turib, daromadingiz barqaror va yetarli ekanini yoki sog'lom ekaningizni isbotlay olsangiz-chi? Bu oshkor etilmagan isbotdan foydalanishga yaqqol misol va bir vaqtning o'zida uning potensial variantidir.

Oshkor etilmagan isbot (ZKP) nima?

Keltirgan misolimizdan taxmin qilgan bo'lsangiz kerak, oshkor etilmagan isbot (ZKP) – bu da'vo mazmunini oshkor qilmasdan, uning to'g'riligini tasdiqlash usuli yoki jarayonidir.

Aytaylik, siz hozirgina Wordle o'yinidagi (ha, bu o'yin hali ham o'ynaladi) bugungi so'zni do'stlaringizdan oldin topdingiz. Ularga bu qanday so'z ekanligini aytish o'rniga, siz shunchaki Wordle natijalari rasmini ulashasiz, unda beshta ketma-ket yashil kvadrat ko'rsatiladi. Shunday qilib, rasmni ko'rgan har bir kishi so'zni to'g'ri tushunganingizni bilib olishi mumkin, ammo hech kim bu qanday so'z ekanligini, modomiki uni bilmas ekan, ayta olmaydi. Undan ham qulayrog'i, bu rasmni o'z Twitter profilingizga joylashingiz kifoya va hamma siz bilan hech qanday muloqot qilmasdan, jumboqni yechganingizni bilib oladi (hatto sizni shaxsan tanishlari ham shart emas). Bu interaktiv ZKPdan farqli o'laroq, nointeraktiv ZKP deb ataladi, bunda tekshiruvchilar tasdiqning to'g'riligini tasdiqlash uchun xabar almashadilar.

Sir emaski, bu murakkab mexanizm (interaktiv va nointeraktiv) ko'plab yangi qiziqarli qo'llash variantlarini ochadi, ayniqsa maxfiylik hamma narsadan ustun bo'lgan sohalarda – birinchi navbatda kriptovalyutada. Bu sohadagi ikkita eng mashhur yutuqlar zk-SNARK va zk-STARK hisoblanadi.

zk-SNARKs va zk-STARKs: taqqoslash

zk-SNARK (zero-knowledge Succinct Non-Interactive Argument of Knowledge) – oshkor etilmagan isbotning qisqa interaktiv bo'lmagan argumenti ma'nosini bildiradi. Uning asosiy xususiyati interaktiv emasligi: istalgan kishi tasdiqlovchi bilan muloqot qilmasdan turib, isbotni tekshirishi mumkin. Bu blokcheynga hisoblarga egalik huquqini tasdiqlash va tranzaksiyada manzil yoki summalarni oshkor qilmasdan jo'natuvchining yetarli balansga ega ekanligini kafolatlash imkonini beradi.

zk-SNARKs xavfsizlik modelining markazida Tasodifiy elliptik egri chiziqlar yotadi. zk-SNARKs yordamida protokolni ishga tushirish uchun ishonchli sozlash (trusted setup) ham talab qilinadi. Buning uchun maxfiy kalitlar yaratiladi, ular keyinchalik isbotlarni yaratish va ularni tekshirish uchun qo'llaniladi. Shu sababli zk-SNARK kvant hujumlari va maxfiy kalitlarning sizib chiqishiga nisbatan zaif hisoblanadi. Shunga qaramay, zk-SNARK bloklar hajmini va gaz sarfini sezilarli darajada kamaytirishga qodir va 2012-yilda paydo bo'lganidan beri u ishlab chiquvchilar va foydalanuvchilarning katta hamjamiyatini to'pladi.

zk-STARKs (zero-knowledge Scalable Transparent Argument of Knowledge) 2018-yilda taqdim etilgan bo'lib, oshkor etilmagan isbotning ko'lamli shaffof argumenti ma'nosini bildiradi. Nomidan ko'rinib turibdiki, zk-STARKs kengayish va shaffoflikka e'tibor qaratadi. Tasdiqlovchi va verifikatorning ishlash vaqti zk-SNARK-da isbotlash hajmi (witness) bilan chiziqli ravishda, zk-STARK-da esa kvazichiziqli ravishda o'sadi, bu esa ularni katta hajmdagi ma'lumotlarni qayta ishlashda yanada moslashuvchan qiladi. Bundan tashqari, zk-STARK ommaviy tekshiriladigan tasodifiylik va kriptografik xesh-funksiyalardan foydalanadi, shuning uchun ularga dastlabki ishonchli sozlash kerak emas va ular kvant hujumlariga chidamli.

Shunga qaramay, zk-STARK ancha katta hajmdagi dalillarni yaratadi va sezilarli darajada katta hisoblash resurslarini talab qiladi, bu esa gaz sarfining oshishiga olib keladi va tekshirish vaqtini uzaytiradi. Shuningdek, zk-STARK ishlab chiquvchilar va o'quv materiallari uning "katta aka" – zk-SNARK-ga qaraganda sezilarli darajada kam.

ZKPdan kriptoda foydalanish holatlari qanday?

Shaxsni tasdiqlash

Bizning shaxsni tasdiqlash ma'lumotlarimizdan ko'ra ko'proq shaxsiy ma'lumotlar to'plangan joy yo'q. An'anaga ko'ra, shaxsni tasdiqlash uchun tasdiqlanayotgan shaxs (ya'ni, siz) tekshiruvchiga o'zining barcha ma'lumotlarini – tegishli va unchalik muhim bo'lmagan eng mayda tafsilotlarni – taqdim etishi shart.

ZKP bilan hammasi boshqacha: siz egalik qilish va shaxsingizning haqiqiyligini isbotlovchi maxsus hisob ma'lumotlarini yaratasiz. Tekshiruvchi barcha shaxsiy ma'lumotlaringizga to'liq kirishni so'rash o'rniga, ularning to'g'riligiga ishonch hosil qilish uchun bir nechta hisob-kitoblarni amalga oshirishi kifoya.

Merkle daraxti asosidagi zaxiralar tasdig'i

Merkle daraxti – bu barglarida ma'lumotlar saqlanadigan binar daraxt. Har bir barg o'z xeshiga ega va bu xeshlar tugunlarga birlashtiriladi va yagona xesh – ildiz xeshi qolmaguncha yana xeshlashtiriladi.

Verifikator millionlab alohida yozuvlarni qayta ishlamasdan butun daraxtning yaxlitligiga ishonch hosil qilish uchun turli shoxlardan bir nechta xeshlarni olishi kifoya. Bu birjaning yetarli zaxiralarga ega ekanligini va mijozlarning mablag'laridan shubhali maqsadlarda foydalanmasligini isbotlash uchun keng qo'llaniladi.

Bitget har doim mijozlarni birinchi o'ringa qo'yadi va bizning Merkle daraxtiga asoslangan zaxiralar isbotini hamma ko'ra oladi: Bitget zaxiralari isboti.

Uslubimiz haqida batafsil ma'lumot olish uchun Merkle daraxtiga kirish bilan tanishib chiqing.

Zk-rollups

Rollup, nomidan ko'rinib turibdiki, ko'plab tranzaksiyalarni bittaga aylantiradigan keng ko'lamli yechimdir. Bu, aytaylik, Ethereumning asosiy tarmog'iga qaraganda ancha tez va arzonroq tranzaksiyalarni amalga oshirish imkonini beradi. Ethereum ekotizimida ikki turdagi rollup yechimlari mavjud: Optimistic va Zero-knowledge. Biz ushbu maqolada ikkinchisiga e'tibor qaratamiz.

Zero-knowledge rollups (zk-rollups) hisob-kitoblarni off-chain amalga oshiradi va on-chain tarmog'iga faqat barcha birlashtirilgan tranzaksiyalarning ishonchliligini isbotlovchi ("xulosa") ma'lumotlarni yuboradi. Ushbu dalil on-chain tarmoqda tekshirilgandan so'ng, barcha tranzaksiyalar bir vaqtning o'zida yakunlanadi.

Ethereum uchun zk-rollup yechimlari bozorida bir nechta yirik o'yinchilar mavjud. Polygon zkEVM mainnet tarmog'ining beta-versiyasi mart oyi oxirida chiqishini e'lon qildi. Bunga javoban, zkSync Polygon e'lon qilinganidan bir kun o'tgach, o'z veb-saytida ishlab chiquvchilar uchun ro'yxatdan o'tish imkoniyatini ochdi.

Poyganing boshqa ko'zga ko'ringan ishtirokchilari: Loopring – zk-rollup uchun yuqori o'tkazuvchanlik va past hisob-kitob xarajatlariga ega markazlashmagan birja; Immutable X – NFT uchun ikkinchi darajali (2-qatlam) yechimi bo'lib, zk-rollups bilan deyarli bir zumda gazsiz tranzaksiyalarni ta'minlaydi.

Ro'yxatdan o'ting va Poligon, Loopring, Immutable X, Mina va oshkor etilmagan isbotning boshqa ko'plab birinchi foydalanuvchilari bilan savdoni boshlang.

Mas'uliyatni rad etish: Ushbu maqolada keltirilgan fikrlar faqat ma'lumot uchun mo'ljallangan. Ushbu maqola muhokama qilingan mahsulot va xizmatlar yoki investitsiya, moliyaviy yoki savdo maslahatlarini o'z ichiga olmaydi. Moliyaviy qarorlar qabul qilishdan oldin malakali mutaxassislar bilan maslahatlashish kerak.