Ethereum tarixidagi eng yirik yangilanishga tayyor: EVM o‘chiriladi, RISC-V boshqaruvni qo‘lga oladi

Asl sarlavha: Goodbye EVM, Hello RISC-V

Asl muallif: jaehaerys.eth, kripto tadqiqotchisi

Asl tarjima: TechFlow Deep Tide

Xulosa

Ethereum o‘z tarixidagi eng muhim arxitektura o‘zgarishiga tayyorlanmoqda: EVM o‘rniga RISC-V joriy etiladi.

Sabab oddiy — nol bilimli isbotlar (ZK) asosidagi kelajakda EVM allaqachon unumdorlik bo‘yicha to‘siqqa aylangan:

· Hozirgi zkEVM interpretatorga tayanadi, bu esa 50–800 barobar sekin ishlashga olib keladi;

· Oldindan kompilyatsiyalangan modullar protokolni murakkablashtiradi va xavfni oshiradi;

· 256-bitli stack dizayni isbot yaratishda juda samarasiz.

RISC-V yechimi:

· Juda soddalashtirilgan dizayn (taxminan 47 asosiy buyruq) + rivojlangan LLVM ekotizimi (Rust, C++, Go va boshqa tillarni qo‘llab-quvvatlaydi);

· Amalda zkVM standarti bo‘lib qoldi (loyihalarning 90% foydalanadi);

· Rasmiy SAIL spetsifikatsiyasi mavjud (noaniq Yellow Paper bilan solishtirganda) → qat’iy verifikatsiyani amalga oshirish;

· Aparatli isbot yo‘li (ASICs/FPGAs) allaqachon testda (SP1, Nervos, Cartesi va boshqalar).

Ko‘chish jarayoni uch bosqichdan iborat:

· RISC-V ni oldindan kompilyatsiyalangan modul sifatida almashtirish (past xavfli test);

· Ikki virtual mashina davri: EVM va RISC-V birga mavjud va to‘liq o‘zaro ishlaydi;

· EVM ni RISC-V ichida qayta amalga oshirish (Rosetta strategiyasi).

Ekotizimga ta’siri:

· Optimistik Rolluplar (masalan, Arbitrum va Optimism) firibgarlik isbotini qayta qurishi kerak bo‘ladi;

· Nol bilimli Rolluplar (masalan, Polygon, zkSync, Scroll) katta ustunlikka ega bo‘ladi → arzonroq, tezroq, sodda;

· Dasturchilar L1 qatlamida Rust, Go va Python kabi tillar kutubxonalaridan to‘g‘ridan-to‘g‘ri foydalanishi mumkin bo‘ladi;

· Foydalanuvchilar isbotlash xarajatining taxminan 100 barobar pasayishidan bahramand bo‘ladi → Gigagas L1 sari yo‘l (taxminan 10,000 TPS).

Oxir-oqibat, Ethereum “aqlli kontrakt virtual mashinasi”dan internetning soddalashtirilgan va verifikatsiyalanadigan ishonch qatlamiga evolyutsiyalanadi, uning yakuniy maqsadi “hamma narsani ZK-Snark qilish” bo‘ladi.

Ethereumning chorrahasi

Vitalik Buterin shunday degan edi: “Yakuniy nuqta... hamma narsani ZK-Snark qilishdan iborat.”

Nol bilimli isbotlar (ZK) kelajagi muqarrar, va asosiy dalil juda oddiy: Ethereum boshidan boshlab o‘zini ZK asosida qayta qurmoqda. Bu protokolning texnik yakuniy nuqtasini bildiradi — L1 ni qayta qurish orqali, asosiy ishlab chiquvchi jamoalar (Succinct kabi) tomonidan qo‘llab-quvvatlanadigan yuqori unumli zkVM asosida ishlash.

Mana shu tasavvur bilan Ethereum o‘z tarixidagi eng muhim arxitektura o‘zgarishiga yaqinlashmoqda. Bu endi bosqichma-bosqich yangilanish emas, balki hisoblash yadrosini to‘liq qayta qurish — Ethereum Virtual Machine (EVM)ni almashtirish haqida. Bu harakat “Lean Ethereum” (Soddalashtirilgan Ethereum) konsepsiyasining asosidir.

Lean Ethereum konsepsiyasi butun protokolni tizimli soddalashtirishga, uni uchta asosiy modulga bo‘lishga qaratilgan: Lean Consensus, Lean Data va Lean Execution. Lean Executiondagi eng muhim savol: aqlli kontrakt inqilobining dvigateli bo‘lgan EVM, Ethereumning kelajak rivojlanishida asosiy to‘siqqa aylanib qolmadimi?

Ethereum Foundation’dan Justin Drake aytganidek, Ethereumning uzoq muddatli maqsadi har doim “hamma narsani Snark qilish” bo‘lgan, bu esa protokolning barcha qatlamlarini kuchaytiradigan kuchli vosita. Ammo uzoq vaqt davomida bu “erishib bo‘lmas reja” edi, chunki bu real vaqtli isbotlash (real-time proving) konsepsiyasini talab qilardi. Endi esa, real vaqtli isbotlash haqiqatga aylana boshlagach, EVMning nazariy samarasizligi amaliy muammoga aylandi.

Ushbu maqolada Ethereum L1 ni RISC-V buyruqlar to‘plami arxitekturasiga (ISA) o‘tkazishning texnik va strategik asoslari chuqur tahlil qilinadi. Bu nafaqat misli ko‘rilmagan kengayuvchanlikni ochib beradi, balki protokol tuzilishini soddalashtiradi va Ethereumni verifikatsiyalanadigan hisoblash kelajagi bilan moslashtiradi.

Nima o‘zgarmoqda?

“Nima uchun”ni muhokama qilishdan oldin, avvalo “nima” o‘zgaryapti, aniqlash kerak.

EVM (Ethereum Virtual Machine) — Ethereum aqlli kontraktlari uchun bajarilish muhiti, tranzaksiyalarni qayta ishlash va blokcheyn holatini yangilash uchun “dunyo kompyuteri” deb ataladi. Yillar davomida uning dizayni inqilobiy bo‘lib, DeFi va NFT ekotizimining paydo bo‘lishiga zamin yaratdi. Ammo, deyarli o‘n yil oldingi maxsus arxitektura hozirda katta texnik qarzga ega bo‘ldi.

Bunga qarama-qarshi, RISC-V mahsulot emas, balki ochiq standart — bepul, umumiy protsessor dizayni “alfaviti”. Jeremy Bruestle Ethproofs konferensiyasida ta’kidlaganidek, uning asosiy tamoyillari uni bu rol uchun ajoyib tanlovga aylantiradi:

· Minimalizm: RISC-V asosiy buyruqlar to‘plami juda sodda, atigi 40-47 ta buyruqdan iborat. Jeremy aytganidek, bu uni “bizga kerak bo‘lgan juda soddalashtirilgan umumiy mashina uchun deyarli mukammal qiladi”.

· Modulli dizayn: Murakkabroq funksiyalar ixtiyoriy kengaytmalar orqali qo‘shiladi. Bu xususiyat juda muhim, chunki u yadroni sodda saqlashga imkon beradi va zaruratga qarab funksiyalarni kengaytiradi, ortiqcha murakkablikni asosiy protokolga yuklamaydi.

· Ochiq ekotizim: RISC-V keng va rivojlangan asboblar zanjiriga ega, jumladan LLVM kompilyatori, bu dasturchilarga Rust, C++ va Go kabi mashhur dasturlash tillaridan foydalanish imkonini beradi. Justin Drake aytganidek: “Kompilyator atrofidagi asboblar juda boy, kompilyator qurish esa juda qiyin... Shuning uchun bu kompilyator asboblar zanjiriga ega bo‘lish juda qimmatli.” RISC-V Ethereumga bu asboblarni bepul meros qilib olish imkonini beradi.

Interpretator xarajatlari muammosi

EVMni almashtirishga turtki bo‘layotgan sabab bitta nuqson emas, balki bir nechta asosiy cheklovlarning jamlanmasidir, bu muammolar ZK asosidagi kelajakda e’tibordan chetda qolmaydi. Bu cheklovlar ZK tizimlaridagi unumdorlik to‘siqlari va protokol ichidagi ortib borayotgan murakkablikdan kelib chiqadigan xavflarni o‘z ichiga oladi.

Bu o‘zgarishning eng dolzarb sababi — EVMning ZK tizimlaridagi tug‘ma samarasizligi. Ethereum ZK isbotlar orqali L1 holatini tekshirish modeliga o‘tayotgani sari, prover unumdorligi eng katta to‘siqqa aylanmoqda.

Muammo hozirgi zkEVM ishlash usulida. Ular EVMni to‘g‘ridan-to‘g‘ri ZK isbot qilmaydi, balki EVM interpretatorini isbotlaydi, interpretator esa o‘zi RISC-V ga kompilyatsiya qilingan. Vitalik Buterin bu asosiy muammoni ochiq aytgan:

“...Agar zkVM EVM bajarilishini oxir-oqibat RISC-V kodiga kompilyatsiya qilish orqali amalga oshirsa, nega pastki qatlamdagi RISC-V ni to‘g‘ridan-to‘g‘ri aqlli kontrakt dasturchilariga ochib bermaslik kerak? Bu butun tashqi virtual mashina xarajatini butunlay yo‘q qiladi.”

Bu qo‘shimcha interpretatsiya qatlami katta unumdorlik yo‘qotishiga olib keladi. Baholashlar shuni ko‘rsatadiki, asl dastur isbotiga nisbatan bu qatlam 50 dan 800 barobargacha sekinlashtirishi mumkin. Boshqa to‘siqlar (masalan, Poseidon hash algoritmiga o‘tish orqali) optimallashtirilgandan so‘ng ham, bu “blok bajarilishi” barcha isbot vaqtining 80-90% ini egallaydi va EVM L1 kengayishini eng qiyin to‘siqqa aylantiradi. Bu qatlamni olib tashlash orqali, Vitalik bajarilish samaradorligi 100 barobar oshishini kutmoqda.

Texnik qarz tuzog‘i

EVMning ayrim kriptografik operatsiyalardagi samarasizligini qoplash uchun Ethereum oldindan kompilyatsiyalangan kontraktlarni joriy etdi — protokolga to‘g‘ridan-to‘g‘ri kodlangan maxsus funksiyalar. O‘sha paytda bu amaliy yechim bo‘lsa-da, hozir Vitalik Buterin “yomon” deb atagan holatga olib keldi:

“Oldindan kompilyatsiyalangan kontraktlar biz uchun falokatli... Ular Ethereumning ishonchli kod bazasini juda kattalashtirdi... va ular bir necha marta deyarli konsensus muvaffaqiyatsizligiga olib kelgan jiddiy muammolarni keltirib chiqardi.”

Bu murakkablik hayratlanarli. Vitalik misol keltiradi, bitta oldindan kompilyatsiyalangan kontrakt (masalan, modexp) uchun o‘ram kodlari butun RISC-V interpretatoridan murakkabroq, asl logika esa yanada chalkash. Yangi oldindan kompilyatsiyalangan kontrakt qo‘shish sekin va siyosiy bahsli hard fork jarayonini talab qiladi, bu esa yangi kriptografik primitivlar kerak bo‘lgan ilovalar innovatsiyasini jiddiy to‘xtatadi. Bu borada Vitalik aniq xulosaga keladi:

“Menimcha, biz bugundan boshlab yangi oldindan kompilyatsiyalangan kontraktlarni qo‘shishni to‘xtatishimiz kerak.”

Ethereum arxitekturasining texnik qarzi

EVMning asosiy dizayni o‘tgan davr ustuvorliklarini aks ettiradi, ammo u zamonaviy hisoblash ehtiyojlariga mos emas. EVM 256-bitli arxitektura tanlagan, bu kriptografik qiymatlarni qayta ishlash uchun, lekin aqlli kontraktlarda odatda ishlatiladigan 32 yoki 64-bitli butun sonlar uchun bu juda samarasiz. Bu samarasizlik ZK tizimlarida ayniqsa qimmatga tushadi. Vitalik tushuntirganidek:

“Kichikroq sonlardan foydalanganda, har bir son aslida hech qanday resurs tejamaydi, murakkablik esa ikki-to‘rt barobar oshadi.”

Bundan tashqari, EVM stack arxitekturasi RISC-V va zamonaviy CPU’larning registr arxitekturasiga nisbatan samarasizroq. U bir xil operatsiyani bajarish uchun ko‘proq buyruq talab qiladi va kompilyator optimallashtirishini ham murakkablashtiradi.

Bu muammolar — ZK isbotlardagi unumdorlik to‘siqlari, oldindan kompilyatsiyalangan kontraktlardagi murakkablik va eskirgan arxitektura tanlovi — Ethereum EVMdan o‘tib, kelajakka mos texnologik arxitekturani qabul qilishi uchun yetarlicha asos va zaruratni yuzaga keltiradi.

RISC-V rejası: Ethereum kelajagini kuchliroq asosda qayta qurish

RISC-Vning ustunligi faqat EVMning kamchiliklarida emas, balki uning dizayn falsafasining ichki kuchida. Uning arxitekturasi xavfli muhitlar uchun juda mos bo‘lgan mustahkam, sodda va verifikatsiyalanadigan asosni taqdim etadi.

Nega ochiq standart maxsus dizayndan ustun?

Nol asosdan butun dasturiy ekotizimni qurishni talab qiladigan maxsus buyruqlar to‘plami arxitekturasidan (ISA) farqli o‘laroq, RISC-V — bu rivojlangan ochiq standart bo‘lib, uchta asosiy ustunlikka ega:

Rivojlangan ekotizim

RISC-Vni qabul qilish orqali Ethereum kompyuter fanidagi o‘n yilliklar davomida to‘plangan yutuqlardan foydalanishi mumkin. Justin Drake tushuntirganidek, bu Ethereumga dunyo darajasidagi asboblarni to‘g‘ridan-to‘g‘ri ishlatish imkonini beradi:

“LLVM deb nomlangan infratuzilma komponenti bor, bu kompilyator asboblar zanjiri bo‘lib, yuqori darajadagi dasturlash tillarini bir nechta backend maqsadlaridan biriga kompilyatsiya qilish imkonini beradi. Qo‘llab-quvvatlanadigan backendlardan biri RISC-V. Shunday ekan, RISC-Vni qo‘llab-quvvatlasangiz, avtomatik ravishda LLVM qo‘llab-quvvatlaydigan barcha yuqori darajadagi tillarni ham qo‘llab-quvvatlaysiz.”

Bu dasturchilar uchun kirish to‘siqlarini sezilarli darajada pasaytiradi, Rust, C++ va Go kabi tillarni biladigan millionlab dasturchilar uchun imkoniyatlar ochadi.

Minimalistik dizayn falsafasi RISC-Vning minimalizmi cheklov emas, balki ataylab tanlangan xususiyat. Uning asosiy buyruqlar to‘plami atigi 47 ta buyruqdan iborat bo‘lib, virtual mashina yadrosini juda sodda saqlaydi. Bu soddalik xavfsizlikda katta ustunlik beradi, chunki kichikroq ishonchli kod bazasini audit qilish va formal verifikatsiya qilish osonroq.

ZK isbotlar sohasida de-fakto standart Yana muhim jihati, zkVM ekotizimi allaqachon tanlov qilgan. Justin Drake ta’kidlaganidek, Ethproofs ma’lumotlaridan aniq tendensiyani ko‘rish mumkin:

“RISC-V — zkVM backend uchun yetakchi buyruqlar to‘plami arxitekturasi (ISA).”

Ethereum bloklarini isbotlay oladigan o‘nta zkVMdan to‘qqiztasi RISC-Vni maqsadli arxitektura sifatida tanlagan. Bu bozor konsolidatsiyasi kuchli signal beradi: Ethereum RISC-Vni qabul qilish orqali spekulyativ tajriba qilmayapti, balki allaqachon amalda isbotlangan va ZK kelajagini qurayotgan loyihalar tanlagan standartga moslashmoqda.

Ishonch uchun yaratilgan, faqat bajarish uchun emas

Keng ekotizimdan tashqari, RISC-Vning ichki arxitekturasi ham xavfsiz va verifikatsiyalanadigan tizimlar qurish uchun ayniqsa mos. Avvalo, RISC-V rasmiy, mashina o‘qiy oladigan SAIL spetsifikatsiyasiga ega. Bu EVMning asosan matnli Yellow Paper’dagi spetsifikatsiyasidan katta taraqqiyot. Yellow Paperda noaniqliklar bor, SAIL esa “oltin standart”ni ta’minlaydi va muhim matematik to‘g‘rilik isbotlarini qo‘llab-quvvatlaydi, bu esa katta qiymatga ega protokollarni himoya qilish uchun juda muhim. Ethereum Foundation’dan (EF) Alex Hicks Ethproofs konferensiyasida ta’kidlaganidek, bu zkVM zanjirlarini “rasmiy RISC-V spetsifikatsiyasi bilan to‘g‘ridan-to‘g‘ri tekshirish” imkonini beradi. Ikkinchidan, RISC-V maxsus imtiyozli arxitekturaga ega, bu ko‘pincha e’tibordan chetda qoladi, lekin xavfsizlik uchun juda muhim. U turli operatsion darajalarni belgilaydi, asosan foydalanuvchi rejimi (ishonchsiz ilovalar, masalan, aqlli kontraktlar uchun) va supervizor rejimi (ishonchli “bajarish yadrosi” uchun). Cartesi’dan Diego bu haqda batafsil tushuntiradi:

“Operatsion tizim o‘zi boshqa kodlardan himoyalanishi kerak. U turli dasturlarni bir-biridan ajratib ishlatishi kerak, va bu mexanizmlarning barchasi RISC-V standartining bir qismi.”

RISC-V arxitekturasida foydalanuvchi rejimida (User Mode) ishlaydigan aqlli kontraktlar blokcheyn holatiga to‘g‘ridan-to‘g‘ri kira olmaydi. Buning o‘rniga, ular maxsus ECALL (muhit chaqiruvi) buyrug‘i orqali supervizor rejimida (Supervisor Mode) ishlaydigan ishonchli yadroga so‘rov yuboradi. Bu mexanizm apparat darajasida majburlanadigan xavfsizlik chegarasini yaratadi, bu EVMning faqat dasturiy sandboxga tayanadigan modelidan mustahkam va oson verifikatsiyalanadigan hisoblanadi.

Vitalikning tasavvuri

Bu o‘zgarish tizim barqarorligi va orqaga moslikni ta’minlash uchun bosqichma-bosqich, ko‘p bosqichli jarayon sifatida ko‘zda tutilgan. Ethereum asoschisi Vitalik Buterin ta’kidlaganidek, bu usul “evolyutsion” rivojlanishga, to‘liq “inqilobiy” o‘zgarish emas, erishishga qaratilgan.

Birinchi qadam: Oldindan kompilyatsiyalangan o‘rnini bosish

Boshlang‘ich bosqich eng konservativ usulni tanlaydi, yangi virtual mashinaning (VM) cheklangan funksiyalarini joriy etadi. Vitalik Buterin taklif qilganidek: “Biz yangi VMni cheklangan ssenariylarda, masalan, oldindan kompilyatsiyalangan funksiyalarni almashtirishda ishlatishni boshlashimiz mumkin.” Aniqrog‘i, bu yangi EVM oldindan kompilyatsiyalangan funksiyalarini to‘xtatadi, o‘rniga oq ro‘yxat orqali tasdiqlangan RISC-V dasturlari kerakli funksiyalarni amalga oshiradi. Bu usul yangi VMni asosiy tarmoqda past xavfli muhitda real testdan o‘tkazish imkonini beradi, shu bilan birga Ethereum mijozlari ikki bajarilish muhiti o‘rtasida vositachi bo‘lib xizmat qiladi.

Ikkinchi qadam: Ikki virtual mashina birga mavjud

Keyingi bosqichda “yangi VM to‘g‘ridan-to‘g‘ri foydalanuvchilarga ochiladi”. Aqlli kontraktlar bayroq orqali o‘z bayt kodini EVM yoki RISC-V ekanligini ko‘rsatishi mumkin. Asosiy xususiyat — uzluksiz o‘zaro ishlash: “Ikkala turdagi kontraktlar bir-birini chaqira oladi.” Bu imkoniyat tizim chaqiruvi (ECALL) orqali amalga oshiriladi, ikki virtual mashina bir ekotizimda hamkorlikda ishlaydi.

Uchinchi qadam: EVMni emulyatsiya kontrakti sifatida (“Rosetta” strategiyasi)

Yakuniy maqsad — protokolni maksimal soddalashtirish. Bu bosqichda “EVMni yangi VM ichida bir implementatsiya sifatida ishlatamiz.” Standartlashtirilgan EVM rasmiy verifikatsiyalangan aqlli kontrakt sifatida tabiiy RISC-V L1da ishlaydi. Bu nafaqat eski ilovalarni doimiy qo‘llab-quvvatlashni ta’minlaydi, balki mijoz dasturchilariga faqat bitta soddalashtirilgan bajarilish dvigatelini saqlash imkonini beradi, bu esa murakkablik va xizmat ko‘rsatish xarajatlarini sezilarli kamaytiradi.

Ekotizimdagi to‘lqinli ta’sirlar

EVMdan RISC-Vga o‘tish faqat asosiy protokol o‘zgarishi emas, balki butun Ethereum ekotizimiga chuqur ta’sir qiladi. Bu o‘zgarish nafaqat dasturchilar tajribasini o‘zgartiradi, balki Layer-2 yechimlarining raqobat muhitini tubdan o‘zgartiradi va yangi iqtisodiy verifikatsiya modellarini ochadi.

Rolluplarning qayta joylashuvi: Optimistic va ZK to‘qnashuvi

L1 qatlamida RISC-V bajarilish qatlamini qabul qilish ikki asosiy turdagi Rolluplarga mutlaqo turlicha ta’sir qiladi.

Optimistic Rolluplar (masalan, Arbitrum, Optimism) arxitektura muammosiga duch keladi. Ularning xavfsizlik modeli L1 EVMda bahsli tranzaksiyalarni qayta bajarish orqali firibgarlik isbotini hal qilishga tayanadi. Agar L1 EVM almashtirilsa, bu model butunlay buziladi. Bu loyihalar qiyin tanlovga duch keladi: yoki yangi L1 VM uchun firibgarlik isbot tizimini ishlab chiqish uchun katta muhandislik o‘zgarishlarini amalga oshirish, yoki Ethereum xavfsizlik modelidan butunlay chiqib ketish.

Bunga qarama-qarshi, ZK Rolluplar katta strategik ustunlikka ega bo‘ladi. ZK Rolluplarning aksariyati allaqachon RISC-Vni ichki buyruqlar to‘plami arxitekturasi sifatida qabul qilgan. “Bir xil til”da gaplashadigan L1 ularga yanada yaqin va samarali integratsiyani amalga oshirish imkonini beradi. Justin Drake “tubdan Rollup” kelajagini tasvirlaydi: L2 aslida L1ning o‘z bajarilish muhitining maxsuslashtirilgan namunasi bo‘lib, L1ning ichki VMidan foydalanib, uzluksiz hisob-kitob qiladi. Bu moslashuv quyidagilarni olib keladi:

· Texnik stack soddalashadi: L2 jamoalari endi ichki RISC-V bajarilish muhiti va EVM o‘rtasida murakkab ko‘prik mexanizmlari qurishga hojat qolmaydi.

· Asbob va koddan qayta foydalanish: L1 RISC-V muhiti uchun ishlab chiqilgan kompilyator, debugger va formal verifikatsiya asboblari to‘g‘ridan-to‘g‘ri L2da ishlatilishi mumkin, bu esa ishlab chiqish xarajatlarini sezilarli kamaytiradi.

· Iqtisodiy rag‘batlar moslashuvi: L1 gaz xarajatlari RISC-V asosidagi ZK isbotlarning haqiqiy qiymatini aniqroq aks ettiradi va yanada oqilona iqtisodiy modelga olib keladi.

Dasturchilar va foydalanuvchilar uchun yangi davr

Ethereum dasturchilari uchun bu o‘zgarish bosqichma-bosqich, buzuvchi emas.

Dasturchilar yanada keng va rivojlangan dasturiy ekotizimga kirish imkoniga ega bo‘ladi. Vitalik Buterin ta’kidlaganidek, dasturchilar “Rustda kontrakt yozishlari mumkin, va bu variantlar birga mavjud bo‘ladi”. Shu bilan birga, u “Solidity va Vyper hali uzoq vaqt davomida aqlli kontrakt logikasidagi nafisligi uchun mashhur bo‘lib qoladi” deb taxmin qiladi. LLVM asboblar zanjiri orqali asosiy dasturlash tillari va ularning katta kutubxonalaridan foydalanish bu o‘zgarishni inqilobiy qiladi. Vitalik buni “NodeJS uslubidagi tajriba”ga o‘xshatadi, ya’ni dasturchilar bir xil tilda onchain va offchain kod yozishi mumkin, bu esa ishlab chiqishni birlashtiradi.

Foydalanuvchilar uchun bu o‘zgarish oxir-oqibat yanada arzon va yuqori unumli tarmoq tajribasini olib keladi. Isbotlash xarajatlari taxminan 100 barobar kamayadi, har bir tranzaksiya uchun bir necha dollar o‘rniga bir necha sent yoki undan ham kam bo‘ladi. Bu to‘g‘ridan-to‘g‘ri L1 va L2 hisob-kitob xarajatlarining pasayishiga olib keladi. Bu iqtisodiy imkoniyat “Gigagas L1” tasavvurini ochadi, maqsad — taxminan 10,000 TPSga erishish, bu esa kelajakda yanada murakkab va yuqori qiymatli onchain ilovalar uchun yo‘l ochadi.

Succinct Labs va SP1: Hozirda isbotlash kelajagini qurish

Ethereum kuch yig‘moqda. “L1ni kengaytirish, bloklarni kengaytirish” — EF protokol klasteridagi strategik dolzarb vazifa. Yaqin 6-12 oy ichida sezilarli unumdorlik oshishi kutilmoqda.

Succinct Labs kabi jamoalar allaqachon amalda RISC-Vning nazariy ustunligini ko‘rsatmoqda, ularning ishlari bu taklifni tasdiqlovchi kuchli dalil bo‘lib xizmat qilmoqda.

Succinct Labs ishlab chiqqan SP1 — RISC-V asosidagi yuqori unumli, ochiq manbali zkVM bo‘lib, yangi arxitektura yondashuvining amaliyotda ishlashini isbotladi. SP1 “oldindan kompilyatsiyalangan markaziy” (precompile-centric) falsafani qabul qilib, EVMning kriptografik to‘siqlarini mukammal hal qiladi. An’anaviy sekin va qattiq kodlangan oldindan kompilyatsiyalangan usullardan farqli o‘laroq, SP1 Keccak hash kabi intensiv operatsiyalarni maxsus ishlab chiqilgan, qo‘lda optimallashtirilgan ZK zanjirlariga yuklaydi va ularni standart ECALL buyrug‘i orqali chaqiradi. Bu usul maxsus apparat unumdorligi va dasturiy ta’minot moslashuvchanligini birlashtirib, dasturchilarga yanada samarali va kengayuvchan yechim beradi.

Succinct Labsning amaliy ta’siri allaqachon sezilmoqda. Ularning OP Succinct mahsuloti SP1dan foydalanib, Optimistic Rolluplarga nol bilimli isbot (ZK-ify) imkonini beradi. Succinct hammuassisi Uma Roy tushuntirganidek:

“OP Stackdan foydalanadigan Rollup uchun, endi yakuniy tasdiqlash va yechib olish uchun yetti kun kutishga hojat yo‘q... Endi tasdiqlash atigi bir soatda amalga oshadi. Bu tezlik oshishi juda ajoyib.”

Bu yutuq butun OP Stack ekotizimining asosiy muammosini hal qiladi. Bundan tashqari, Succinctning infratuzilmasi — Succinct Prover Network — markazsiz isbot ishlab chiqarish bozori sifatida loyihalangan bo‘lib, kelajakda verifikatsiyalanadigan hisoblash uchun amaliy iqtisodiy modelni namoyish etadi. Ularning ishlari nafaqat konseptual isbot, balki maqolada tasvirlangan kelajak uchun amaliy reja hamdir.

Ethereum qanday qilib xavfni kamaytiradi

RISC-Vning katta ustunligi shundaki, u formal verifikatsiya muqaddas graalini — tizim to‘g‘riligini matematik isbotlash orqali — amalga oshirish imkonini beradi. EVM spetsifikatsiyasi Yellow Paper’da tabiiy tilda yozilgan, formalizatsiya qilish qiyin. RISC-V esa rasmiy, mashina o‘qiy oladigan SAIL spetsifikatsiyasiga ega, bu esa uning harakatlariga aniq “oltin standart” beradi.

Bu kuchliroq xavfsizlik uchun yo‘l ochadi. Ethereum Foundation’dan Alex Hicks ta’kidlaganidek, hozirda “zkVM RISC-V zanjirlarini rasmiy RISC-V spetsifikatsiyasidan Lean’ga chiqarib, formal verifikatsiya qilish” ustida ish olib borilmoqda. Bu muhim bosqich bo‘lib, ishonchni xatolarga moyil insoniy implementatsiyadan matematik isbotga o‘tkazadi va blokcheyn xavfsizligini yangi bosqichga olib chiqadi.

Transformatsiyaning asosiy xavflari

RISC-V arxitekturasidagi L1 ko‘plab ustunliklarga ega bo‘lsa-da, u yangi murakkab muammolarni ham keltirib chiqaradi.

Gaz o‘lchash muammosi

Umumiy buyruqlar to‘plami arxitekturasi (ISA) uchun deterministik va adolatli gaz modeli yaratish hali yechimi topilmagan muammo. Oddiy buyruq sanash usuli xizmatdan bosh tortish hujumlariga moyil. Masalan, hujumchi dastur tuzib, keshga urilmaslikni qayta-qayta chaqirishi mumkin, bu esa juda past gaz xarajati bilan yuqori resurs sarfini keltirib chiqaradi. Bu muammo tarmoq barqarorligi va iqtisodiy model uchun jiddiy xavf tug‘diradi.

Asboblar zanjiri xavfsizligi va “takrorlanadigan qurilish” muammosi

Bu transformatsiya jarayonidagi eng muhim va ko‘pincha baholanmaydigan xavf. Xavfsizlik modeli zanjirdagi virtual mashinadan zanjirdan tashqaridagi kompilyatorlarga (masalan, LLVM) o‘tadi, ular esa juda murakkab va ma’lum zaifliklarga ega. Hujumchi kompilyator zaifligidan foydalanib, bexavf ko‘rinadigan manba kodini zararli bayt kodga aylantirishi mumkin. Bundan tashqari, zanjirdagi kompilyatsiyalangan binar fayl ochiq manba kodi bilan to‘liq mos kelishini ta’minlash, ya’ni “takrorlanadigan qurilish” muammosi ham juda qiyin. Qurilish muhitidagi kichik farqlar turli binar fayllarni keltirib chiqarishi mumkin, bu esa shaffoflik va ishonchga ta’sir qiladi. Bu muammolar dasturchilar va foydalanuvchilar xavfsizligi uchun jiddiy sinovdir.

Yumshatish strategiyalari

Oldinga yo‘l ko‘p qatlamli himoya strategiyalarini talab qiladi.

Bosqichma-bosqich joriy etish

Bosqichma-bosqich, ko‘p bosqichli o‘tish rejasini qabul qilish xavfni yumshatishning asosiy strategiyasidir. Avval RISC-Vni oldindan kompilyatsiyalangan o‘rnini bosuvchi sifatida joriy qilish, so‘ng ikki virtual mashina muhitida ishlatish orqali, hamjamiyat past xavfli muhitda tajriba to‘playdi va ishonch hosil qiladi, orqaga qaytarib bo‘lmaydigan o‘zgarishlardan qochadi. Bu bosqichma-bosqich usul texnologik transformatsiya uchun barqaror asos yaratadi.

To‘liq audit: Fuzz testing va formal verifikatsiya

Formal verifikatsiya yakuniy maqsad bo‘lsa-da, u doimiy va intensiv testlar bilan birga bo‘lishi kerak. Diligence Security’dan Valentine Ethproofs konferensiyasida ko‘rsatganidek, ularning Argus fuzz testing asbobi yetakchi zkVMlarda 11 ta muhim yaxlitlik va to‘liqlik zaifligini aniqladi. Bu shuni ko‘rsatadiki, eng yaxshi dizayn qilingan tizimlarda ham faqat qat’iy qarama-qarshi testlar orqali aniqlanadigan zaifliklar bo‘lishi mumkin. Fuzz testing va formal verifikatsiyaning kombinatsiyasi tizim xavfsizligini kuchaytiradi.

Standartlashtirish

Ekotizimning bo‘linishini oldini olish uchun hamjamiyat yagona, standartlashtirilgan RISC-V konfiguratsiyasini qabul qilishi kerak. Bu, ehtimol, RV64GC va Linux bilan mos ABI kombinatsiyasi bo‘ladi, chunki bu kombinatsiya asosiy dasturlash tillari va asboblarida eng keng qo‘llab-quvvatlanadi va yangi ekotizimning afzalliklarini maksimal oshiradi. Standartlashtirish nafaqat dasturchilar samaradorligini oshiradi, balki ekotizimning uzoq muddatli rivojlanishi uchun mustahkam asos yaratadi.

Ethereumning verifikatsiyalanadigan kelajagi

Ethereum Virtual Machine (EVM) o‘rniga RISC-Vni joriy etish taklifi oddiy bosqichma-bosqich yangilanish emas, balki Ethereum bajarilish qatlamining tubdan qayta qurilishi hisoblanadi. Bu jasoratli tasavvur chuqur kengayuvchanlik to‘siqlarini hal qilish, protokol murakkabligini soddalashtirish va platformani umumiy hisoblash sohasidagi keng ekotizim bilan moslashtirishga qaratilgan. Bu transformatsiya katta texnik va ijtimoiy muammolarga duch kelsa-da, uning uzoq muddatli strategik foydalari bu jasoratli harakatni oqlaydi.

Bu transformatsiya bir qator asosiy muvozanatlarga e’tibor qaratadi:

· ZK tabiiy arxitekturasi olib keladigan katta unumdorlik oshishi va orqaga moslikka bo‘lgan kuchli ehtiyoj o‘rtasidagi muvozanat;

· Protokolni soddalashtirish orqali xavfsizlik ustunligi va EVMning katta tarmoq effekti inertsiyasi o‘rtasidagi muvozanat;

· Umumiy ekotizimning kuchli imkoniyatlari va murakkab uchinchi tomon asboblar zanjiriga tayanish xavfi o‘rtasidagi tanlov.

Oxir-oqibat, bu arxitektura transformatsiyasi “Lean Execution” va’dasini amalga oshirishning kaliti, shuningdek, “Lean Ethereum” tasavvurining muhim qismi bo‘ladi. Bu Ethereum L1ni oddiy aqlli kontrakt platformasidan samarali va xavfsiz hisob-kitob va ma’lumot mavjudligi qatlamiga aylantiradi, keng verifikatsiyalanadigan hisoblash olamini qo‘llab-quvvatlash uchun mo‘ljallangan.

Vitalik Buterin aytganidek, “Yakuniy nuqta... hamma narsani ZK-snark qilish.”

Ethproofs kabi loyihalar bu transformatsiyaga ob’ektiv ma’lumot va hamkorlik platformasi taqdim etsa, Succinct Labs jamoasi o‘zining SP1 zkVM amaliyoti orqali bu kelajak uchun amaliy reja beradi. RISC-Vni qabul qilish orqali Ethereum nafaqat o‘z kengayuvchanlik to‘siqlarini hal qiladi, balki o‘zini keyingi avlod internetining asosiy ishonch qatlamiga — hash va imzodan keyingi uchinchi yirik kriptografik primitiv SNARK asosiga aylantiradi.

Dunyo dasturini isbotlash, kripto uchun yangi davrni ochadi.

Batafsil ma’lumot: