#dusk $DUSK @Dusk Dusk’ning so‘nggi rivojlanishida bir jihatga qayta-qayta e’tibor qaratdim — gap kriptografiyaning o‘zida emas.
Gap o‘sha kriptografiyani yanada samaraliroq ishlatish uchun qilingan sa’y-harakatlarda.
PLONK unumdorligini oshirish ishlari asosiy matematikani, transkriptni yoki isbot formatini almashtirmadi. Buning o‘rniga, Dusk ular atrofidagi behuda ishlarni kamaytirishga kirishdi: deterministik ma’lumotlarni keshlash, inversiyalar va MSM amallarini guruhlab bajarish, mustaqil FFT vazifalarini parallellashtirish va hisob-kitoblarni takrorlashdan qochish.
Natijalar e’tiborimni tortdi: isbotlash vaqti 58% ga qisqardi, isbotlash unumdorligi taxminan 2,4 baravar oshdi, tekshirish 44% tezlashdi, kompilyatsiya esa 25% tezlashdi.
Ammo rostini aytsam, raqamlar deyarli ikkinchi darajali.
Meni qiziqtirayotgani — ular navbatdagi muammo haqida nimalarni ochib berishi.
Maxfiylik matematik jihatdan mustahkam bo‘lishi mumkin, ammo isbotlash, tekshirish yoki bajarish jarayonlari yetarlicha tez ishlamasa, undan amalda foydalanish qiyinlashadi.
DuskEVM × DuskDS sinovlarida ham shunga o‘xshash savolni ko‘ryapman. Turli bajarish va holat modellari alohida-alohida baholanmayapti, balki aralash ish yuklamalari ostida sinovdan o‘tkazilyapti.
Bu haqiqiy muammoga yaqinroq tuyuladi: har bir qism ishlaydimi, degan savoldan ko‘ra, tizim band bo‘lganida ham ular birgalikda ishlashda davom etadimi, degan savol muhimroq.
Shu bois, Dusk oldidagi eng murakkab muhandislik muammosi endi maxfiylikni isbotlash ishlashini ko‘rsatish emas,mikan, deb o‘ylay boshladim.
Balki muammo maxfiylik, bajarish va muvofiqlashtirishni foydalanuvchiga deyarli sezilmaydigan qilishdadir.
Ehtimol, eng qiziqarli sinov ham shu.

#dusk