Ethereum Akan Mengalami Peningkatan Terbesar dalam Sejarah: EVM Akan Dinonaktifkan, RISC-V Akan Mengambil Alih

Judul Asli: Goodbye EVM, Hello RISC-V

Penulis Asli: jaehaerys.eth, Peneliti Kripto

Penerjemah Asli: TechFlow

Ringkasan

Ethereum sedang bersiap untuk melakukan transformasi arsitektur paling penting sejak kelahirannya: mengganti EVM dengan RISC-V.

Alasannya sangat sederhana—di masa depan yang berpusat pada zero knowledge (ZK), EVM telah menjadi hambatan kinerja:

· zkEVM saat ini bergantung pada interpreter, menyebabkan perlambatan kinerja 50–800 kali lipat;

· Modul precompile membuat protokol menjadi kompleks dan meningkatkan risiko;

· Desain stack 256-bit sangat tidak efisien saat menghasilkan bukti.

Solusi RISC-V:

· Desain minimalis (sekitar 47 instruksi dasar) + ekosistem LLVM yang matang (mendukung bahasa seperti Rust, C++, Go, dll);

· Telah menjadi standar de facto zkVM (90% proyek mengadopsinya);

· Memiliki spesifikasi formal SAIL (dibandingkan dengan Yellow Paper yang ambigu) → memungkinkan verifikasi yang ketat;

· Jalur pembuktian perangkat keras (ASICs/FPGAs) sudah dalam pengujian (SP1, Nervos, Cartesi, dll).

Proses migrasi dibagi menjadi tiga tahap:

· Mengganti precompile dengan RISC-V (uji risiko rendah);

· Era dual virtual machine: EVM dan RISC-V hidup berdampingan dan sepenuhnya interoperable;

· Mengimplementasikan ulang EVM di dalam RISC-V (strategi Rosetta).

Dampak terhadap ekosistem:

· Optimistic Rollup (seperti Arbitrum dan Optimism) perlu membangun ulang mekanisme fraud proof;

· ZK Rollup (seperti Polygon, zkSync, Scroll) akan mendapatkan keuntungan besar → lebih murah, lebih cepat, lebih sederhana;

· Developer dapat langsung menggunakan pustaka bahasa seperti Rust, Go, dan Python di layer L1;

· Pengguna akan menikmati biaya pembuktian sekitar 100 kali lebih rendah → menuju Gigagas L1 (sekitar 10.000 TPS).

Pada akhirnya, Ethereum akan berevolusi dari "mesin virtual smart contract" menjadi lapisan kepercayaan internet yang minimalis dan dapat diverifikasi, dengan tujuan akhir "menjadikan segalanya ZK-Snark-ified".

Persimpangan Jalan Ethereum

Vitalik Buterin pernah berkata: "Tujuan akhirnya adalah... menjadikan segalanya ZK-Snark-ified."

Era zero knowledge proof (ZK) sudah tak terelakkan, dan argumen utamanya sangat sederhana: Ethereum sedang membangun ulang dirinya dari awal dengan fondasi zero knowledge proof. Ini menandai titik akhir teknis protokol—mencapai bentuk akhirnya melalui rekonstruksi L1, didukung oleh zkVM berkinerja tinggi yang dikembangkan oleh tim inti seperti Succinct.

Dengan visi ini sebagai tujuan akhir, Ethereum berada di ambang transformasi arsitektur paling penting sejak kelahirannya. Diskusi kali ini bukan lagi tentang upgrade bertahap, melainkan rekonstruksi total inti komputasinya—mengganti Ethereum Virtual Machine (EVM). Langkah ini adalah fondasi dari visi "Lean Ethereum" yang lebih luas.

Visi Lean Ethereum bertujuan menyederhanakan protokol secara sistematis, membaginya menjadi tiga modul inti: Lean Consensus, Lean Data, dan Lean Execution. Dalam masalah inti Lean Execution, pertanyaan terpenting adalah: sebagai mesin penggerak revolusi smart contract, apakah EVM telah menjadi hambatan utama bagi masa depan Ethereum?

Seperti yang dikatakan Justin Drake dari Ethereum Foundation, tujuan jangka panjang Ethereum selalu "menjadikan segalanya Snark-ified", sebuah alat kuat yang dapat memperkuat setiap lapisan protokol. Namun, selama ini tujuan tersebut lebih seperti "blueprint yang sulit dicapai", karena membutuhkan konsep real-time proving. Kini, dengan real-time proving yang semakin nyata, inefisiensi teoretis EVM telah menjadi masalah nyata yang mendesak untuk diselesaikan.

Artikel ini akan menganalisis secara mendalam argumen teknis dan strategis untuk migrasi Ethereum L1 ke arsitektur instruksi RISC-V (ISA). Langkah ini tidak hanya berpotensi membuka skalabilitas yang belum pernah terjadi sebelumnya, tetapi juga menyederhanakan struktur protokol dan menyelaraskan Ethereum dengan masa depan komputasi yang dapat diverifikasi.

Apa yang Sebenarnya Berubah?

Sebelum membahas "mengapa", pertama-tama perlu memperjelas "apa" yang sedang berubah.

EVM (Ethereum Virtual Machine) adalah lingkungan eksekusi smart contract Ethereum, dikenal sebagai "world computer" yang memproses transaksi dan memperbarui status blockchain. Selama bertahun-tahun, desainnya sangat revolusioner, meletakkan dasar bagi lahirnya DeFi dan ekosistem NFT. Namun, arsitektur kustom yang sudah hampir satu dekade ini kini telah menumpuk banyak technical debt.

Sebaliknya, RISC-V bukanlah sebuah produk, melainkan standar terbuka—"alfabet" desain prosesor umum yang gratis. Seperti yang ditekankan Jeremy Bruestle di konferensi Ethproofs, prinsip kuncinya menjadikannya pilihan ideal untuk peran ini:

· Minimalisme: Set instruksi dasar RISC-V sangat sederhana, hanya sekitar 40 hingga 47 instruksi. Seperti kata Jeremy, ini "hampir sempurna untuk kasus penggunaan mesin universal super minimalis yang kita butuhkan".

· Desain Modular: Fitur yang lebih kompleks ditambahkan melalui ekstensi opsional. Fitur ini sangat penting karena memungkinkan inti tetap sederhana, sementara fungsionalitas dapat diperluas sesuai kebutuhan tanpa menambah kompleksitas yang tidak perlu ke protokol dasar.

· Ekosistem Terbuka: RISC-V memiliki dukungan toolchain yang besar dan matang, termasuk compiler LLVM, memungkinkan developer menggunakan bahasa pemrograman utama seperti Rust, C++, dan Go. Seperti yang disebutkan Justin Drake: "Alat di sekitar compiler sangat kaya, dan membangun compiler sangat sulit... jadi memiliki toolchain compiler ini sangat berharga." RISC-V memungkinkan Ethereum mewarisi alat-alat ini secara gratis.

Masalah Overhead Interpreter

Pendorong utama penggantian EVM bukanlah satu cacat tunggal, melainkan gabungan beberapa keterbatasan mendasar, yang dalam konteks masa depan berbasis zero knowledge proof sudah tidak bisa diabaikan. Keterbatasan ini meliputi bottleneck kinerja dalam sistem zero knowledge proof dan risiko yang ditimbulkan oleh kompleksitas protokol yang semakin menumpuk.

Pendorong paling mendesak dari transformasi ini adalah inefisiensi bawaan EVM dalam sistem zero knowledge proof. Seiring Ethereum beralih ke model verifikasi status L1 melalui ZK proof, kinerja prover menjadi bottleneck terbesar.

Masalahnya terletak pada cara kerja zkEVM saat ini. Mereka tidak membuktikan EVM secara langsung, melainkan membuktikan interpreter EVM, yang kemudian dikompilasi menjadi RISC-V. Vitalik Buterin secara gamblang menunjukkan inti masalah ini:

"...Jika implementasi zkVM adalah mengeksekusi EVM yang akhirnya dikompilasi menjadi kode RISC-V, mengapa tidak langsung mengekspos RISC-V ke developer smart contract? Ini bisa menghilangkan overhead seluruh virtual machine lapisan luar."

Lapisan interpreter tambahan ini menyebabkan kerugian kinerja yang sangat besar. Perkiraan menunjukkan bahwa dibandingkan dengan membuktikan program native, lapisan ini dapat menyebabkan penurunan kinerja 50 hingga 800 kali lipat. Setelah mengoptimalkan bottleneck lain (seperti beralih ke algoritma hash Poseidon), bagian "block execution" ini tetap memakan 80-90% waktu pembuktian, menjadikan EVM hambatan terakhir dan paling sulit untuk memperluas L1. Dengan menghilangkan lapisan ini, Vitalik memperkirakan efisiensi eksekusi dapat meningkat 100 kali lipat.

Perangkap Technical Debt

Untuk menutupi kekurangan kinerja EVM dalam operasi kriptografi tertentu, Ethereum memperkenalkan precompiled contract—fungsi khusus yang di-hardcode langsung ke protokol. Meskipun solusi ini tampak praktis saat itu, kini justru menimbulkan situasi yang disebut Vitalik Buterin sebagai "buruk":

"Precompile sangat bencana bagi kami... Mereka sangat memperbesar trusted codebase Ethereum... dan mereka pernah menyebabkan beberapa masalah serius yang hampir menyebabkan kegagalan konsensus."

Kompleksitas ini sangat mengejutkan. Vitalik mencontohkan, kode wrapper untuk satu precompile (seperti modexp) lebih kompleks daripada seluruh interpreter RISC-V, dan logika precompile sebenarnya lebih rumit. Menambahkan precompile baru memerlukan proses hard fork yang lambat dan penuh perdebatan politik, sangat menghambat inovasi aplikasi yang membutuhkan primitive kriptografi baru. Untuk itu, Vitalik menyimpulkan dengan tegas:

"Saya pikir kita harus berhenti menambahkan precompile baru mulai hari ini."

Technical Debt Arsitektur Ethereum

Desain inti EVM mencerminkan prioritas masa lalu, tetapi kini tidak lagi sesuai dengan kebutuhan komputasi modern. EVM memilih arsitektur 256-bit untuk menangani nilai kriptografi, namun untuk integer 32-bit atau 64-bit yang umum digunakan dalam smart contract, arsitektur ini sangat tidak efisien. Inefisiensi ini sangat mahal dalam sistem ZK. Seperti yang dijelaskan Vitalik:

"Saat menggunakan angka yang lebih kecil, setiap angka sebenarnya tidak menghemat sumber daya, tetapi kompleksitasnya meningkat dua hingga empat kali lipat."

Selain itu, arsitektur stack EVM lebih tidak efisien dibandingkan arsitektur register pada RISC-V dan CPU modern. Ini membutuhkan lebih banyak instruksi untuk menyelesaikan operasi yang sama, dan juga membuat optimasi compiler lebih rumit.

Masalah-masalah ini—termasuk bottleneck kinerja ZK proof, kompleksitas precompile, dan pilihan arsitektur yang usang—bersama-sama membentuk alasan yang meyakinkan dan mendesak: Ethereum harus melampaui EVM dan menyambut arsitektur teknologi yang lebih cocok untuk masa depan.

Blueprint RISC-V: Membentuk Ulang Masa Depan Ethereum dengan Fondasi Lebih Kuat

Keunggulan RISC-V tidak hanya terletak pada kekurangan EVM, tetapi juga pada kekuatan filosofi desainnya. Arsitekturnya menyediakan fondasi yang kuat, sederhana, dan dapat diverifikasi, sangat cocok untuk lingkungan berisiko tinggi seperti Ethereum.

Mengapa Standar Terbuka Lebih Baik daripada Desain Kustom?

Tidak seperti arsitektur instruksi kustom yang harus membangun seluruh ekosistem perangkat lunak dari nol, RISC-V adalah standar terbuka yang matang dengan tiga keunggulan utama berikut:

Ekosistem yang Matang

Dengan mengadopsi RISC-V, Ethereum dapat memanfaatkan kemajuan kolektif puluhan tahun di bidang ilmu komputer. Seperti dijelaskan Justin Drake, ini memberi Ethereum kesempatan untuk langsung menggunakan alat kelas dunia:

"Ada komponen infrastruktur bernama LLVM, yaitu toolchain compiler yang memungkinkan Anda mengkompilasi bahasa pemrograman tingkat tinggi ke berbagai target backend. Salah satu backend yang didukung adalah RISC-V. Jadi jika Anda mendukung RISC-V, Anda otomatis mendukung semua bahasa tingkat tinggi yang didukung LLVM."

Ini sangat menurunkan hambatan pengembangan, memungkinkan jutaan developer yang akrab dengan Rust, C++, dan Go untuk langsung terjun.

Filosofi Desain Minimalis Minimalisme RISC-V adalah fitur yang disengaja, bukan keterbatasan. Set instruksi dasarnya hanya sekitar 47 instruksi, menjaga inti virtual machine tetap sangat sederhana. Kesederhanaan ini memberikan keuntungan besar dalam keamanan, karena trusted codebase yang lebih kecil lebih mudah diaudit dan diverifikasi secara formal.

Standar De Facto di Bidang Zero Knowledge Proof Lebih penting lagi, ekosistem zkVM telah membuat pilihan. Seperti yang ditunjukkan Justin Drake, data dari Ethproofs menunjukkan tren yang jelas:

"RISC-V adalah arsitektur instruksi backend terdepan untuk zkVM."

Dari sepuluh zkVM yang dapat membuktikan blok Ethereum, sembilan di antaranya telah memilih RISC-V sebagai arsitektur target. Konvergensi pasar ini mengirimkan sinyal kuat: dengan mengadopsi RISC-V, Ethereum tidak sedang melakukan eksperimen spekulatif, melainkan menyelaraskan diri dengan standar yang telah terbukti dan diakui oleh proyek-proyek masa depan zero knowledge.

Dibangun untuk Kepercayaan, Bukan Sekadar Eksekusi

Selain ekosistem yang luas, arsitektur internal RISC-V juga sangat cocok untuk membangun sistem yang aman dan dapat diverifikasi. Pertama, RISC-V memiliki spesifikasi formal yang dapat dibaca mesin—SAIL. Ini merupakan kemajuan besar dibandingkan spesifikasi EVM (yang sebagian besar berupa teks di Yellow Paper). Yellow Paper mengandung ambiguitas, sedangkan spesifikasi SAIL menyediakan "golden standard" yang mendukung pembuktian matematis atas kebenaran, sangat penting untuk melindungi protokol bernilai tinggi. Seperti yang disebutkan Alex Hicks dari Ethereum Foundation di konferensi Ethproofs, ini memungkinkan sirkuit zkVM untuk langsung "diverifikasi terhadap spesifikasi resmi RISC-V". Kedua, RISC-V memiliki arsitektur privilege, fitur yang sering diabaikan namun sangat penting untuk keamanan. Ia mendefinisikan level operasi berbeda, terutama user mode (untuk aplikasi tidak tepercaya seperti smart contract) dan supervisor mode (untuk "execution kernel" tepercaya). Diego dari Cartesi menjelaskan lebih lanjut:

"Sistem operasi itu sendiri harus melindungi dirinya dari kode lain. Ia perlu menjalankan program berbeda secara terisolasi, dan semua mekanisme ini adalah bagian dari standar RISC-V."

Dalam arsitektur RISC-V, smart contract yang berjalan di user mode tidak dapat langsung mengakses status blockchain. Sebaliknya, ia harus mengirim permintaan melalui instruksi ECALL (environment call) khusus ke kernel tepercaya yang berjalan di supervisor mode. Mekanisme ini membangun batasan keamanan yang ditegakkan oleh perangkat keras, jauh lebih kuat dan mudah diverifikasi dibandingkan model sandbox software murni EVM.

Visi Vitalik

Transformasi ini dirancang sebagai proses bertahap dan multi-tahap untuk memastikan stabilitas sistem dan kompatibilitas ke belakang. Seperti yang dijelaskan pendiri Ethereum, Vitalik Buterin, pendekatan ini bertujuan untuk mencapai perkembangan "evolusioner" alih-alih perubahan "revolusioner" total.

Langkah Pertama: Pengganti Precompile

Tahap awal mengambil pendekatan paling konservatif, memperkenalkan fungsi terbatas dari virtual machine (VM) baru. Seperti yang disarankan Vitalik Buterin: "Kita bisa mulai menggunakan VM baru dalam skenario terbatas, misalnya menggantikan fungsi precompile." Secara spesifik, ini akan menghentikan penambahan precompile baru pada EVM, digantikan oleh program RISC-V yang disetujui whitelist untuk fungsi yang dibutuhkan. Pendekatan ini memungkinkan VM baru diuji di mainnet dalam lingkungan berisiko rendah, dengan klien Ethereum bertindak sebagai perantara antara dua lingkungan eksekusi.

Langkah Kedua: Koeksistensi Dual Virtual Machine

Tahap berikutnya akan "membuka akses VM baru langsung ke pengguna". Smart contract dapat menandai bytecode mereka sebagai EVM atau RISC-V. Fitur kunci adalah interoperabilitas tanpa hambatan: "Kedua jenis contract dapat saling memanggil." Fitur ini akan diimplementasikan melalui system call (ECALL), memungkinkan kedua VM berkolaborasi dalam ekosistem yang sama.

Langkah Ketiga: EVM sebagai Contract Simulasi (Strategi "Rosetta")

Tujuan akhirnya adalah menyederhanakan protokol. Pada tahap ini, "kita akan mengimplementasikan EVM sebagai salah satu implementasi di VM baru." EVM yang sudah dinormalisasi akan menjadi smart contract yang telah diverifikasi secara formal dan berjalan di atas RISC-V native L1. Ini tidak hanya memastikan dukungan permanen untuk aplikasi lama, tetapi juga memungkinkan developer klien hanya memelihara satu engine eksekusi yang disederhanakan, secara signifikan mengurangi kompleksitas dan biaya pemeliharaan.

Efek Riak pada Ekosistem

Transisi dari EVM ke RISC-V bukan sekadar perubahan protokol inti, tetapi akan berdampak luas pada seluruh ekosistem Ethereum. Transformasi ini tidak hanya akan mengubah pengalaman developer, tetapi juga secara fundamental mengubah lanskap persaingan solusi Layer-2 dan membuka model verifikasi ekonomi baru.

Reposisi Rollup: Duel Optimistic vs ZK

Penerapan RISC-V di layer eksekusi L1 akan berdampak sangat berbeda pada dua jenis utama Rollup.

Optimistic Rollup (seperti Arbitrum, Optimism) menghadapi tantangan arsitektur. Model keamanannya bergantung pada re-eksekusi transaksi yang disengketakan di L1 EVM untuk membuktikan fraud. Jika EVM di L1 diganti, model ini akan runtuh total. Proyek-proyek ini harus memilih: melakukan rekayasa ulang besar-besaran untuk membangun sistem fraud proof untuk VM L1 baru, atau sepenuhnya meninggalkan model keamanan Ethereum.

Sebaliknya, ZK Rollup akan memperoleh keuntungan strategis besar. Mayoritas ZK Rollup sudah menggunakan RISC-V sebagai arsitektur instruksi internal mereka. L1 yang "berbicara bahasa yang sama" akan memungkinkan integrasi yang lebih erat dan efisien. Justin Drake mengusulkan visi masa depan "native Rollup": L2 pada dasarnya menjadi instance khusus dari lingkungan eksekusi L1, menggunakan VM bawaan L1 untuk settlement tanpa hambatan. Penyelarasan ini akan membawa perubahan berikut:

· Penyederhanaan Stack Teknologi: Tim L2 tidak perlu lagi membangun mekanisme bridge kompleks antara lingkungan eksekusi RISC-V internal dan EVM.

· Reuse Alat dan Kode: Compiler, debugger, dan alat verifikasi formal yang dikembangkan untuk lingkungan RISC-V L1 dapat langsung digunakan oleh L2, sangat menurunkan biaya pengembangan.

· Penyelarasan Insentif Ekonomi: Biaya Gas di L1 akan lebih akurat mencerminkan biaya verifikasi ZK berbasis RISC-V, membentuk model ekonomi yang lebih rasional.

Era Baru untuk Developer dan Pengguna

Bagi developer Ethereum, transformasi ini akan bersifat bertahap, bukan destruktif.

Bagi developer, mereka akan dapat mengakses ekosistem pengembangan perangkat lunak yang lebih luas dan matang. Seperti yang dikatakan Vitalik Buterin, developer akan "dapat menulis contract dengan Rust, dan opsi-opsi ini dapat hidup berdampingan". Sementara itu, ia memprediksi "Solidity dan Vyper akan tetap populer dalam jangka panjang karena desainnya yang elegan untuk logika smart contract". Menggunakan toolchain LLVM untuk mengakses bahasa pemrograman utama dan pustaka besarnya, perubahan ini akan sangat revolusioner. Vitalik mengibaratkannya sebagai "pengalaman ala NodeJS", di mana developer dapat menulis kode on-chain dan off-chain dalam bahasa yang sama, mewujudkan integrasi pengembangan.

Bagi pengguna, transformasi ini pada akhirnya akan membawa pengalaman jaringan dengan biaya lebih rendah dan kinerja lebih tinggi. Diperkirakan biaya pembuktian akan turun sekitar 100 kali lipat, dari beberapa dolar per transaksi menjadi beberapa sen atau bahkan lebih murah. Ini langsung diterjemahkan menjadi biaya L1 dan biaya settlement L2 yang lebih rendah. Kelayakan ekonomi ini akan membuka visi "Gigagas L1", dengan target kinerja sekitar 10.000 TPS, membuka jalan bagi aplikasi on-chain yang lebih kompleks dan bernilai tinggi di masa depan.

Succinct Labs dan SP1: Membangun Masa Depan Pembuktian Hari Ini

Ethereum sedang bersiap untuk lepas landas. "Scale L1, scale block" adalah tugas strategis mendesak di dalam klaster protokol EF. Diharapkan dalam 6 hingga 12 bulan ke depan akan terjadi peningkatan kinerja yang signifikan.

Tim seperti Succinct Labs telah menunjukkan keunggulan teoretis RISC-V dalam praktik, dan pekerjaan mereka menjadi studi kasus yang kuat untuk proposal ini.

SP1 yang dikembangkan Succinct Labs adalah zkVM open source berkinerja tinggi berbasis RISC-V, membuktikan kelayakan pendekatan arsitektur baru. SP1 mengadopsi filosofi "precompile-centric", secara sempurna mengatasi bottleneck kriptografi EVM. Berbeda dengan precompile tradisional yang lambat dan di-hardcode, SP1 memindahkan operasi intensif seperti Keccak hash ke sirkuit ZK khusus yang dioptimalkan secara manual, dan dipanggil melalui instruksi ECALL standar. Pendekatan ini menggabungkan kinerja perangkat keras kustom dengan fleksibilitas perangkat lunak, memberikan solusi yang lebih efisien dan skalabel bagi developer.

Dampak nyata Succinct Labs sudah terlihat. Produk OP Succinct mereka menggunakan SP1 untuk memberikan kemampuan zero knowledge proof (ZK-ify) pada Optimistic Rollups. Seperti yang dijelaskan Uma Roy, Co-Founder Succinct:

"Menggunakan Rollup OP Stack, Anda tidak perlu lagi menunggu tujuh hari untuk konfirmasi dan penarikan akhir... Sekarang hanya butuh satu jam untuk konfirmasi. Peningkatan kecepatan ini luar biasa."

Terobosan ini menyelesaikan masalah utama seluruh ekosistem OP Stack. Selain itu, infrastruktur Succinct—Succinct Prover Network—dirancang sebagai pasar pembangkitan bukti terdesentralisasi, menunjukkan model ekonomi komputasi yang dapat diverifikasi di masa depan. Pekerjaan mereka bukan hanya proof of concept, tetapi juga blueprint masa depan yang nyata, seperti yang dijelaskan dalam artikel ini.

Bagaimana Ethereum Mengurangi Risiko

Salah satu keunggulan besar RISC-V adalah memungkinkan pencapaian "holy grail" verifikasi formal—membuktikan kebenaran sistem secara matematis. Spesifikasi EVM ditulis dalam bahasa alami di Yellow Paper, sulit untuk diverifikasi secara formal. Sementara RISC-V memiliki spesifikasi SAIL resmi yang dapat dibaca mesin, memberikan "referensi emas" perilaku sistem.

Ini membuka jalan bagi keamanan yang lebih kuat. Seperti yang ditunjukkan Alex Hicks dari Ethereum Foundation, saat ini sudah ada upaya untuk "memverifikasi formal sirkuit zkVM RISC-V dengan spesifikasi resmi RISC-V yang diekstrak ke Lean". Ini adalah kemajuan monumental, memindahkan kepercayaan dari implementasi manusia yang rawan kesalahan ke pembuktian matematis yang dapat diverifikasi, membuka tingkat keamanan baru untuk blockchain.

Risiko Utama Transformasi

Meskipun L1 berbasis arsitektur RISC-V memiliki banyak keunggulan, ia juga membawa tantangan kompleks baru.

Masalah Pengukuran Gas

Menciptakan model Gas yang deterministik dan adil untuk arsitektur instruksi umum (ISA) adalah masalah yang belum terpecahkan. Metode penghitungan instruksi sederhana rentan terhadap serangan denial-of-service. Misalnya, penyerang dapat merancang program yang berulang kali memicu cache miss, menyebabkan konsumsi sumber daya tinggi dengan biaya Gas sangat rendah. Masalah ini menjadi tantangan berat bagi stabilitas jaringan dan model ekonomi.

Keamanan Toolchain dan Masalah "Build yang Dapat Direproduksi"

Ini adalah risiko terpenting dan sering diremehkan dalam proses transformasi. Model keamanan beralih dari bergantung pada virtual machine on-chain ke compiler off-chain (seperti LLVM), yang sangat kompleks dan diketahui memiliki bug. Penyerang dapat mengeksploitasi bug compiler untuk mengubah source code yang tampak aman menjadi bytecode berbahaya. Selain itu, memastikan binary hasil kompilasi di chain benar-benar identik dengan source code publik—masalah "build yang dapat direproduksi"—juga sangat sulit. Perbedaan kecil di lingkungan build dapat menghasilkan binary berbeda, mempengaruhi transparansi dan kepercayaan. Masalah-masalah ini menjadi tantangan berat bagi keamanan developer dan pengguna.

Strategi Mitigasi

Jalan ke depan membutuhkan strategi pertahanan berlapis.

Penerapan Bertahap

Mengadopsi rencana transisi bertahap dan multi-tahap adalah strategi inti untuk mengatasi risiko. Dengan terlebih dahulu memperkenalkan RISC-V sebagai pengganti precompile, lalu menjalankan lingkungan dual VM, komunitas dapat mengumpulkan pengalaman operasional dalam lingkungan berisiko rendah dan membangun kepercayaan, menghindari perubahan yang tidak dapat diubah. Pendekatan bertahap ini memberikan fondasi stabil untuk transformasi teknologi.

Audit Menyeluruh: Fuzz Testing dan Verifikasi Formal

Meskipun verifikasi formal adalah tujuan akhir, itu harus dikombinasikan dengan pengujian intensif dan berkelanjutan. Seperti yang ditunjukkan Valentine dari Diligence Security dalam konferensi telepon Ethproofs, alat fuzz testing Argus mereka telah menemukan 11 bug kritis pada zkVM terkemuka. Ini menunjukkan bahwa bahkan sistem dengan desain terbaik pun bisa memiliki bug yang hanya dapat ditemukan melalui pengujian adversarial yang ketat. Kombinasi fuzz testing dan verifikasi formal memberikan perlindungan keamanan yang lebih kuat.

Standardisasi

Untuk menghindari fragmentasi ekosistem, komunitas perlu mengadopsi konfigurasi RISC-V tunggal yang terstandarisasi. Kemungkinan besar adalah kombinasi RV64GC dan ABI yang kompatibel dengan Linux, karena kombinasi ini didukung paling luas di bahasa pemrograman dan alat utama, memaksimalkan keuntungan ekosistem baru. Standardisasi tidak hanya meningkatkan efisiensi developer, tetapi juga meletakkan fondasi kuat untuk perkembangan ekosistem jangka panjang.

Masa Depan Ethereum yang Dapat Diverifikasi

Proposal untuk menggantikan Ethereum Virtual Machine (EVM) dengan RISC-V bukan sekadar upgrade bertahap, melainkan rekonstruksi fundamental layer eksekusi Ethereum. Visi ambisius ini bertujuan mengatasi bottleneck skalabilitas mendalam, menyederhanakan kompleksitas protokol, dan menyelaraskan platform dengan ekosistem komputasi umum yang lebih luas. Meski transformasi ini menghadapi tantangan teknis dan sosial besar, manfaat strategis jangka panjangnya cukup untuk membenarkan upaya besar ini.

Transformasi ini berfokus pada serangkaian trade-off inti:

· Keseimbangan antara peningkatan kinerja besar dari arsitektur ZK native dan kebutuhan mendesak akan kompatibilitas ke belakang;

· Trade-off antara keuntungan keamanan dari penyederhanaan protokol dan inersia efek jaringan besar EVM;

· Pilihan antara kekuatan ekosistem umum dan risiko ketergantungan pada toolchain pihak ketiga yang kompleks.

Pada akhirnya, transformasi arsitektur ini akan menjadi kunci untuk memenuhi janji "Lean Execution", dan merupakan bagian penting dari visi "Lean Ethereum". Ini akan mengubah L1 Ethereum dari sekadar platform smart contract menjadi layer settlement dan data availability yang efisien dan aman, dirancang khusus untuk mendukung alam semesta komputasi yang dapat diverifikasi.

Seperti kata Vitalik Buterin, "Tujuan akhirnya adalah... menyediakan ZK-snark untuk segalanya."

Proyek seperti Ethproofs menyediakan data objektif dan platform kolaborasi untuk transformasi ini, sementara tim Succinct Labs melalui aplikasi nyata SP1 zkVM mereka, memberikan blueprint masa depan yang dapat dioperasikan. Dengan mengadopsi RISC-V, Ethereum tidak hanya menyelesaikan bottleneck skalabilitasnya sendiri, tetapi juga memposisikan dirinya sebagai lapisan kepercayaan dasar untuk internet generasi berikutnya—digerakkan oleh primitif kriptografi ketiga setelah hash dan signature, yaitu SNARK.

Membuktikan perangkat lunak dunia, membuka era baru kripto.

Pelajari lebih lanjut: