Offchain Labs Vitalikning RISC-V taklifiga qarshi chiqdi, WASM Ethereum L1 uchun yaxshiroq deb aytdi

Ethereum Layer 2 Arbitrum asosiy ishlab chiquvchisi bo‘lgan Offchain Labs, Vitalik Buterinning Ethereumning execution layer’ini RISC-V ga o‘tkazish taklifiga qarshi chiqdi va WebAssembly (WASM) uzoq muddatli afzalliklarga ega ekanini asoslab, batafsil texnik post e’lon qildi.

20-noyabr kuni Ethereum Research’da e’lon qilingan postda, Offchain Labs’ning to‘rt nafar tadqiqotchisi hozirda RISC-V ZK proofs yaratishda juda yaxshi natija ko‘rsatayotganini, biroq bu Ethereum’da smart-kontraktlar qanday yetkazilishi va saqlanishi uchun to‘g‘ri tanlov bo‘lmasligini ta’kidlashdi.

Ethereum hammuassisi Buterin aprel oyida Ethereum Magicians’da Ethereum Virtual Machine’ning bytecode’ini ochiq manbali RISC-V (talaffuzi “risk-five”) instruction set architecture (ISA) bilan almashtirish g‘oyasini ilgari surgan edi va bu o‘zgarish ba’zi hollarda on-chain ZK proving xarajatlarini 100 barobargacha kamaytirishi mumkinligini aytgan edi. 

"Biz ushbu maqsadlarni qo‘llab-quvvatlaymiz, lekin Vitalikning bitta ISA ham ZK-proving, ham smart-kontrakt yetkazib berish uchun optimal xizmat qilishi mumkin degan taxminiga shubha qilamiz," deb yozishdi Mario Alvarez, Matteo Campanelli, Tsahi Zidenberg va Daniel Lumi.

Yetkazib berishni isbotlashdan ajratish kerakmi?

Jamoaning asosiy dalili “delivery ISA” (dISA) — kontraktlarni on-chain yuklash formati — va ZK virtual mashinalarida ishlatiladigan “proving ISA” (pISA) o‘rtasidagi farqni ajratishga qaratilgan. Ularning fikricha, bu ikkalasi bir xil bo‘lishi shart emas.

Offchain Labs allaqachon ushbu konsepsiyani isbotlovchi prototip ustida ishlamoqda: WASM asosidagi Stylus smart-kontraktlarini o‘z ichiga olgan Arbitrum bloklari avval WASM’ni RISC-V ga kompilyatsiya qilish orqali, so‘ngra RISC-V ijrosini isbotlash orqali ZK-proven qilinmoqda.

"Biz bugungi kunda WASM dISA sifatida ishlatiladigan blokcheynda haqiqiy bloklarni ZK-prove qila olamiz, bunda RISC-V asosidagi ZK-VM backend sifatida ishlatiladi," deyiladi postda.

RISC-V optimal bo‘lib qolmasligi mumkin

Jamoa RISC-V ZK-VM evolyutsiyasining yakuniy nuqtasi ekanligiga shubha bildiradi va isbotlash texnologiyalari tez o‘zgarayotganini ta’kidlaydi. Yaqinda 32-bitdan 64-bitli RISC-V implementatsiyalarga o‘tish bu noaniqlikni ko‘rsatadi.

Ular, agar RISC-V L1’da mustahkamlanib qolsa, Ethereum yaxshiroq alternativalar paydo bo‘layotgan bir paytda ma’lum bir isbotlash texnologiyasiga bog‘lanib qolishini ogohlantiradi. Shu bilan birga, WASM asosidagi ZK-VM’lar, masalan, Ligero’ning Ligetron’i, apparatga yo‘naltirilgan ISA’lar erisha olmaydigan afzalliklarni namoyon qilmoqda.

Ayni paytda, ZK proving xarajatlari Ethereum blokiga taxminan $0.025 gacha tushib ketdi va pasayishda davom etmoqda, bu esa faqat isbotlash samaradorligini optimallashtirishni unchalik muhim qilmayapti, deya ta’kidlaydi tadqiqotchilar. "Agar L1 har bir blok uchun bir nechta ZK proofs talab qilsa ham, bu xarajat blokdan olinadigan gaz to‘lovlari va MEV bilan solishtirganda juda kichik bo‘ladi," deb yozishdi ular. 

WASM’ning afzalliklari

Jamoa WASM’ning tuzilmali dizayni mavjud kontraktlarni buzmasdan kodni o‘zgartirish va optimallashtirishni osonlashtirishini ta’kidlaydi. WASM oddiy apparatlarda samarali ishlaydi, aksariyat Ethereum tugunlari esa RISC-V CPU’larda ishlamaydi va uni emulyatsiya qilishga majbur bo‘ladi.

WASM’ning validatsiya imkoniyatlari tip xavfsizligini ta’minlaydi va zaifliklarning oldini oladi, shuningdek, uning rivojlangan asboblar ekotizimi milliardlab ijro muhitlarida sinovdan o‘tgan.

"Biz WASM smart-kontraktlar uchun bir turdagi Internet Protocol bo‘la oladi, deb hisoblaymiz, u smart-kontraktlar yoziladigan turli manba tillari va smart-kontraktlarni ijro va isbotlash uchun ishlatiladigan turli backend’lar o‘rtasida ideal oraliq qatlam bo‘lib xizmat qiladi," deb yozishdi tadqiqotchilar.