Halo semua, dalam ekosistem Ethereum saat ini, baik Optimistic Rollup maupun ZK Rollup, semuanya mempertahankan sistem verifikasi on-chain yang sangat besar dan berisiko tinggi. Setiap kali ada perbaikan bug pada mesin virtual dasar, harus melalui pembaruan tata kelola terdesentralisasi yang panjang dan berbahaya.
Baru-baru ini, forum penelitian Ethereum (ethresear.ch) muncul dengan usulan yang sangat disruptif: mendorong untuk menggeneralisasi EIP-8025 dan memperkenalkan EIP baru untuk menambahkan 'verifikasi bukti asli' (Native Proof Verification) yang umum ke dasar Ethereum.
Jika usulan ini diterapkan, Rollup di masa depan tidak perlu menerapkan kontrak verifikasi pintar yang kompleks di on-chain, melainkan dapat 'memanfaatkan' infrastruktur verifikasi dari lapisan konsensus Ethereum (CL). Ini tidak hanya dapat secara signifikan mengurangi kode redundan di jaringan utama Ethereum, tetapi juga meningkatkan logika keamanan dan upgrade Ethereum L2 ke tingkat yang belum pernah terjadi sebelumnya.
Artikel ini akan membongkar logika inti dari usulan teknis ini, mekanisme implementasinya, dan dampaknya yang mendalam terhadap jalur skalabilitas di masa depan.
Satu, analisis titik sakit: 'Achilles' heel' dari sistem verifikasi Rollup saat ini.
Dalam paradigma skalabilitas saat ini, setiap Ethereum L2 seperti 'kerajaan' yang mandiri, masing-masing berperang sendiri, membangun infrastruktur verifikasi yang sangat kompleks di atas L1.
Kontrak on-chain yang rumit: ZK Rollup harus menerapkan kontrak verifikator zkVM tertentu, adaptor, dan penjadwal; sementara Optimistic Rollup perlu menerapkan mesin bukti penipuan yang besar dan logika penyelesaian sengketa.
Biaya pemeliharaan yang tinggi dan risiko keamanan: Kontrak-kontrak ini dikelola secara independen oleh tim masing-masing. Jika sistem bukti atau mesin virtual dasar ditemukan memiliki bug, tim pengembang harus menjalankan pembaruan kontrak melalui tanda tangan multipel (Multi-sig) atau pemungutan suara DAO.
Kelemahan dan pengulangan yang efisien di ekosistem: Ada banyak fenomena pengulangan di ekosistem Ethereum, di mana proyek yang berbeda mempertahankan repositori kode verifikasi yang serupa, yang tidak hanya menghabiskan gas yang besar, tetapi juga memperbesar kerentanan keamanan di seluruh jaringan.
Sebagai contoh, sebuah Rollup yang mengadopsi arsitektur 'multi-bukti' mungkin perlu menerapkan hingga enam kontrak di L1 (termasuk beberapa verifikator zkVM asli dari berbagai vendor, adaptor khusus, penjadwal multi-bukti, dll.). Setiap pembaruan di salah satu tahap adalah mimpi buruk yang bisa mengganggu seluruh sistem.
Dua, terobosan inti: menggeneralisasi EIP-8025, memperkenalkan primitif verifikasi umum.
EIP-8025 awalnya dirancang untuk 'Statelessness' (tanpa status) dari Ethereum L1 itu sendiri, yang memperkenalkan infrastruktur verifikasi bukti zkVM di lapisan konsensus (CL). Namun, desain awalnya terlalu 'egois', hanya melayani verifikasi beban eksekusi spesifik untuk jaringan utama Ethereum.
Keberanian usulan baru adalah: mengingat lapisan konsensus sudah memiliki mesin bukti, protokol siaran, dan logika verifikasi, mengapa tidak membukanya untuk semua kontrak pintar?
Usulan ini mewujudkan dua perubahan inti untuk mencapai tujuan ini:
Generalisasi mesin verifikasi di lapisan konsensus (CL).
Usulan ini merekomendasikan untuk memisahkan bagian yang terkait dengan logika spesifik Ethereum dari EIP-8025, sehingga infrastruktur verifikasi bukti dasar menjadi 'agnostik program' (Program-agnostic).
Wadah bukti baru dibagi menjadi dua dimensi kunci:
Jenis backend (Backend Type): digunakan untuk memberitahu lapisan konsensus jenis sistem bukti dasar apa yang harus digunakan (misalnya, jenis zkVM tertentu).
Hash program (Program Hash): untuk secara unik mengidentifikasi program klien spesifik yang sedang dieksekusi.
Dengan demikian, mesin verifikasi di lapisan konsensus berfungsi seperti 'colokan' universal; setiap Rollup atau bahkan protokol privasi, ZK co-processor, dapat terhubung ke jaringan verifikasi ini asalkan mereka menyediakan 'colokan' yang benar (identifikasi backend dan hash program).
2. Transaksi 'Bukti yang Dibawa' (Proof-carrying Transaction) yang sepenuhnya baru.
Untuk memungkinkan kontrak pintar di lapisan aplikasi menyadari dan memanfaatkan hasil verifikasi di lapisan konsensus, usulan ini memperkenalkan jenis transaksi baru dan tiga opcode (kode operasi) baru yang mendukung:
Transformasi di lapisan transaksi: tipe transaksi baru ini mencakup daftar bukti tambahan (yang mencatat hash program dan jenis backend) serta sebuah hash output publik.
Mengurangi beban di lapisan kontrak pintar: Usulan menambahkan tiga opcode yang tidak memerlukan perhitungan kriptografi yang kompleks (masing-masing untuk membaca hash program, hash output publik, dan jumlah bukti).
Pembentukan ulang alur kerja: Ketika transaksi yang membawa bukti ini menyebar di mempool, node jaringan dan pembangun blok akan bertanggung jawab untuk menjalankan verifikasi matematis yang berat di lapisan dasar. Setelah transaksi dikemas ke dalam blok, kontrak pintar hanya perlu memanggil opcode baru tersebut untuk secara 'ringan' mengkonfirmasi apakah bukti valid.
Tiga, lompatan paradigma: 'rilis klien' menggantikan 'tata kelola on-chain'.
Pengenalan mekanisme ini akan membawa perubahan mendasar dalam arsitektur.
Dulu, jika pustaka dasar zkVM yang digunakan oleh Rollup mengalami celah keamanan, tim Rollup harus segera mengajukan usulan, menjalani proses tata kelola on-chain untuk memperbarui kontrak verifikasi di L1.
Dalam paradigma 'verifikasi bukti asli', semua pekerjaan verifikasi berat dipindahkan ke perangkat lunak klien Ethereum L1 (seperti Geth, Nethermind, dll.). Ketika zkVM dasar perlu diperbaiki, tim pengembang klien Ethereum hanya perlu merilis versi perangkat lunak baru. Setelah node Ethereum memperbarui perangkat lunak, bug akan diperbaiki secara otomatis.
Ini seperti ketika sistem operasi memperbarui patch keamanan dasar, semua perangkat lunak yang berjalan di atasnya secara otomatis akan mendapatkan manfaat, tanpa perlu setiap pengembang perangkat lunak menulis ulang kode mereka. Rollup benar-benar mewujudkan penerapan mekanisme peningkatan keamanan Ethereum L1.
Empat, dampak mendalam terhadap jalur L2.
Berdasarkan perkiraan kasar dalam usulan, jika mekanisme asli ini diterapkan, beberapa Rollup utama saat ini (termasuk optimasi berbasis WASM atau MIPS, serta perluasan berbasis zkVM) akan dapat menghapus 20% hingga 50% kode logika inti di on-chain.
Tumpukan verifikator yang awalnya ribuan baris rumit dapat dipangkas menjadi kontrak 'kotak masuk' (Inbox) yang sangat sederhana. Kontrak ini hanya perlu menggunakan opcode baru untuk memeriksa apakah jumlah bukti memenuhi syarat, dan apakah hash program terdaftar dalam whitelist-nya, untuk menyelesaikan verifikasi.
Sementara itu, mekanisme ini juga secara elegan menyelesaikan masalah pengaturan 'multi-bukti' (Multi-proof). Bukti dari backend yang berbeda dapat dikemas di lapisan transaksi dan diverifikasi secara paralel oleh dasar, sehingga kontrak pintar tidak perlu lagi ditulis dalam kode yang 'spaghetti' untuk mengoordinasikan beberapa sistem bukti.
Kesimpulan; dari 'kontrak on-chain yang terpersonalisasi dan saling bersaing', menuju 'primitif asli di lapisan konsensus' yang bersatu, adalah jalur yang tidak terhindarkan untuk ekosistem Ethereum menuju kedewasaan dan modularitas.
Meskipun usulan ini masih perlu didiskusikan lebih lanjut mengenai detail seperti 'jaminan stabilitas hash program (yaitu bagaimana melakukan pemeliharaan rutin pada kode dasar tanpa mengubah identifikasi on-chain)', arah yang ditunjukkan—membuat Rollup lebih ringan, aman, dan lebih terikat pada konsensus dasar Ethereum L1—tanpa diragukan lagi memberikan solusi masa depan yang sangat imajinatif bagi jalur skalabilitas yang terjebak dalam kebuntuan tata kelola dan pembengkakan kode.
⚠️ 【Pemberitahuan】 Konten artikel ini hanya untuk pemecahan teknis dan model ekonomi dasar, tidak dianggap sebagai saran investasi. Data bersumber dari internet. Perdagangan derivatif kripto memiliki risiko tinggi, harap selalu menilai kemampuan risiko Anda, dan mengambil keputusan dengan hati-hati.
🌹 Jika Anda menyukai analisis mendalam ini, silakan like, follow, komen, dan share! Dukungan Anda adalah pendorong terbesar kami untuk terus berkarya.
