Ethereum Foundation xavfsizlikni tezlikdan ustun qo'yadi – 2026 yil uchun qat'iy 128-bit qoidani belgilaydi

zkEVM ekotizimi bir yil davomida kechikishni kamaytirishga intildi. Ethereum blokini isbotlash vaqti 16 daqiqadan 16 soniyagacha qisqardi, xarajatlar 45 baravar kamaydi va ishtirok etayotgan zkVMlar hozirda asosiy tarmoq bloklarining 99%ini maqsadli uskunada 10 soniyadan kamroq vaqtda isbotlamoqda.

Ethereum Foundation (EF) 18-dekabr kuni g‘alabani e’lon qildi: real vaqtli isbotlash ishlaydi. Ishlashdagi to‘siqlar bartaraf etildi. Endi haqiqiy ish boshlanadi, chunki tezlik ishonchlilik bo‘lmasa, aktiv emas, balki xavf hisoblanadi va ko‘plab STARK asosidagi zkEVMlardagi matematik asoslar bir necha oydan beri sekin-asta buzilmoqda.

Iyul oyida EF “real vaqtli isbotlash” uchun rasmiy maqsad belgiladi, unda kechikish, uskuna, energiya, ochiqlik va xavfsizlik birlashtirilgan: asosiy tarmoq bloklarining kamida 99%ini 10 soniyadan kamroq vaqtda, taxminan $100,000 turadigan va 10 kilovattdan kam quvvatda ishlaydigan uskunada, to‘liq ochiq manbali kodda, 128-bit xavfsizlikda va isbot hajmi 300 kilobaytdan oshmagan holda isbotlash.

18-dekabr postida ekotizim EthProofs benchmarking saytida o‘lchanganidek, ishlash maqsadiga erishgani aytiladi.

Bu yerda real vaqt 12 soniyalik slot va blok tarqalishi uchun taxminan 1.5 soniyaga nisbatan aniqlanadi. Standart asosan “isbotlar validatorlar tomonidan ularni tekshirish uchun yetarlicha tez tayyor bo‘lishi, livenessni buzmasligi” deganidir.

EF endi o‘tkazuvchanlikdan ishonchlilikka o‘tmoqda va bu o‘tish aniq. Ko‘plab STARK asosidagi zkEVMlar reklama qilingan xavfsizlik darajasiga erishish uchun isbotlanmagan matematik taxminlarga tayanib kelgan.

So‘nggi oylarda, ayniqsa hash asosidagi SNARK va STARK past-darajali testlarda ishlatiladigan “proximity gap” taxminlari matematik jihatdan buzildi, bu esa ularga tayanadigan parametrlar to‘plamining samarali bit-xavfsiligini pasaytirdi.

EF L1 uchun yagona maqbul yakun “isbotlanadigan xavfsizlik”, “taxmin X to‘g‘ri deb hisoblanganda xavfsizlik” emas, deb aytadi.

Ular 128-bit xavfsizlikni maqsad qilib belgilashdi, bu zamonaviy kripto standartlari va uzoq umr tizimlar haqidagi akademik adabiyotlar, shuningdek, 128 bit haqiqiy hujumchilar uchun amalda yetib bo‘lmasligini ko‘rsatadigan real dunyo hisob-kitoblari bilan mos keladi.

Ishonchlilikni tezlikdan ustun qo‘yish sifat farqini aks ettiradi.

Agar kimdir zkEVM isbotini soxtalashtira olsa, u ixtiyoriy tokenlar chiqarishi yoki L1 holatini qayta yozishi va tizimni yolg‘on gapirishga majbur qilishi mumkin, faqat bitta kontraktni bo‘shatib yuborish emas.

Bu EF har qanday L1 zkEVM uchun “murosa qilinmaydigan” xavfsizlik zaxirasini asoslaydi.

Uch bosqichli yo‘l xaritasi

Postda uchta qat’iy to‘xtash nuqtasi bilan aniq yo‘l xaritasi keltirilgan. Birinchisi, 2026-yil fevral oxirigacha poygadagi har bir zkEVM jamoasi o‘z isbot tizimi va sxemalarini “soundcalc”ga ulaydi, bu EF tomonidan boshqariladigan va joriy kriptoanalitik chegaralar hamda sxema parametrlari asosida xavfsizlik baholarini hisoblaydigan vosita.

Bu yerda hikoya “umumiy o‘lchovchi”. Har bir jamoa o‘z bit-xavfsiligini o‘ziga xos taxminlar bilan ko‘rsatish o‘rniga, soundcalc asosiy kalkulyatorga aylanadi va yangi hujumlar paydo bo‘lishi bilan yangilanadi.

Ikkinchisi, “Glamsterdam” 2026-yil may oxirigacha soundcalc orqali kamida 100-bit isbotlanadigan xavfsilik, yakuniy isbotlar 600 kilobaytdan oshmasligi va har bir jamoaning rekursiya arxitekturasi haqida qisqa ommaviy tushuntirish va uning nega ishonchli bo‘lishi kerakligi haqida chizma talab qiladi.

Bu asl 128-bit talabini dastlabki joriy etish uchun sekin-asta orqaga suradi va 100 bitni oraliq maqsad sifatida ko‘radi.

Uchinchisi, “H-star” 2026-yil oxirigacha to‘liq mezon: soundcalc orqali 128-bit isbotlanadigan xavfsizlik, isbotlar 300 kilobaytdan oshmasligi, ustiga-ustak rekursiya topologiyasi uchun rasmiy xavfsizlik dalili. Bu bosqichda muammo muhandislikdan ko‘ra ko‘proq rasmiy usullar va kriptografik isbotlarga aylanadi.

Texnik vositalar

EF 128-bit va 300 kilobaytdan kichikroq maqsadga erishishni osonlashtirish uchun bir nechta aniq vositalarni ko‘rsatadi. Ular WHIRni ta’kidlaydi, bu yangi Reed-Solomon yaqinlik testi bo‘lib, ko‘p chiziqli polinom majburiyat sxemasi sifatida ham ishlaydi.

WHIR shaffof, post-kvant xavfsizligini taklif qiladi va bir xil xavfsizlik darajasida eski FRI uslubidagi sxemalarga qaraganda kichikroq isbotlar va tezroq tekshirish imkonini beradi.

128-bit xavfsizlikdagi benchmarklar isbotlar taxminan 1.95 baravar kichikroq va tekshirish bir necha baravar tezroq bo‘lishini ko‘rsatadi.

Ular “JaggedPCS”ni eslatib o‘tadi, bu polinom sifatida izlarni kodlashda ortiqcha to‘ldirishdan qochish uchun usullar to‘plami bo‘lib, isbotlovchilarga qisqa majburiyatlar ishlab chiqarishda behuda ish qilmaslik imkonini beradi.

Ular “grinding”ni, ya’ni protokol tasodifiyligi bo‘yicha arzonroq yoki kichikroq isbotlarni topish uchun kuch bilan qidirishni, lekin ishonchlilik chegaralaridan chiqmaslikni va “yaxshi tuzilgan rekursiya topologiyasi”ni, ya’ni ko‘plab kichik isbotlar ehtiyotkorlik bilan asoslangan ishonchlilik bilan bitta yakuniy isbotga birlashtiriladigan qatlamli sxemalarni tilga olishadi.

Ekzotik polinom matematikasi va rekursiya hiylalari xavfsizlikni 128 bitga oshirgandan so‘ng isbotlarni yana kichraytirish uchun ishlatilmoqda.

Whirlaway kabi mustaqil ishlar WHIRdan foydalanib yaxshilangan samaradorlikka ega ko‘p chiziqli STARKlar qurmoqda va eksperimental polinom-majburiyat sxemalari data-availability sxemalaridan qurilmoqda.

Matematika tez rivojlanmoqda, lekin u olti oy oldin xavfsiz ko‘ringan taxminlardan ham uzoqlashmoqda.

Nima o‘zgaradi va ochiq savollar

Agar isbotlar doimiy ravishda 10 soniyadan kam vaqtda tayyor bo‘lsa va 300 kilobaytdan oshmasa, Ethereum gaz limitini validatorlar har bir tranzaksiyani qayta ishlashga majbur bo‘lmasdan oshirishi mumkin.

Validatorlar buning o‘rniga kichik isbotni tekshiradi, bu esa blok sig‘imini oshiradi va uyda stakingni real qiladi. Shu sababli EFning oldingi real vaqtli posti kechikish va quvvatni aniq “uyda isbotlash” byudjetlariga, masalan, 10 kilovatt va $100,000dan kam uskunalarga bog‘lagan edi.

Katta xavfsizlik zaxiralari va kichik isbotlar kombinatsiyasi “L1 zkEVM”ni ishonchli hisob-kitob qatlami qiladi. Agar bu isbotlar tez va isbotlanadigan 128-bit xavfsiz bo‘lsa, L2lar va zk-rolluplar xuddi shu mexanizmdan precompilelar orqali foydalanishi mumkin va “rollup” va “L1 execution” o‘rtasidagi farq qat’iy chegaradan ko‘ra ko‘proq konfiguratsiya tanloviga aylanadi.

Real vaqtli isbotlash hozirda off-chain benchmark, on-chain haqiqat emas. Kechikish va xarajat raqamlari EthProofsning tanlangan uskuna sozlamalari va ish yuklaridan olinadi.

Buning va minglab mustaqil validatorlarning bu isbotlovchilarni uyda haqiqatan ham ishlatishi o‘rtasida hali ham tafovut bor. Xavfsizlik hikoyasi o‘zgaruvchan. Soundcalc mavjud bo‘lishining butun sababi shundaki, STARK va hash asosidagi SNARK xavfsizlik parametrlari taxminlar rad etilishi bilan o‘zgarib bormoqda.

So‘nggi natijalar “aniq xavfsiz”, “taxminan xavfsiz” va “aniq xavfsiz emas” parametr rejimlari o‘rtasidagi chiziqni qayta chizdi, ya’ni bugungi “100-bit” sozlamalar yangi hujumlar paydo bo‘lishi bilan yana ko‘rib chiqilishi mumkin.

Hamma asosiy zkEVM jamoalari 2026-yil mayigacha 100-bit isbotlanadigan xavfsilik va 2026-yil dekabrigacha 128-bitga erishib, isbot hajmi chegaralaridan chiqmasdan, yoki ba’zilari jimjimadorlik bilan pastroq zaxiralarni qabul qilib, og‘irroq taxminlarga tayanib yoki tekshirishni uzoqroq vaqt off-chainda qoldirishlari noma’lum.

Eng qiyin qismi matematika yoki GPUlar emas, balki to‘liq rekursiya arxitekturalarini rasmiylashtirish va auditdan o‘tkazish bo‘lishi mumkin.

EF turli zkEVMlar ko‘pincha ko‘plab sxemalarni ular orasidagi muhim “glue code” bilan birlashtirishini va bu maxsus stacklar uchun ishonchlilikni hujjatlashtirish va isbotlash muhimligini tan oladi.

Bu Verified-zkEVM va rasmiy tekshirish ramkalari kabi loyihalar uchun uzoq muddatli ishlarni ochadi, ular hali ham erta bosqichda va ekotizimlar bo‘ylab bir xil emas.

Bir yil oldin savol zkEVMlar yetarlicha tez isbotlay oladimi edi. Bu savolga javob berildi.
Endi yangi savol: ular yetarlicha ishonchli isbotlay oladimi, xavfsizlik darajasi ertaga buzilishi mumkin bo‘lgan taxminlarga tayanmaydigan, isbotlar Ethereumning P2P tarmog‘ida tarqalishi uchun yetarlicha kichik va rekursiya arxitekturalari yuzlab milliard dollarlarni mustahkamlash uchun yetarlicha rasmiy tekshirilganmi?

Ishlash bo‘yicha poyga tugadi. Xavfsizlik bo‘yicha poyga endi boshlandi.

Post Ethereum Foundation refocuses to security over speed – sets strict 128-bit rule for 2026 appeared first on CryptoSlate.