Interop yo‘l xaritasi "tezlashmoqda": Fusaka yangilanishidan so‘ng Ethereum o‘zaro ishlashi muhim bosqichga yetishi mumkin

Chainfeeds sharhi:

Agar real vaqtli ZK bo'lmasa, haqiqiy foydalanish mumkin bo'lgan Interop UX bo'lishi juda qiyin.

Maqola manbasi:

Maqola muallifi:

imToken Labs

Fikrlar:

imToken Labs: 4-dekabr kuni Ethereum Fusaka yangilanishi asosiy tarmoqda rasmiy faollashtirildi, lekin bu Dencun yangilanishi kabi katta shov-shuvga sabab bo'lmadi, bozor e'tibori ham asosan Blob kengaytmasi va PeerDAS ga qaratildi, L2 ma'lumotlar narxining yanada pasayishi haqida ko'p gapirildi. Ammo bu shov-shuvdan tashqarida, aslida ko'zga ko'rinmaydigan EIP-7825 taklifi mavjud bo'lib, u Ethereum uchun L1 zkEVM va real vaqtli isbotlash yo'lidagi eng katta to'siqni bartaraf etdi, hatto Interop yakuniy natijasi uchun poydevor yaratmoqda, deb aytish mumkin. Fusaka yangilanishida hamma e'tibori asosan kengayishga qaratildi: Blob sig'imi 8 barobar oshirildi, PeerDAS tasodifiy namunali tekshiruv bilan birga, DA (ma'lumotlar mavjudligi) yo'nalishidagi xarajatlar haqidagi hikoyani butunlay tarixga aylantirdi. Haqiqatan ham, arzonroq L2 yaxshi, lekin Ethereumning uzoq muddatli ZK yo'l xaritasi uchun EIP-7825 haqiqiy o'yin qoidalarini o'zgartiruvchi hisoblanadi, chunki u Ethereumdagi har bir tranzaksiyaga Gas limiti (taxminan 16,78 million Gas) o'rnatadi. Ma'lumki, joriy yilda Ethereum blokining Gas Limiti 60 milliongacha oshirildi, lekin hatto limit doimiy oshirilsa ham, nazariy jihatdan kimdir juda yuqori Gas Price to'lashga tayyor bo'lsa, u juda murakkab "Mega-Tranzaksiya" yuborishi mumkin, bu esa butun blokning 60 million Gas sig'imini to'ldirib, butun blokni to'sib qo'yadi. Xo'sh, nega har bir tranzaksiya hajmini cheklash kerak? Aslida, bu o'zgarish oddiy foydalanuvchilarning pul o'tkazmalariga umuman ta'sir qilmaydi, lekin ZK Prover (isbot generatori) uchun bu hayot-mamot masalasi, bu esa ZK tizimining isbot yaratish usuli bilan bevosita bog'liq. Oddiy misol keltirsak, EIP-7825 dan oldin, agar blokda 60 million Gas sarflaydigan "Mega-Tranzaksiya" bo'lsa, ZK Prover bu juda murakkab tranzaksiyani ketma-ket bajarishi kerak, uni bo'lish yoki parallel ishlash mumkin emas, bu esa bir yo'lli avtomagistralda oldinda juda sekin harakatlanayotgan ulkan yuk mashinasi borligi, orqadagi barcha kichik mashinalar (boshqa tranzaksiyalar) esa uning o'tib ketishini kutishga majbur bo'lishi bilan bir xil. Bu esa "real vaqtli isbotlash"ga bevosita hukm chiqaradi — chunki isbot yaratish vaqti butunlay nazoratsiz bo'lib qoladi, bu o'nlab daqiqalar yoki undan ham ko'proq vaqt talab qilishi mumkin. EIP-7825 dan so'ng esa, kelajakda blok sig'imi 100 million Gasgacha oshirilsa ham, har bir tranzaksiya majburan 16,78 million Gas bilan cheklanadi, har bir blok esa oldindan aytib bo'ladigan, chegaralangan va parallel ishlash mumkin bo'lgan "kichik vazifa birliklari"ga bo'linadi, bu esa Ethereumda isbot yaratishni murakkab "mantiqiy muammo"dan sof "hisoblash quvvati muammosi (Money Problem)"ga aylantiradi: agar yetarlicha ko'p parallel hisoblash quvvatiga ega bo'lsak, ushbu bo'lingan kichik vazifalarni bir vaqtning o'zida juda qisqa muddatda bajarishimiz va katta bloklar uchun ZK isbot yaratishimiz mumkin bo'ladi. Biroq, EIP-7825 har bir tranzaksiya hajmini cheklash orqali real vaqtli isbotlash uchun jismoniy yo'l ochib bergan bo'lsa-da (parallel ishlash mumkinligi), bu faqat tanganing bir tomoni, ikkinchi tomoni esa Ethereum asosiy tarmog'i ushbu imkoniyatdan qanday foydalanadi? Bu esa Ethereum yo'l xaritasidagi eng asosiy hikoyaga — L1 zkEVM ga taalluqli. Uzoq vaqt davomida zkEVM Ethereumni kengaytirish uchun "muqaddas graal" deb hisoblangan, nafaqat u unumdorlik muammosini hal qilishi mumkinligi uchun, balki u blokcheynning ishonch mexanizmini qayta belgilashi uchun ham, uning asosiy g'oyasi Ethereum asosiy tarmog'iga ZK isbotlarni yaratish va tekshirish imkoniyatini berishdir. Boshqacha aytganda, kelajakda Ethereumning har bir bloki bajarilgandan so'ng, tekshiriladigan matematik isbot chiqarishi mumkin, bu esa boshqa tugunlar (ayniqsa, yengil tugunlar va L2) natijaning to'g'riligini qayta hisoblamasdan tasdiqlashlari mumkin bo'ladi — agar ZK isbot yaratish imkoniyati Ethereum protokol qatlamiga (L1) bevosita yozilsa, taklif qiluvchi (Proposer) har bir blokni to'plab, ZK isbot yaratganda, tekshiruvchi tugunlar tranzaksiyalarni qayta ishlashlari shart bo'lmaydi, faqat ushbu juda kichik matematik isbotni tekshirish kifoya bo'ladi.