Pertaruhan Ultimate: Bisakah Ethereum Bertahan dengan Meninggalkan EVM untuk RISC-V?

Ketika Vitalik Buterin mengatakan “tujuan akhir termasuk membuat semuanya ZK-Snarkified,” dia tidak berbicara secara santai. Ethereum berdiri di persimpangan jalan, dan keputusan di depan akan menentukan apakah itu menjadi tulang punggung internet berbasis ZK-native atau perlahan memudar menjadi tidak relevan. Pertanyaannya bukan lagi teoretis—melainkan operasional: Haruskah Ethereum menggantikan Ethereum Virtual Machine (EVM) dasarnya dengan RISC-V?

Mengapa EVM Menjadi Tumor Achilles Ethereum

Selama lebih dari satu dekade, EVM telah menjadi mesin revolusioner yang mendukung DeFi dan NFT. Tapi revolusioner tidak berarti optimal. Saat bukti nol-pengetahuan bergerak dari keanggunan teoretis ke kebutuhan praktis, keterbatasan EVM telah beralih dari ketidaknyamanan menjadi krisis.

Masalah inti sangat brutal: Implementasi zkEVM saat ini tidak secara langsung membuktikan EVM—mereka membuktikan interpreter yang menjalankan EVM, yang sendiri dikompilasi ke RISC-V. Ini menambah penalti kinerja yang sangat besar. Penilaian langsung Vitalik: “Mengapa tidak langsung expose RISC-V yang mendasarinya?” Menghapus lapisan middleware ini dapat meningkatkan efisiensi eksekusi hingga 100 kali lipat. Tanpa itu, eksekusi blok saja menghabiskan 80-90% dari seluruh waktu pembuktian, bahkan setelah optimasi lainnya.

Bloat ini melampaui kinerja. Untuk mengimbangi ketidakefisienan kriptografi EVM, Ethereum menumpuk kontrak pra-kompilasi—fungsi yang dikodekan keras yang tertanam dalam protokol itu sendiri. Vitalik menggambarkan ini sebagai “bencana”: “Mereka sangat membesar-besarkan basis kode terpercaya Ethereum… mereka menyebabkan masalah serius yang hampir mengakibatkan kegagalan konsensus.” Kode wrapper untuk satu pra-kompilasi (seperti modexp) lebih kompleks daripada seluruh interpreter RISC-V.

Arsitektur 256-bit menambah penghinaan pada luka. Desain ini masuk akal untuk operasi kriptografi pada 2015, tetapi kontrak pintar saat ini biasanya menggunakan bilangan bulat 32 atau 64-bit. Untuk ini, tumpukan 256-bit memboroskan sumber daya sementara menambah kompleksitas dua hingga empat kali lipat dalam sistem ZK.

RISC-V: Jawaban Minimalis yang Tidak Diharapkan Siapa pun

RISC-V bukan ciptaan Ethereum—ini adalah standar terbuka yang diadopsi oleh dunia komputasi yang lebih luas. Ini jauh lebih penting daripada yang disadari kebanyakan orang.

Set instruksi berisi sekitar 47 operasi inti. Minimalisme bukan batasan; ini adalah inti dari semuanya. Basis kode terpercaya yang lebih kecil lebih mudah diaudit, diverifikasi secara formal, dan dibuktikan benar secara matematis. Ini sangat penting untuk mengamankan protokol bernilai lebih dari $100+ miliar.

Keunggulan ekosistemnya luar biasa. Dengan mengadopsi RISC-V, Ethereum mewarisi puluhan tahun kemajuan ilmu komputer. Infrastruktur compiler LLVM berarti pengembang dapat menggunakan Rust, C++, Go, Python, dan hampir semua bahasa utama—secara otomatis. Tidak perlu membangun ulang dunia perangkat lunak dari awal.

Data dari Ethproofs mengungkapkan konsensus pasar: Di antara sepuluh zkVM yang mampu membuktikan blok Ethereum, sembilan memilih RISC-V. Ini bukan ideologi—ini adalah konvergensi praktis. Proyek seperti Succinct Labs telah memvalidasi arsitektur ini melalui SP1, zkVM berkinerja tinggi yang menunjukkan keunggulan RISC-V untuk pembuatan bukti.

Sudut pandang spesifikasi formal mengunci kesepakatan. RISC-V menggunakan SAIL—spesifikasi yang dapat dibaca mesin—dibandingkan dengan Yellow Paper Ethereum, yang tetap ambigu di beberapa bagian. Seperti yang dicatat Alex Hicks dari Ethereum Foundation, SAIL memungkinkan verifikasi langsung: “sirkuit zkVM dapat diverifikasi terhadap spesifikasi resmi RISC-V.” Ini mengubah keamanan dari bergantung pada implementasi menjadi dapat dibuktikan secara matematis.

Rencana Eksodus Tiga Fase

Ethereum tidak akan mengaktifkan saklar. Strategi migrasi mencerminkan pelajaran keras yang diperoleh tentang mengelola nilai terkunci lebih dari $100B.

Fase Satu: RISC-V sebagai Pengganti Pra-kompilasi
Alih-alih menambahkan pra-kompilasi EVM baru (proses yang lambat dan kontroversial yang memerlukan hard fork), protokol memperkenalkan program RISC-V yang di-whitelist. Ini berfungsi ganda: menguji sistem baru di mainnet dalam kondisi risiko rendah sambil menggantikan jebakan pra-kompilasi dengan sesuatu yang native di lapisan eksekusi.

Fase Dua: Era Koeksistensi
Kontrak pintar dapat diberi tag sebagai bytecode EVM atau RISC-V. Terobosan: interoperabilitas mulus melalui panggilan sistem (ECALL). Kontrak dapat memanggil satu sama lain di seluruh lingkungan eksekusi. Ini memberi waktu bagi ekosistem untuk bermigrasi sambil menjamin kompatibilitas mundur.

Fase Tiga: EVM sebagai Kontrak Simulasi
Tahap akhir memperlakukan EVM sebagai kontrak pintar yang diverifikasi secara formal yang berjalan di atas RISC-V native. Aplikasi warisan berfungsi tanpa batas waktu, pengembang klien memelihara satu mesin eksekusi, dan kompleksitas protokol menurun secara dramatis.

Perubahan Tektonik di Seluruh Layer-2

Transformasi ini akan memecah lanskap Layer-2 dengan cara yang dapat diprediksi.

Optimistic Rollups seperti Arbitrum dan Optimism menghadapi masalah eksistensial. Model keamanannya bergantung pada eksekusi ulang transaksi yang disengketakan melalui EVM di L1. Jika L1 tidak lagi menjalankan EVM, mekanisme bukti penipuan mereka runtuh. Proyek-proyek ini menghadapi pilihan biner: melakukan rekonstruksi rekayasa besar-besaran atau melepas diri dari model keamanan Ethereum. Keduanya tidak menarik.

ZK Rollups secara efektif memenangkan lotere arsitektur. Mereka sudah menstandarisasi RISC-V secara internal. L1 yang “berbicara bahasa yang sama” membuka apa yang disebut Justin Drake sebagai “native Rollups”—L2 menjadi instance khusus dari lingkungan eksekusi L1 dengan VM bawaan untuk penyelesaian.

Manfaat berantai yang dihasilkan sangat besar:

• Sederhanakan tumpukan: Tidak lagi perlu jembatan kompleks antara RISC-V internal dan EVM eksternal
• Penggunaan ulang alat: Compiler, debugger, alat verifikasi formal yang dikembangkan untuk L1 langsung digunakan di L2
• Kesesuaian ekonomi: Harga gas mencerminkan biaya verifikasi RISC-V yang sebenarnya, menciptakan insentif rasional di seluruh tumpukan

Bagi pengguna dan pengembang, tujuan akhir ini revolusioner: biaya turun ~100x (dari beberapa dolar menjadi sen per transaksi), memungkinkan visi “Gigagas L1” sekitar 10.000 TPS. Pengembang menulis kontrak dalam Rust atau Go menggunakan toolchain LLVM standar—Vitalik menyebutnya sebagai pengalaman “NodeJS” untuk blockchain, di mana kode on-chain dan off-chain hidup dalam ekosistem bahasa yang sama.

Tambang Ranjau: Risiko yang Tidak Cukup Dibahas

Tantangan teknisnya diremehkan dalam sebagian besar liputan.

Pengukuran gas belum terselesaikan. Bagaimana Anda menilai harga yang adil untuk ISA umum? Penghitungan instruksi sederhana rentan terhadap DoS—penyerang membuat program yang memicu cache miss, mengkonsumsi sumber daya dengan biaya gas minimal. Ini bukan teoretis; ini mengancam stabilitas jaringan dan model ekonomi.

Keamanan compiler adalah bom tersembunyi. Model kepercayaan Ethereum beralih dari VM di blockchain ke compiler off-chain (LLVM), yang kompleks dan mengandung kerentanan yang diketahui. Penyerang yang mengeksploitasi cacat compiler dapat mengubah kode sumber yang tidak berbahaya menjadi bytecode berbahaya. Masalah “reproducible build” memperumit ini: memastikan binary yang dikompilasi cocok dengan kode sumber publik secara tepat secara teknis sangat sulit. Perbedaan lingkungan build kecil menghasilkan output berbeda, merusak transparansi.

Perlindungan Mendalam

Strategi mitigasi harus berlapis:

Peluncuran bertahap adalah hal yang tidak bisa dinegosiasikan. Migrasi tiga fase membangun pengalaman operasional sebelum komitmen yang tidak dapat dibatalkan. Fase pra-kompilasi risiko rendah memungkinkan komunitas belajar dari eksposur RISC-V dalam kondisi produksi.

Fuzz testing dikombinasikan dengan verifikasi formal bekerja. Alat Argus dari Diligence Security menemukan 11 kerentanan kritis di zkVM terkemuka—bukti bahwa bahkan sistem yang dirancang dengan baik menyembunyikan kekurangan. Pengujian adversarial yang ketat menangkap apa yang terlewatkan oleh verifikasi formal.

Standarisasi mencegah fragmentasi. Konfigurasi RISC-V tunggal (kemungkinan RV64GC dengan ABI yang kompatibel Linux) memaksimalkan dukungan toolchain dan menyederhanakan pengalaman pengembang. Ini bukan beban birokrasi; ini adalah disiplin arsitektural.

Horizon Verifikasi Ethereum

Transisi dari EVM ke RISC-V merupakan keputusan arsitektur paling penting sejak peluncuran mainnet Ethereum. Ini bukan peningkatan bertahap—ini adalah restrukturisasi fundamental.

Trade-off-nya jelas:

• Keuntungan kinerja dari arsitektur ZK-native versus kebutuhan kompatibilitas mundur
• Peningkatan keamanan dari penyederhanaan protokol versus efek jaringan EVM
• Kekuatan ekosistem umum versus risiko dari toolchain pihak ketiga yang kompleks

Tim seperti Succinct Labs tidak hanya berteori—mereka mengirimkan. Produk OP Succinct mereka sudah membuktikan konsep ini bekerja: Optimistic Rollups mendapatkan kemampuan ZK, mengurangi finalitas dari 7 hari menjadi 1 jam. Ini bukan teknologi masa depan; ini sudah beroperasi hari ini.

Data Ethproofs, implementasi open-source SP1, dan konvergensi industri di sekitar RISC-V menunjukkan ini bukan spekulasi. Ethereum sedang membentuk dirinya menjadi lapisan kepercayaan yang dapat diverifikasi untuk internet, dengan SNARK sebagai primitif kriptografi setelah hash dan tanda tangan—pilar ketiga dari komputasi tanpa kepercayaan.

Baik melalui migrasi bertahap maupun percepatan waktu, restrukturisasi ini akan mendefinisikan dekade berikutnya dari Ethereum. EVM membangun Web3; RISC-V akan membangun infrastruktur bukti di bawahnya.