[Satu GPU membuktikan Ethereum. Namun, ujian yang harus dilalui di dunia nyata berbeda.] @zksync berhasil membuktikan 7.200 blok berurutan dari Ethereum mainnet menggunakan hanya satu GPU. 99% di antaranya diselesaikan dalam waktu kurang dari 10 detik, dan seluruh blok diselesaikan dalam waktu kurang dari 12 detik. Namun, menurut indikator operasional real-time EthProofs yang didukung oleh Ethereum Foundation, dari delapan prover yang dievaluasi, hanya dua yang memenuhi kriteria kelayakan mingguan terbaru. Kedua hasil ini tidak dapat dibandingkan langsung karena berbeda dalam hal target pengukuran dan lingkungan. Sebaliknya, perbedaan ini justru mengungkap tantangan berikutnya bagi teknologi ZK. Ringkasan singkat: - Airbender Prime membuktikan kemungkinan bahwa satu GPU mampu menangani siklus pembuatan blok Ethereum sekitar 12 detik. - Dalam operasi nyata, selain kecepatan pembuktian, diperlukan pertimbangan terhadap ketersediaan, kegagalan pembuktian, dan persyaratan perangkat keras. - Dalam jangka panjang, daya saing zkEVM kemungkinan besar akan ditentukan oleh validasi akurasi, biaya pembuktian dalam kondisi terburuk, dan kemampuan operasional yang stabil. Airbender Prime, yang diumumkan oleh ZKsync pada 13 Oktober, berhasil membuktikan 7.200 blok berurutan dari Ethereum mainnet menggunakan hanya satu NVIDIA RTX PRO 6000 Blackwell GPU. Karena Ethereum menghasilkan blok setiap sekitar 12 detik, 7.200 blok setara secara nominal dengan sekitar 24 jam blok. Yang penting adalah bahwa 99% blok diproses dalam waktu kurang dari 10 detik, termasuk waktu yang dibutuhkan untuk menyiapkan data masukan (witness). Jika kecepatan pembuatan pembuktian lebih cepat daripada laju munculnya blok baru, validator dapat mengonfirmasi hasil eksekusi dengan pembuktian kriptografis, bukan menjalankan ulang seluruh transaksi. Ini berarti potensi pengurangan besar dalam jumlah komputasi yang diperlukan untuk validasi. Namun, uji performa terhadap 7.200 blok berbeda dengan menyediakan pembuktian secara berkelanjutan dalam lingkungan operasional nyata. EthProofs secara terbuka mengukur performa dan status operasional berbagai sistem yang membuktikan blok Ethereum secara real-time. Pada 26 Oktober, dashboard menampilkan angka-angka berikut: - Delapan prover yang dievaluasi, dua di antaranya memenuhi kriteria kelayakan mingguan terbaru. - Persentase keberhasilan pembuktian dalam waktu kurang dari 10 detik terhadap total slot blok: 69,7%. - Persentase prover yang diklasifikasikan sebagai offline: 26,2%. Angka-angka ini bukan hasil uji coba GPU tunggal Airbender Prime. Ini adalah agregasi operasional dari banyak prover, dengan perangkat keras, lingkungan eksekusi, dan kriteria kelayakan yang berbeda. Namun, angka-angka ini menunjukkan bahwa untuk memanfaatkan pembuktian di jaringan nyata, selain performa individu, keandalan operasional juga harus dijamin. Bahwa sebuah prover membutuhkan rata-rata lima detik untuk menghasilkan pembuktian tidak cukup jika sering mengalami gangguan atau gagal memproses blok tertentu—struktur validasi yang bergantung hanya pada sistem tersebut akan sulit beroperasi secara stabil. Perlu dipastikan apakah ada implementasi alternatif yang dapat menyediakan pembuktian ketika satu prover gagal, serta apakah penundaan pemrosesan akan terakumulasi jika blok-blok sulit muncul secara berurutan. Persyaratan perangkat keras juga perlu diverifikasi secara terpisah. Panduan GPU di repositori publik Airbender menyatakan bahwa GPU digunakan pada tahap dasar dan rekursif pembuktian, sementara tahap akhir pembuktian memerlukan CPU dan sekitar 150 GB RAM. Belum dikonfirmasi apakah dokumentasi ini menggambarkan konfigurasi eksekusi yang sama dengan benchmark Prime terbaru. Oleh karena itu, hasil pengukuran "satu GPU" tidak dapat digunakan untuk menentukan kebutuhan memori keseluruhan sistem atau biaya operasionalnya. Pada 15 Oktober, @VitalikButerin memberi apresiasi tinggi atas pencapaian tim Airbender dan menetapkan tiga tantangan berikutnya untuk zkEVM: Pertama, secara matematis memverifikasi bahwa komputasi yang digunakan dalam pembuktian sesuai dengan spesifikasi eksekusi aktual Ethereum. Kedua, menetapkan batas ketat terhadap biaya pembuktian dibandingkan dengan penggunaan gas blok. Ketiga, memverifikasi keamanan kriptografis dari sistem pembuktian itu sendiri. Kondisi kedua terkait langsung dengan biaya operasional nyata. Bagaimana jika seseorang sengaja merancang operasi yang sangat sulit dibuktikan tetapi tetap berada dalam batas gas yang diizinkan? Eksekusi blok dilakukan dengan biaya normal, tetapi pembuatan pembuktian memerlukan komputasi dan waktu yang berlebihan. Jika situasi semacam ini mungkin terjadi, maka bahkan jika waktu rata-rata pembuktian per blok sangat singkat, sulit untuk memprediksi beban maksimum yang dapat ditangani jaringan secara stabil. Ekonomi pembuktian real-time bergantung tidak hanya pada biaya pembuktian rata-rata per blok, tetapi juga pada seberapa banyak sumber daya yang diperlukan dalam skenario terburuk. Roadmap EthProofs juga bergerak ke arah ini.Tahap peningkatan kinerja kini telah selesai, dan tahap verifikasi keamanan sedang berlangsung. Selanjutnya, tahap integrasi langsung bukti ke dalam protokol, termasuk bukti keterlambatan dan bukti kewajiban, telah dijadwalkan. Urutan ini penting karena membuat sistem bukti yang cepat berbeda dari membuat Ethereum mempercayai bukti tersebut dalam proses konsensus. Pengumuman Airbender Prime memberikan bukti kuat bahwa beban perangkat keras untuk bukti real-time dapat dikurangi. Pencapaian berikutnya tidak akan mudah dinilai hanya berdasarkan kecepatan rekaman. Yang penting adalah seberapa lama tingkat keberhasilan bukti yang tinggi dapat dipertahankan dalam lingkungan produksi nyata, apakah biaya bukti tetap terbatas bahkan pada blok terburuk, dan apakah berbagai implementasi dapat secara akurat membuktikan hasil eksekusi Ethereum yang identik. Teknologi bukti ZK sedang berpindah dari tahap menunjukkan perhitungan cepat menuju tahap menjadi infrastruktur yang dapat diandalkan oleh jaringan. #Ethereum #zkEVM