Peta Jalan Interop "Dipercepat": Setelah pembaruan Fusaka, interoperabilitas Ethereum mungkin akan mencapai lompatan penting

Pembacaan Chainfeeds:

Tanpa ZK real-time, sangat sulit untuk memiliki Interop UX yang benar-benar dapat digunakan.

Sumber Artikel:

Penulis Artikel:

imToken Labs

Pendapat:

imToken Labs: Pada 4 Desember, upgrade Fusaka Ethereum secara resmi diaktifkan di mainnet, hanya saja tidak seheboh upgrade Dencun pada masa lalu, dan sorotan pasar juga lebih banyak terfokus pada perluasan Blob dan PeerDAS, serta antusias membicarakan penurunan biaya data L2 lebih lanjut. Namun di luar hiruk-pikuk ini, sebenarnya ada proposal yang tampak tidak mencolok yaitu EIP-7825, yang telah mengatasi hambatan terbesar bagi Ethereum untuk mewujudkan L1 zkEVM dan pembuktian real-time, bahkan bisa dikatakan diam-diam sedang membuka jalan menuju akhir Interop. Dalam upgrade Fusaka kali ini, hampir semua perhatian tertuju pada perluasan: kapasitas Blob diperbesar 8 kali lipat, dipadukan dengan verifikasi sampling acak PeerDAS, membuat narasi biaya pada jalur DA (ketersediaan data) benar-benar menjadi sejarah. Memang, L2 yang lebih murah adalah hal baik, namun untuk roadmap ZK jangka panjang Ethereum, EIP-7825 adalah pengubah aturan permainan yang sesungguhnya, karena proposal ini menetapkan batas atas Gas untuk setiap transaksi di Ethereum (sekitar 16,78 juta Gas). Seperti yang diketahui, tahun ini batas Gas blok Ethereum telah dinaikkan menjadi 60 juta, namun meskipun batas atas terus meningkat, secara teori jika ada yang bersedia membayar Gas Price sangat tinggi, ia tetap dapat mengirim satu "Mega-Transaction" yang sangat kompleks, langsung memenuhi kapasitas blok 60 juta Gas dan menyumbat seluruh blok. Lalu mengapa perlu membatasi ukuran transaksi tunggal? Sebenarnya perubahan ini tidak berdampak pada transfer pengguna biasa, namun bagi ZK Prover (generator bukti), ini adalah masalah hidup dan mati, dan sangat berkaitan dengan cara sistem ZK menghasilkan bukti. Sebagai contoh sederhana, sebelum EIP-7825, jika dalam satu blok terdapat "Mega-Transaction" yang menghabiskan 60 juta Gas, ZK Prover harus menjalankan transaksi yang sangat kompleks ini secara berurutan, tidak bisa dipecah, tidak bisa paralel, seperti jalan tol satu jalur dengan truk raksasa yang berjalan sangat lambat di depan, sehingga semua mobil kecil (transaksi lain) harus menunggu di belakangnya. Ini jelas mematikan "pembuktian real-time" — karena waktu pembuatan bukti menjadi tidak terkendali, bisa memakan waktu puluhan menit atau bahkan lebih lama. Namun setelah EIP-7825, sekalipun kapasitas blok di masa depan diperbesar menjadi 100 juta Gas, karena setiap transaksi dibatasi maksimal 16,78 juta Gas, setiap blok dipecah menjadi "unit tugas kecil" yang dapat diprediksi, terbatas, dan dapat diproses secara paralel, yang berarti pembuatan bukti Ethereum berubah dari "masalah logika" yang rumit menjadi "masalah kekuatan komputasi murni (Money Problem)": selama kita dapat menginvestasikan cukup banyak kekuatan komputasi paralel, kita dapat memproses tugas-tugas kecil ini secara bersamaan dalam waktu singkat, sehingga dapat menghasilkan bukti ZK untuk blok besar. Namun meskipun EIP-7825 telah membuka jalan fisik (dapat diparalelkan) untuk pembuktian real-time dengan membatasi ukuran transaksi tunggal, ini hanya satu sisi koin, sisi lainnya adalah bagaimana mainnet Ethereum sendiri memanfaatkan kemampuan ini? Ini berkaitan dengan narasi paling hardcore dalam roadmap Ethereum — L1 zkEVM. Selama ini, zkEVM dianggap sebagai "Holy Grail" untuk memperluas Ethereum, bukan hanya karena dapat mengatasi bottleneck performa, tetapi juga karena mendefinisikan ulang mekanisme kepercayaan blockchain. Inti dari idenya adalah agar mainnet Ethereum memiliki kemampuan untuk menghasilkan dan memverifikasi bukti ZK. Dengan kata lain, di masa depan setiap blok Ethereum setelah dieksekusi dapat menghasilkan bukti matematis yang dapat diverifikasi, sehingga node lain (terutama light node dan L2) tidak perlu melakukan perhitungan ulang untuk memastikan kebenaran hasilnya — jika kemampuan menghasilkan bukti ZK ini langsung ditulis ke dalam protokol Ethereum (L1), setiap kali proposer mengemas satu blok dan menghasilkan satu bukti ZK, node verifikasi tidak perlu lagi menjalankan ulang transaksi, cukup memverifikasi bukti matematis yang sangat kecil ini.