Ethereum mungkin akan mengalami peningkatan terbesar dalam sejarah: EVM akan dihentikan, 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 transformasi arsitektur paling penting sejak kelahirannya: menggantikan 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 precompiled 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 untuk zkVM (90% proyek mengadopsinya);

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

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

Proses migrasi terdiri dari tiga tahap:

· Mengganti precompiled module 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 pada 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;

· Pengembang 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 sebuah "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 sederhana: Ethereum sedang membangun ulang dirinya dari awal, berbasis zero knowledge proof. Ini menandai titik akhir teknis protokol—mencapai bentuk akhirnya melalui rekonstruksi L1, didukung oleh tim pengembang inti (seperti Succinct) dengan zkVM berkinerja tinggi.

Dengan visi ini sebagai tujuan akhir, Ethereum berada di titik transformasi arsitektur paling penting sejak kelahirannya. Diskusi kali ini bukan lagi tentang peningkatan 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 seluruh 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 pendorong 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 ini lebih seperti "cetak biru yang jauh dari jangkauan", karena implementasinya membutuhkan konsep real-time proving. Kini, dengan real-time proving yang semakin nyata, inefisiensi teoretis EVM telah menjadi masalah nyata yang mendesak untuk dipecahkan.

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 ekosistem DeFi dan NFT. Namun, arsitektur khusus yang dibuat hampir satu dekade lalu ini kini telah menumpuk banyak technical debt.

Sebaliknya, RISC-V bukanlah sebuah produk, melainkan standar terbuka—sebuah "alfabet" desain prosesor umum yang gratis. Seperti yang ditekankan Jeremy Bruestle di konferensi Ethproofs, prinsip-prinsip kuncinya menjadikannya pilihan yang sangat baik 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 kompiler LLVM, memungkinkan pengembang menggunakan bahasa pemrograman utama seperti Rust, C++, dan Go. Seperti yang disebutkan Justin Drake: "Alat di sekitar kompiler sangat kaya, dan membangun kompiler sangat sulit... jadi memiliki toolchain kompiler ini sangat berharga." RISC-V memungkinkan Ethereum mewarisi alat-alat ini secara gratis.

Masalah Overhead Interpreter

Alasan utama mengganti EVM bukanlah satu cacat tunggal, melainkan gabungan dari beberapa keterbatasan mendasar, yang dalam konteks masa depan berbasis zero knowledge proof sudah tidak bisa diabaikan. Keterbatasan ini meliputi hambatan kinerja dalam sistem zero knowledge proof, serta risiko yang ditimbulkan oleh kompleksitas protokol yang terus bertambah.

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 hambatan terbesar.

Masalahnya terletak pada cara kerja zkEVM saat ini. Mereka tidak membuktikan EVM secara langsung dengan zero knowledge proof, melainkan membuktikan interpreter EVM, yang pada gilirannya dikompilasi menjadi RISC-V. Vitalik Buterin secara blak-blakan menunjukkan masalah inti ini:

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

Lapisan interpreter tambahan ini menyebabkan kerugian kinerja yang besar. Perkiraan menunjukkan, dibandingkan dengan membuktikan program native, lapisan ini dapat menyebabkan penurunan kinerja 50 hingga 800 kali lipat. Setelah mengoptimalkan hambatan lain (seperti beralih ke algoritma hash Poseidon), bagian "eksekusi blok" ini tetap menyumbang 80-90% dari waktu pembuktian, menjadikan EVM sebagai hambatan terakhir dan paling sulit untuk memperluas L1. Dengan menghapus 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 dalam protokol. Meskipun solusi ini tampak praktis saat itu, kini justru menimbulkan situasi yang disebut Vitalik Buterin sebagai "buruk":

"Precompiled 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 mencengangkan. Vitalik mencontohkan, kode pembungkus untuk satu precompiled contract (seperti modexp) lebih kompleks daripada seluruh interpreter RISC-V, sementara logika precompiled sebenarnya lebih rumit. Menambahkan precompiled baru memerlukan proses hard fork yang lambat dan penuh perdebatan politik, sangat menghambat inovasi aplikasi yang membutuhkan primitive kriptografi baru. Mengenai hal ini, Vitalik menyimpulkan dengan jelas:

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

Technical Debt Arsitektur Ethereum

Desain inti EVM mencerminkan prioritas masa lalu, tetapi tidak lagi cocok untuk kebutuhan komputasi modern. EVM memilih arsitektur 256-bit untuk menangani nilai kriptografi, tetapi 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 kurang efisien dibandingkan arsitektur register pada RISC-V dan CPU modern. Ini membutuhkan lebih banyak instruksi untuk menyelesaikan operasi yang sama, dan juga membuat optimasi kompiler lebih rumit.

Masalah-masalah ini—termasuk hambatan kinerja ZK proof, kompleksitas precompiled, dan pilihan arsitektur yang usang—bersama-sama membentuk alasan yang kuat 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 yang Lebih Kuat

Keunggulan RISC-V bukan hanya karena kekurangan EVM, tetapi juga karena filosofi desainnya yang kuat. Arsitekturnya menyediakan fondasi yang kokoh, 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 kompiler yang memungkinkan Anda mengompilasi bahasa pemrograman tingkat tinggi ke salah satu dari banyak 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 pengembang yang familiar 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 terdepan untuk backend zkVM."

Dari sepuluh zkVM yang dapat membuktikan blok Ethereum, sembilan 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 memiliki ambiguitas, sedangkan spesifikasi SAIL menyediakan "standar emas" 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 diverifikasi langsung terhadap spesifikasi resmi RISC-V. Kedua, RISC-V mencakup arsitektur privilege, fitur yang sering diabaikan namun sangat penting untuk keamanan. Ini 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 secara mendalam:

"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 batas keamanan yang ditegakkan perangkat keras, jauh lebih kuat dan mudah diverifikasi dibandingkan model sandbox perangkat lunak murni EVM.

Visi Vitalik

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

Langkah Pertama: Pengganti Precompiled

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

Langkah Kedua: Koeksistensi Dual Virtual Machine

Tahap berikutnya akan "membuka VM baru langsung ke pengguna". Smart contract dapat menandai bytecode-nya 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 mengimplementasikan EVM sebagai salah satu implementasi dalam VM baru." EVM yang sudah dinormalisasi akan menjadi smart contract yang diverifikasi secara formal dan berjalan di atas RISC-V native L1. Ini tidak hanya memastikan dukungan permanen untuk aplikasi lama, tetapi juga memungkinkan pengembang klien hanya memelihara satu engine eksekusi yang disederhanakan, secara signifikan menurunkan 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 membentuk ulang pengalaman pengembang, tetapi juga secara fundamental mengubah lanskap persaingan solusi Layer-2, dan membuka model verifikasi ekonomi baru.

Reposisi Rollup: Duel antara Optimistic dan ZK

Penerapan layer eksekusi RISC-V di 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 menyelesaikan fraud proof. Jika EVM di L1 diganti, model ini akan runtuh total. Proyek-proyek ini harus memilih: melakukan rekayasa ulang besar-besaran untuk mendesain sistem fraud proof untuk VM L1 baru, atau sepenuhnya keluar dari model keamanan Ethereum.

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

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

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

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

Era Baru bagi Pengembang dan Pengguna

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

Bagi pengembang, mereka akan dapat mengakses ekosistem pengembangan perangkat lunak yang lebih luas dan matang. Seperti yang dikatakan Vitalik Buterin, pengembang 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 bahasa pemrograman utama dan pustaka besarnya melalui toolchain LLVM, perubahan ini akan sangat revolusioner. Vitalik mengibaratkannya sebagai "pengalaman seperti NodeJS", di mana pengembang dapat menulis kode on-chain dan off-chain dengan bahasa yang sama, mewujudkan integrasi pengembangan.

Bagi pengguna, transformasi ini pada akhirnya akan membawa pengalaman jaringan dengan biaya lebih rendah dan kinerja lebih tinggi. Biaya pembuktian diperkirakan akan turun sekitar 100 kali lipat, dari beberapa dolar per transaksi menjadi beberapa sen atau bahkan lebih murah. Ini langsung berarti 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 Sekarang

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

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

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

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

"Dengan Rollup yang menggunakan OP Stack, tidak perlu lagi menunggu tujuh hari untuk konfirmasi final dan penarikan... Sekarang konfirmasi bisa selesai hanya dalam satu jam. Peningkatan kecepatan ini sangat 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 cetak biru masa depan yang nyata, seperti yang dijelaskan dalam artikel ini.

Bagaimana Ethereum Mengurangi Risiko

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

Ini membuka jalan bagi keamanan yang lebih kuat. Seperti yang ditunjukkan Alex Hicks dari Ethereum Foundation, saat ini sudah ada pekerjaan untuk "memverifikasi formal sirkuit zkVM RISC-V terhadap spesifikasi resmi RISC-V yang diekstrak ke Lean". Ini adalah kemajuan penting, 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

Membuat model Gas yang deterministik dan adil untuk arsitektur instruksi umum (ISA) adalah masalah yang belum terpecahkan. Metode sederhana seperti menghitung instruksi mudah diserang denial of service. Misalnya, penyerang dapat mendesain program yang berulang kali memicu cache miss, sehingga mengonsumsi sumber daya tinggi dengan biaya Gas sangat rendah. Masalah ini menjadi tantangan berat bagi stabilitas jaringan dan model ekonomi.

Keamanan Toolchain dan Masalah "Reproducible Build"

Ini adalah risiko terpenting namun sering diremehkan dalam proses transformasi. Model keamanan beralih dari mengandalkan virtual machine on-chain ke kompiler off-chain (seperti LLVM), yang sangat kompleks dan diketahui memiliki bug. Penyerang dapat mengeksploitasi bug kompiler untuk mengubah source code yang tampak tidak berbahaya menjadi bytecode berbahaya. Selain itu, memastikan file biner hasil kompilasi di chain benar-benar identik dengan source code publik—masalah "reproducible build"—juga sangat sulit. Perbedaan kecil di lingkungan build dapat menghasilkan file biner berbeda, memengaruhi transparansi dan kepercayaan. Masalah-masalah ini menjadi tantangan berat bagi keamanan pengembang 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 precompiled, lalu menjalankan lingkungan dual virtual machine, komunitas dapat mengumpulkan pengalaman operasional dan membangun kepercayaan dalam lingkungan berisiko rendah, menghindari perubahan yang tidak dapat diubah. Pendekatan bertahap ini memberikan dasar yang 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 panggilan Ethproofs, alat fuzz testing Argus mereka telah menemukan 11 bug kritis pada zkVM terkemuka. Ini menunjukkan bahwa bahkan sistem dengan desain terbaik pun dapat 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 harus mengadopsi satu konfigurasi RISC-V yang standar. Kemungkinan besar RV64GC dengan ABI yang kompatibel Linux, karena kombinasi ini paling didukung oleh bahasa pemrograman dan alat utama, memaksimalkan keuntungan ekosistem baru. Standardisasi tidak hanya meningkatkan efisiensi pengembang, tetapi juga meletakkan fondasi kokoh untuk perkembangan ekosistem jangka panjang.

Masa Depan Ethereum yang Dapat Diverifikasi

Proposal menggantikan Ethereum Virtual Machine (EVM) dengan RISC-V bukan sekadar upgrade bertahap, melainkan rekonstruksi mendasar layer eksekusi Ethereum. Visi ambisius ini bertujuan mengatasi bottleneck skalabilitas mendalam, menyederhanakan kompleksitas protokol, dan menyelaraskan platform dengan ekosistem komputasi umum yang lebih luas. Meskipun transformasi ini menghadapi tantangan teknis dan sosial besar, manfaat strategis jangka panjangnya cukup untuk membenarkan upaya berani 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 mewujudkan 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 cetak biru yang dapat dioperasikan untuk masa depan ini. Dengan mengadopsi RISC-V, Ethereum tidak hanya mengatasi bottleneck skalabilitasnya sendiri, tetapi juga memposisikan dirinya sebagai lapisan kepercayaan dasar untuk internet generasi berikutnya—didorong oleh primitif kriptografi ketiga terbesar setelah hash dan signature, yaitu SNARK.

Membuktikan perangkat lunak dunia, membuka era baru kripto.

Pelajari lebih lanjut: