ZKsync meluncurkan Airbender Prime, prover zero-knowledge yang berhasil membuktikan 7.200 blok Ethereum dalam waktu kurang dari 10 detik hanya menggunakan satu GPU. Vitalik Buterin, salah satu pendiri Ethereum, menyebutnya sebagai pencapaian penting dan menegaskan bahwa pengembangan zkEVM kini harus berfokus pada keamanan, bukan lagi kecepatan.
Apa yang sebenarnya terjadi
ZKsync mengumumkan Airbender Prime, prover zero-knowledge untuk Ethereum, pada 17 Oktober 2026, menurut laporan Wu Blockchain. Dalam pengujian, satu unit GPU NVIDIA RTX PRO 6000 Blackwell berhasil menghasilkan bukti untuk 7.200 blok Ethereum mainnet secara berurutan. Sebanyak 99% bukti blok rampung dalam waktu kurang dari 10 detik, dan setiap blok selesai dalam maksimal 12 detik, termasuk waktu persiapan witness. Prover ini berjalan di atas standar terbuka RISC-V dan menggunakan teknologi bukti STARK berbasis hash, yang dirancang untuk keamanan pasca-kuantum. Sistem ini juga dilengkapi verifier mandiri untuk pengecekan independen. Buterin memberikan apresiasi kepada tim Airbender dan menyatakan bahwa persaingan soal kecepatan bukti zkEVM telah mencapai hasil yang menentukan. Menurutnya, prioritas kini harus sepenuhnya bergeser ke arah keamanan.
Bagaimana kita sampai di sini
Bukti zero-knowledge memungkinkan sebuah rollup membuktikan validitas transaksi Ethereum tanpa perlu mengulang seluruh komputasi, sehingga memangkas biaya dan mempercepat finalitas. Selama bertahun-tahun, tim-tim zkEVM bersaing terutama soal kecepatan pembuktian, karena proses yang lambat menghambat penarikan dana dan menambah biaya. Hasil Airbender Prime, dengan 99% blok terbukti dalam kurang dari 10 detik menggunakan satu GPU kelas konsumen, menjadi salah satu tolok ukur publik tercepat untuk prover yang setara dengan Ethereum. Buterin menguraikan tiga tugas yang belum terselesaikan dalam verifikasi formal: memastikan aritmatika sistem bukti benar-benar sesuai dengan aturan protokol Ethereum, menetapkan batas biaya yang pasti berdasarkan penggunaan gas blok, serta memverifikasi bahwa sistem zero-knowledge itu sendiri valid secara matematis. Hal ini mengubah arah persaingan zkEVM, dari sekadar kontes performa menjadi persoalan audit keamanan.
Mengapa ini penting bagi Anda
Bagi ZKsync, pembuktian yang lebih cepat bisa berarti biaya lebih murah dan finalitas lebih cepat bagi pengguna yang melakukan bridging atau trading di rollup-nya. Bagi tim zkEVM lain, pernyataan Buterin menetapkan standar baru: kecepatan mentah tidak lagi cukup untuk memenangkan argumen, jaminan keamanan formal yang akan menentukan. Para pengembang yang bekerja di bidang skalabilitas Ethereum mungkin kini akan lebih memprioritaskan audit dan pembuktian matematis atas korektnya sistem, dibanding sekadar mengejar rekor benchmark. Pemegang aset di zk-rollup sebaiknya memperhatikan apakah para pesaing mulai mengalihkan sumber daya ke verifikasi formal, karena hal ini berpotensi memperlambat sejumlah roadmap namun mengurangi risiko kerugian dana akibat bug pada prover. Pada akhirnya, penggunalah yang diuntungkan dari rantai blok yang terbukti cepat sekaligus aman.
Pertanyaan besarnya
Jika kecepatan pembuktian bukan lagi faktor penentu, standar baru apa yang akan membedakan zkEVM satu dengan lainnya? Verifikasi formal memang dapat memastikan sebuah sistem sesuai dengan spesifikasinya sendiri, tetapi tidak bisa menjamin bahwa spesifikasi tersebut mencakup setiap kemungkinan serangan di dunia nyata. Lalu, siapa yang akan menentukan kapan sebuah prover sudah cukup terbukti aman untuk mengamankan aset senilai miliaran dolar?
Yang perlu diperhatikan
ZKsync belum mengumumkan tanggal pasti integrasi Airbender Prime ke mainnet. Perhatikan bagaimana para pengembang inti Ethereum merespons peta jalan verifikasi formal yang diusulkan Buterin dalam beberapa minggu mendatang. Proyek-proyek zkEVM lain kemungkinan akan merilis perbandingan benchmark mereka sendiri seiring fokus industri bergeser ke audit keamanan. Bonuz akan terus memantau bagaimana perdebatan ini memengaruhi infrastruktur pembuktian, yang pada akhirnya bisa mendukung perangkat ringan dan selalu aktif seperti kacamata pintar, yang bergantung pada verifikasi cepat dan murah di sisi edge.
