Yangiliklar

Jinse Finance xabariga ko‘ra, Vitalik Buterin maqola yozib, shunday dedi: “Agar siz ‘kriptovalyuta sohasidagi kriptografiya yo‘nalishi’ni doimiy kuzatib borsangiz, ehtimol siz allaqachon juda tezkor ZK isbotlovchilari (ZK-provers) haqida eshitgansiz: masalan, atigi 50 ta iste’mol darajasidagi GPU yordamida Ethereum L1 uchun real vaqtda isbotlashni amalga oshira oladigan ZK-EVM isbotlovchisi; oddiy noutbukda har soniyada 2 millionta Poseidon xeshini isbotlash; va zk-ML tizimlari katta til modellari (LLM) uchun isbotlash tezligini doim oshirib bormoqda. Ushbu maqolada men ushbu tezkor isbot tizimlarida ishlatiladigan protokollar oilasidan biri — GKR haqida batafsil tushuntiraman. Men asosan GKR’ning Poseidon xeshini (va shunga o‘xshash tuzilishga ega hisob-kitoblarni) isbotlashdagi qo‘llanilishiga e’tibor qarataman. Agar siz GKR’ning umumiy sxemali hisob-kitoblardagi asoslari bilan tanishmoqchi bo‘lsangiz, Justin Thaler’ning eslatmalari va ushbu Lambdaclass maqolasiga murojaat qilishingiz mumkin. GKR nima va u nega bunchalik tez? Tasavvur qiling, sizda ‘ikki o‘lchamda ham juda katta’ hisob-kitob bor: u kamida o‘rtacha miqdordagi (past darajali) ‘qatlamlar’ni qayta ishlashi kerak, shu bilan birga juda ko‘p kirish ma’lumotlariga bir xil funksiyani qayta-qayta qo‘llaydi. Mana shunday: Ma’lum bo‘lishicha, biz amalga oshiradigan ko‘plab yirik hisob-kitoblar aynan shu modelga mos keladi. Kriptografiya muhandislari shuni payqashadi: ko‘plab hisoblashga og‘ir isbot vazifalari ko‘plab xesh operatsiyalarini o‘z ichiga oladi, har bir xeshning ichki tuzilishi esa aynan shu modelga mos. AI tadqiqotchilari ham shuni ko‘radi: neyron tarmoqlar (LLM’ning asosiy qurilish bloklari) ham aynan shu tuzilishga ega (bir nechta tokenlarning isbotini parallel tarzda amalga oshirish mumkin, har bir token ichida esa elementlar bo‘yicha neyron qatlamlar va global matritsa ko‘paytmasi qatlamlari mavjud — garchi matritsa amallari yuqoridagi ‘kirishlar bo‘yicha mustaqil’ tuzilishga to‘liq mos kelmasa-da, amalda ularni GKR tizimiga oson joylashtirish mumkin). GKR aynan shu model uchun maxsus ishlab chiqilgan kriptografik protokoldir. U samarali, chunki barcha oraliq qatlamlarga majburiyat (commitment) qo‘yishni chetlab o‘tadi: siz faqat kirish va chiqishga majburiyat qo‘yasiz. Bu yerda ‘majburiyat’ deganda, ma’lumotlarni qandaydir shifrlangan ma’lumot tuzilmasiga (masalan, KZG yoki Merkle daraxti) joylashtirish tushuniladi, shunda siz ushbu ma’lumotga oid so‘rovlar bo‘yicha isbot bera olasiz. Eng arzon majburiyat usuli — bu kodlashdan so‘nggi Merkle daraxti (ya’ni, STARK’dagi usul), lekin bu ham har bir yuborilgan bayt uchun 4–16 baytli xeshni talab qiladi — bu esa yuzlab qo‘shish va ko‘paytirish amallarini anglatadi, holbuki siz isbotlamoqchi bo‘lgan amallar faqat bitta ko‘paytirishdan iborat bo‘lishi mumkin. GKR bu amallardan, faqat boshida va oxirida tashqari, qochadi. E’tibor bering, GKR ‘nol bilim’ (zero knowledge) emas: u faqat ixchamlikni kafolatlaydi, maxfiylikni emas. Agar sizga nol bilim xususiyati kerak bo‘lsa, GKR isbotini ZK-SNARK yoki ZK-STARK ichiga joylashtirishingiz mumkin.

ChainCatcher xabariga ko‘ra, Vitalik Buterin so‘nggi maqolasida GKR (Goldreich–Kahan–Rothblum) protokoli ZK isbotlarini tezlashtirish uchun qanday qo‘llanilishini, “batch × ko‘p qatlamli” hisoblash tuzilmasiga moslashishini, oraliq qatlam majburiyatlarini sezilarli darajada kamaytirishini va faqat kirish va chiqishga majburiyat qo‘yilishini batafsil tushuntirib berdi. Maqolada Poseidon2 hash misolida sumcheck asosidagi rekursiv isbot jarayoni batafsil tushuntirilgan va optimallashtirishlar (Gruen’s trick, chiziqli batch ishlov berish, ba’zi raundlarda faqat birinchi elementni kub qilish) keltirilgan, polinom majburiyat ssenariyida BaseFold yoki FRI bilan birga ishlatilishi mumkin. Muallifning ta’kidlashicha, amaliy xarajatlar an’anaviy STARK nazariy qiymatidan taxminan 100 baravar past, bitta raqam darajasidagi xarajatlar kutilmoqda va Fiat–Shamir chaqirig‘ida elektr tarmog‘ida bashorat qilinadigan xavflarga e’tibor qaratish lozimligini eslatadi.