Peneliti Ethereum ladislaus.eth menerbitkan panduan minggu lalu yang menjelaskan bagaimana Ethereum berencana beralih dari mengeksekusi ulang setiap transaksi menjadi memverifikasi bukti zero-knowledge.
Postingan tersebut menggambarkannya sebagai "transformasi yang tenang namun fundamental," dan penggambaran tersebut akurat. Bukan karena pekerjaannya rahasia, tetapi karena implikasinya menyebar ke seluruh arsitektur Ethereum dengan cara yang tidak akan jelas sampai bagian-bagiannya terhubung.
Ini bukan Ethereum "menambahkan ZK" sebagai fitur. Ethereum sedang membuat prototipe jalur validasi alternatif di mana beberapa validator dapat mengesahkan blok dengan memverifikasi bukti eksekusi yang ringkas daripada menjalankan ulang setiap transaksi.
Jika berhasil, peran layer-1 Ethereum bergeser dari "penyelesaian dan ketersediaan data untuk rollup" menuju "eksekusi throughput tinggi yang verifikasinya tetap cukup murah untuk validator rumahan."
EIP-8025, berjudul "Optional Execution Proofs," diluncurkan dalam bentuk draft dan menentukan mekanismenya.
Bukti eksekusi dibagikan melalui jaringan peer-to-peer lapisan konsensus melalui topik khusus. Validator dapat beroperasi dalam dua mode baru: menghasilkan bukti atau validasi stateless.
Proposal tersebut secara eksplisit menyatakan bahwa "tidak memerlukan hardfork" dan tetap kompatibel dengan versi sebelumnya, sementara node masih dapat mengeksekusi ulang seperti yang mereka lakukan saat ini.
Tim zkEVM Ethereum Foundation menerbitkan roadmap konkret untuk 2026 pada 26 Januari, yang menguraikan enam sub-tema: standardisasi execution witness dan program guest, standardisasi zkVM-guest API, integrasi lapisan konsensus, infrastruktur prover, benchmarking dan metrik, serta keamanan dengan verifikasi formal.
Panggilan breakout L1-zkEVM pertama dijadwalkan pada 11 Februari pukul 15:00 UTC.
Pipeline end-to-end bekerja seperti ini: klien lapisan eksekusi menghasilkan ExecutionWitness, paket mandiri yang berisi semua data yang diperlukan untuk memvalidasi blok tanpa menyimpan state lengkap.
Program guest yang terstandarisasi mengonsumsi witness tersebut dan memvalidasi transisi state. ZkVM mengeksekusi program ini, dan prover menghasilkan bukti eksekusi yang benar. Klien lapisan konsensus kemudian memverifikasi bukti tersebut alih-alih memanggil klien lapisan eksekusi untuk mengeksekusi ulang.
Ketergantungan kunci adalah ePBS (Enshrined Proposer-Builder Separation), yang ditargetkan untuk hardfork Glamsterdam mendatang. Tanpa ePBS, jendela pembuktian kira-kira satu hingga dua detik, yang terlalu ketat untuk pembuktian real-time. Dengan ePBS yang menyediakan pipelining blok, jendela diperpanjang menjadi enam hingga sembilan detik.
Grafik menunjukkan ePBS memperpanjang jendela pembuktian Ethereum dari 1-2 detik menjadi 6-9 detik, membuat generasi bukti real-time menjadi layak dibandingkan dengan waktu pembuktian rata-rata tujuh detik saat ini yang memerlukan 12 GPU.
Trade-off desentralisasi
Jika bukti opsional dan format witness matang, lebih banyak validator rumahan dapat berpartisipasi tanpa mempertahankan state lapisan eksekusi lengkap.
Menaikkan batas gas menjadi lebih mudah secara politis dan ekonomis karena biaya validasi terpisah dari kompleksitas eksekusi. Pekerjaan verifikasi tidak lagi meningkat secara linear dengan aktivitas on-chain.
Namun, pembuktian membawa risiko sentralisasinya sendiri. Postingan Ethereum Research dari 2 Februari melaporkan bahwa membuktikan blok Ethereum lengkap saat ini memerlukan sekitar 12 GPU dan memakan waktu rata-rata 7 detik.
Penulis menandai kekhawatiran tentang sentralisasi dan mencatat bahwa batas tetap sulit diprediksi. Jika pembuktian tetap bergantung pada GPU dan terkonsentrasi di jaringan builder atau prover, Ethereum mungkin menukar "semua orang mengeksekusi ulang" dengan "sedikit membuktikan, banyak memverifikasi."
Desain ini bertujuan untuk mengatasi hal ini dengan memperkenalkan keragaman klien di lapisan pembuktian. Asumsi kerja EIP-8025 adalah ambang batas tiga dari lima, yang berarti attester menerima eksekusi blok sebagai valid setelah memverifikasi tiga dari lima bukti independen dari implementasi klien lapisan eksekusi yang berbeda.
Ini mempertahankan keragaman klien di tingkat protokol tetapi tidak menyelesaikan masalah akses perangkat keras.
Penggambaran yang paling jujur adalah bahwa Ethereum menggeser medan pertempuran desentralisasi. Batasan hari ini adalah "bisakah Anda menjalankan klien lapisan eksekusi?" Besok mungkin "bisakah Anda mengakses cluster GPU atau jaringan prover?"
Taruhannya adalah bahwa verifikasi bukti lebih mudah dikomersialisasikan daripada penyimpanan state dan eksekusi ulang, tetapi pertanyaan perangkat keras tetap terbuka.
Roadmap Ethereum, terakhir diperbarui 5 Februari, mencantumkan "Statelessness" sebagai tema upgrade utama: memverifikasi blok tanpa menyimpan state besar.
Bukti eksekusi opsional dan witness adalah mekanisme konkret yang membuat validasi stateless praktis. Node stateless hanya memerlukan klien konsensus dan memverifikasi bukti selama pemrosesan payload.
Sinkronisasi berkurang menjadi mengunduh bukti untuk blok terbaru sejak checkpoint finalisasi terakhir.
Ini penting untuk batas gas. Hari ini, setiap peningkatan batas gas membuat menjalankan node lebih sulit. Jika validator dapat memverifikasi bukti daripada mengeksekusi ulang, biaya verifikasi tidak lagi meningkat dengan batas gas. Kompleksitas eksekusi dan biaya validasi terpisah.
Alur kerja benchmarking dan repricing dalam roadmap 2026 secara eksplisit menargetkan metrik yang memetakan gas yang dikonsumsi ke siklus pembuktian dan waktu pembuktian.
Jika metrik tersebut stabil, Ethereum mendapatkan tuas yang belum pernah dimilikinya sebelumnya: kemampuan untuk meningkatkan throughput tanpa secara proporsional meningkatkan biaya menjalankan validator.
Postingan terbaru oleh Vitalik Buterin berpendapat bahwa blockchain layer-2 harus membedakan diri di luar penskalaan dan secara eksplisit mengikat nilai "native rollup precompile" dengan kebutuhan akan bukti zkEVM yang ditanamkan yang sudah dibutuhkan Ethereum untuk menskalakan layer-1.
Logikanya sederhana: jika semua validator memverifikasi bukti eksekusi, bukti yang sama juga dapat digunakan oleh precompile EXECUTE untuk rollup native. Infrastruktur pembuktian layer-1 menjadi infrastruktur bersama.
Ini menggeser proposisi nilai layer-2. Jika layer-1 dapat menskalakan ke throughput tinggi sambil menjaga biaya verifikasi rendah, rollup tidak dapat membenarkan diri mereka atas dasar "Ethereum tidak dapat menangani beban."
Sumbu diferensiasi baru adalah mesin virtual khusus, latensi ultra-rendah, prekonfirmasi, dan model komposabilitas seperti rollup yang mengandalkan desain pembuktian cepat.
Skenario di mana layer-2 tetap relevan adalah skenario di mana peran dibagi antara spesialisasi dan interoperabilitas.
Layer-1 menjadi lapisan eksekusi dan penyelesaian throughput tinggi dengan biaya verifikasi rendah. Layer-2 menjadi laboratorium fitur, pengoptimal latensi, dan jembatan komposabilitas.
Namun, itu mengharuskan tim layer-2 untuk mengartikulasikan proposisi nilai baru dan Ethereum untuk memenuhi roadmap verifikasi-bukti.
Ada tiga skenario potensial di masa depan.
Skenario pertama terdiri dari validasi proof-first menjadi umum. Jika bukti opsional dan format witness matang dan implementasi klien stabil di sekitar antarmuka terstandar, lebih banyak validator rumahan dapat berpartisipasi tanpa menjalankan state lapisan eksekusi lengkap.
Batas gas meningkat karena biaya validasi tidak lagi sejalan dengan kompleksitas eksekusi. Jalur ini bergantung pada alur kerja standardisasi ExecutionWitness dan program guest yang menyatu pada format portabel.
Skenario kedua adalah di mana sentralisasi prover menjadi titik hambatan baru. Jika pembuktian tetap bergantung pada GPU dan terkonsentrasi di jaringan builder atau prover, maka Ethereum menggeser medan pertempuran desentralisasi dari perangkat keras validator ke struktur pasar prover.
Protokol masih berfungsi, karena satu prover jujur di mana saja menjaga rantai tetap hidup, tetapi model keamanan berubah.
Skenario ketiga adalah verifikasi bukti layer-1 menjadi infrastruktur bersama. Jika integrasi lapisan konsensus mengeras dan ePBS memberikan jendela pembuktian yang diperpanjang, maka proposisi nilai Layer 2 condong ke arah VM khusus, latensi ultra-rendah, dan model komposabilitas baru daripada hanya "menskalakan Ethereum".
Jalur ini mengharuskan ePBS dikirim sesuai jadwal untuk Glamsterdam.
| Skenario | Apa yang harus benar (prasyarat teknis) | Apa yang rusak / risiko utama | Apa yang meningkat (desentralisasi, batas gas, waktu sinkronisasi) | Hasil peran L1 (throughput eksekusi vs biaya verifikasi) | Implikasi L2 (sumbu diferensiasi baru) | Sinyal "Apa yang harus diperhatikan" |
|---|---|---|---|---|---|---|
| Validasi proof-first menjadi umum | Standar Execution Witness + program guest menyatu; zkVM/guest API terstandarisasi; jalur verifikasi bukti CL stabil; bukti menyebar dengan andal di P2P; semantik ambang batas multi-bukti yang dapat diterima (mis. 3-dari-5) | Ketersediaan / latensi bukti menjadi ketergantungan baru; bug verifikasi menjadi sensitif terhadap konsensus jika/ketika diandalkan; ketidakcocokan di seluruh klien/prover | Validator rumahan dapat mengesahkan tanpa state EL; waktu sinkronisasi turun (bukti sejak checkpoint finalisasi); peningkatan batas gas menjadi lebih mudah karena biaya verifikasi terpisah dari kompleksitas eksekusi | L1 bergeser ke arah eksekusi throughput lebih tinggi dengan biaya verifikasi yang konstan untuk banyak validator | L2 harus membenarkan diri mereka di luar "L1 tidak dapat menskalakan": VM khusus, eksekusi khusus aplikasi, model biaya khusus, privasi, dll. | Penguatan spesifikasi/test-vector; portabilitas witness/guest di seluruh klien; gossip bukti yang stabil + penanganan kegagalan; kurva benchmark (gas → siklus pembuktian/waktu) |
| Sentralisasi prover menjadi titik hambatan | Generasi bukti tetap bergantung pada GPU; pasar pembuktian terkonsolidasi (builder / jaringan prover); pembuktian "skala garasi" terbatas; liveness bergantung pada sekelompok kecil prover canggih | "Sedikit membuktikan, banyak memverifikasi" memusatkan kekuatan; dinamika sensor / MEV meningkat; gangguan prover menciptakan tekanan liveness/finalitas; risiko konsentrasi geografis / regulasi | Validator mungkin masih memverifikasi dengan murah, tetapi pergeseran terdesentralisasi: pengesahan lebih mudah, pembuktian lebih sulit; beberapa ruang batas gas, tetapi dibatasi oleh ekonomi prover | L1 menjadi dapat diskalakan eksekusi secara teori, tetapi secara praktis dibatasi oleh kapasitas prover dan struktur pasar | L2 mungkin condong ke desain based / pre-confirmed, sistem pembuktian alternatif, atau jaminan latensi—berpotensi meningkatkan ketergantungan pada aktor istimewa | Tren biaya pembuktian (persyaratan perangkat keras, waktu per blok); metrik keragaman prover; insentif untuk pembuktian terdistribusi; latihan mode kegagalan (apa yang terjadi ketika bukti hilang?) |
| Verifikasi bukti L1 menjadi infrastruktur bersama | Integrasi CL "mengeras"; bukti diproduksi / dikonsumsi secara luas; ePBS dikirim dan menyediakan jendela pembuktian yang dapat dikerjakan; antarmuka memungkinkan penggunaan kembali (mis. precompile gaya EXECUTE / hook rollup native) | Risiko kopling lintas domain: jika infra pembuktian L1 tertekan, jalur verifikasi rollup juga dapat menderita; kompleksitas / permukaan serangan meluas | Infra bersama mengurangi upaya pembuktian duplikat; meningkatkan interoperabilitas; biaya verifikasi yang lebih dapat diprediksi; jalur yang lebih jelas ke throughput L1 yang lebih tinggi tanpa menaikkan harga validator | L1 berkembang menjadi lapisan eksekusi + penyelesaian yang diverifikasi bukti yang juga dapat memverifikasi rollup secara native | L2 beralih ke latensi (preconfs), lingkungan eksekusi khusus, dan model yang dapat dikomposisi (mis. desain pembuktian cepat / sinkron) daripada hanya "skala" | Kemajuan ePBS / Glamsterdam; demo pipeline end-to-end (witness → bukti → verifikasi CL); benchmark + kemungkinan repricing gas; peluncuran semantik distribusi bukti yang layak minimum dan pemantauan |
Kematangan integrasi consensus-specs akan menandakan apakah "bukti opsional" bergerak dari sebagian besar TODO ke vektor tes yang mengeras.
Standardisasi ExecutionWitness dan program guest adalah kunci untuk portabilitas validasi stateless di seluruh klien. Benchmark yang memetakan gas yang dikonsumsi ke siklus pembuktian dan waktu pembuktian akan menentukan apakah repricing gas untuk keramahan ZK layak.
Kemajuan ePBS dan Glamsterdam akan menunjukkan apakah jendela pembuktian enam hingga sembilan detik menjadi kenyataan. Output panggilan breakout akan mengungkapkan apakah kelompok kerja menyatu pada antarmuka dan semantik distribusi bukti yang layak minimum.
Ethereum tidak beralih ke validasi berbasis bukti segera. EIP-8025 secara eksplisit menyatakan "tidak dapat mendasarkan upgrade padanya belum," dan pembingkaian opsional adalah disengaja. Akibatnya, ini adalah jalur yang dapat diuji daripada aktivasi yang akan datang.
Namun, fakta bahwa Ethereum Foundation mengirimkan roadmap implementasi 2026, menjadwalkan panggilan breakout dengan pemilik proyek, dan menyusun EIP dengan mekanik gossip peer-to-peer yang konkret berarti pekerjaan ini telah beralih dari kemungkinan penelitian ke program pengiriman.
Transformasinya tenang karena tidak melibatkan perubahan ekonomi token yang dramatis atau fitur yang menghadap pengguna. Tetapi ini fundamental karena menulis ulang hubungan antara kompleksitas eksekusi dan biaya validasi.
Jika Ethereum dapat memisahkan keduanya, layer-1 tidak akan lagi menjadi hambatan yang memaksa segala sesuatu yang menarik ke layer-2.
Dan jika verifikasi bukti layer-1 menjadi infrastruktur bersama, seluruh ekosistem layer-2 perlu menjawab pertanyaan yang lebih sulit: apa yang Anda bangun yang tidak bisa dilakukan layer-1?
Postingan Ethereum wants home validators to verify proofs but a 12 GPU reality raises a new threat pertama kali muncul di CryptoSlate.

