Vitalik maqola yozdi, GKR protokoli nol bilimli isbotlash hisoblash samaradorligini oshiradi

ChainCatcher xabariga ko‘ra, Ethereum asoschisi Vitalik Buterin bugun ertalab GKR protokoli haqida maqola e’lon qildi. GKR (Goldwasser-Kalai-Rothblum) protokoli yuqori samarali nol bilimli isbot tizimlarining asosiy texnologiyasiga aylanmoqda.

So‘nggi tadqiqotlar shuni ko‘rsatadiki, GKR oraliq qatlamlardagi majburiyat amallarini chetlab o‘tib, faqat kirish va chiqishga majburiyat qo‘yish orqali an’anaviy STARK usulining nazariy xarajatini 100 baravardan taxminan 15 baravarga tushira oladi, amaliyotda esa hatto 10 baravardan ham past bo‘ladi. Ushbu protokol ayniqsa Poseidon xesh funksiyasi va neyron tarmoqlar kabi ko‘p qatlamli hisoblash modellariga mos keladi, uning asosiy “sumcheck” texnologiyasi tasodifiy chiziqli kombinatsiyalar orqali ko‘p o‘lchovli muammolarni rekursiv soddalashtiradi. GKR o‘zi nol bilimli xususiyatni ta’minlamasa-da, ZK-SNARK yoki ZK-STARK bilan birga ishlatilishi mumkin va u real vaqtli ZK-EVM isboti hamda keng ko‘lamli mashina o‘rganish modellarini tasdiqlash uchun muhim texnik asos bo‘lib xizmat qilmoqda.