A16z Crypto Jolt zkVM yangilaydi, ‘ZK’ yorlig‘ining noaniq ishlatilishiga e’tiroz bildiradi

A16z Crypto, yirik venchur kompaniya Andreessen Horowitzning web3 bo‘limi, yaqinda o‘zining Jolt zkVM haqidagi blog postida ba’zi dasturchilar tomonidan “ZK” atamasining noformal ishlatilishiga e’tibor qaratdi. 

“Ko‘pgina zkVMlar aslida nol bilim (zero knowledge) emas — faqat qimmatli ‘o‘rash’ jarayoni qo‘llanilsa bundan mustasno,” deb yoziladi blogda. “Bu o‘rash odatda, zkVM isbotini doimiy isbot tizimi ichida isbotini tasdiqlashni rekursiv isbotlashni o‘z ichiga oladi, bu

Mualliflar shuningdek, ko‘pincha “zk” qisqacha “sodda va tez tasdiqlanadigan isbotlar” ma’nosida, ya’ni “ixchamlik xossasi” sifatida ishlatilayotganini va bu haqiqiy nol bilim maxfiyligidan farq qilishini ta’kidladilar. 

“Jamiyatda maxfiylikka e’tibor kuchaygani sari — haqiqiy zero knowledge, ya’ni provyerning maxfiy ma’lumotlarining maxfiyligini talab qiladigan — atamalar noto‘g‘ri ishlatilishi haqiqiy muammoga aylanmoqda,” deb qo‘shimcha qildi a16z. 

ZK isbotlari nima?

ZK isbotlari — bu kriptografik usul bo‘lib, bir tomon (prover) boshqa tomonni (verifier) bir bayonot to‘g‘ri ekaniga, undan ortiq ma’lumotni oshkor qilmasdan, ishontirish imkonini beradi.

Dastlab akademiyada ishlab chiqilgan ZK isbotlarning birinchi keng ko‘lamli tijorat amaliyoti kripto sanoatida, xususan Zcash loyihasi orqali boshlangan. Zcash onchain maxfiylikni ta’minlash uchun zk-SNARKs deb ataladigan ixcham isbot turini ishga tushirgan.  

Shunga qaramay, zero-knowledge kriptografiyasi bir qator yangi blockchain stsenariylarida, xususan Ethereum Layer 2 blockchainlari va boshqa zk-Rollup’larda oqimni kengaytirish uchun ishlatilmoqda. 

Maxfiylik kripto dasturchilar va investorlar orasida muhim xavotir sifatida qayta paydo bo‘lmoqda, ular hozirgi ko‘pchilik blockchainlarning shaffofligi adopsiya, ayniqsa institutlar orasida, cheklanishiga olib keladi deb argument qilmoqda.

Masalan, Digital Currency Group bosh direktori Barry Silbert yaqinda maxfiylikka asoslangan zanjirlarga katta moliyaviy oqimlarni kutayotganini aytdi. 

Joltning yechimi

O‘z tomonidan, a16zning ochiq kodli Jolt zkVM seshanba kuni nol bilim isbotlarini tabiiy qo‘llab-quvvatlash uchun katta yangilanishni taqdim etdi.

So‘nggi Zero-Knowledge Virtual Machines (ZKVM) dasturlarni ishga tushirish va kod funksiyasi bajarilganini isbotlash uchun ishlatiladi, ularning kirish ma’lumotlarini oshkor qilmasdan.

Blogda tilga olingan amaliyotlar singari, Jolt dastlab ZK isbotlarini to‘liq maxfiylikdan ko‘ra ixchamlik uchun qo‘llagan, bu muammo ishlab chiquvchilar tomonidan “1990-yillarga borib taqaladigan” foldlash sxemasiga o‘tish orqali hal qilindi.

Xususan, Jolt ma’lumot sızishini oldini olish uchun NovaBlindFold foldlash sxemasidan foydalanib, blind isbotlar yaratdi va bu uni maxfiylik amaliyotlari uchun mos qildi.

“Natijada ZK isbot asl non-ZK Jolt isbotdan atigi taxminan 3 KB kattaroq bo‘ladi,” deb qayd etadi blog.