Pendiri Ethereum Vitalik Buterin mengatakan perlombaan untuk membuat zero-knowledge proof cukup cepat untuk Ethereum telah dimenangkan secara pasti. Buterin mengatakan prioritas utama untuk zkEVM sekarang harus sepenuhnya beralih ke keamanan. Komentar Buterin menyusul klaim ZKsync tentang proving real-time pada satu kartu grafis.
Evaluasi mandiri ZKsync menemukan bahwa Airbender Prime menghasilkan 99% bukti dalam waktu kurang dari 10 detik di seluruh 7.200 blok mainnet berturut-turut. Ethereum menambahkan satu blok setiap 12 detik. ZKsync menyatakan tidak ada blok dalam sampel yang memakan waktu selama itu untuk dibuktikan. ZKsync menyatakan bahwa ETHproofs, pemimpin prover publik, menempatkan Airbender Prime di peringkat pertama dalam waktu pembuktian rata-rata. ZKsync berargumen bahwa persyaratan perangkat keras yang lebih rendah membuka peluang pembuktian bagi lebih banyak institusi dan operator independen.
Validator ethereum saat ini menjalankan ulang setiap transaksi untuk memeriksa sebuah blok. Zero-knowledge proof mengonfirmasi bahwa sebuah komputasi berjalan dengan benar tanpa mengulangi komputasi tersebut. Zero-knowledge proof akan memungkinkan validator untuk memeriksa bukti singkat alih-alih. Perubahan ini dapat mengurangi beban kerja validator per blok.
Buterin menamakan tiga persyaratan untuk zkEVM, sistem yang membuktikan eksekusi Ethereum. Buterin mengatakan zkEVM harus sesuai dengan spesifikasi Ethereum. Buterin mengatakan zkEVM harus membatasi biaya pembuktian terhadap block gas. Buterin mengatakan zkEVM harus bergantung pada sistem bukti yang kuat. Buterin menginginkan setiap persyaratan diverifikasi secara formal, artinya dibuktikan secara matematis, bukan hanya diuji.
Pembuktian yang lebih cepat tidak secara langsung memengaruhi harga Ethereum. Airbender Prime adalah alat ZKsync, bukan perubahan protokol Ethereum. Airbender Prime tidak mengubah pasokan ETH, biaya, maupun imbalan staking Ethereum. Setiap efek harga kemungkinan lebih besar berasal dari sentimen terhadap peta jalan Ethereum, bersama dengan kondisi makroekonomi dan arus dana.
Masalah yang lebih besar adalah kredibilitas. ZKsync mempromosikan teknologi ini ke bank, berargumen bahwa bahkan server yang diretas tidak dapat mengupdate buku besar yang melanggar aturan yang telah diverifikasi. Prover cepat dengan kelemahan akan menggagalkan tujuan tersebut. Verifikasi formal dan audit kini dapat menentukan zkEVM mana yang dapat dipercaya oleh Ethereum.