[Satu GPU membuktikan Ethereum. Namun, ujian yang harus dilalui di dunia nyata berbeda.] @zksync berhasil membuktikan 7.200 blok berurutan jaringan utama Ethereum menggunakan satu GPU. 99% di antaranya selesai dalam waktu kurang dari 10 detik, dan seluruh blok selesai 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 mengungkapkan 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 jaringan utama Ethereum menggunakan satu GPU NVIDIA RTX PRO 6000 Blackwell. 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 persiapan data masukan (witness) yang diperlukan untuk pembuktian. Jika kecepatan pembuatan pembuktian lebih cepat daripada kecepatan munculnya blok baru, validator dapat memverifikasi hasil eksekusi dengan pembuktian kriptografis, bukan menjalankan ulang seluruh transaksi. Ini berarti potensi pengurangan signifikan dalam jumlah komputasi yang diperlukan untuk verifikasi. Namun, uji kinerja terhadap 7.200 blok berbeda dengan menyediakan pembuktian secara berkelanjutan dalam lingkungan operasional nyata. EthProofs secara terbuka mengukur kinerja dan status operasional berbagai sistem yang membuktikan blok Ethereum secara real-time. Pada tanggal 26 Oktober, dasbor 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 slot blok keseluruhan: 69,7%. - Persentase 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 penilaian yang berbeda. Namun, angka-angka ini menunjukkan bahwa untuk memanfaatkan pembuktian dalam jaringan nyata, selain kinerja individu, keandalan operasional juga harus dijamin. Meskipun suatu prover membutuhkan rata-rata lima detik untuk menghasilkan pembuktian, jika sering mengalami gangguan atau gagal memproses blok tertentu, struktur verifikasi yang bergantung hanya pada sistem tersebut akan sulit beroperasi secara stabil. Perlu dipastikan apakah ada implementasi alternatif yang dapat menyediakan pembuktian jika suatu prover gagal, serta apakah penundaan pemrosesan akan terakumulasi jika blok-blok sulit muncul secara berurutan. Persyaratan perangkat keras juga memerlukan verifikasi 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 dokumen ini menjelaskan jalur 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 memberikan apresiasi tinggi terhadap 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 sistem pembuktian itu sendiri. Kondisi kedua terkait langsung dengan biaya operasional nyata. Bagaimana jika seseorang secara sengaja merancang operasi yang sangat sulit untuk 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 pada tidak hanya biaya rata-rata pembuktian blok biasa, tetapi juga seberapa banyak sumber daya yang diperlukan dalam skenario terburuk. Roadmap EthProofs juga bergerak searah dengan arah ini.Tahap peningkatan prestasi kini telah selesai, dan tahap pengesahan keselamatan sedang berlangsung. Seterusnya, tahap integrasi langsung bukti penundaan, bukti kewajiban, dan protokol ke dalam protokol dijadualkan. Alasan urutan ini penting adalah kerana mencipta satu sistem bukti pantas berbeza daripada membuat Ethereum mempercayai bukti tersebut dalam proses konsensus. Pengumuman Airbender Prime memberikan bukti kuat bahawa ia dapat mengurangkan beban peranti keras untuk bukti masa nyata. Pencapaian seterusnya tidak akan mudah dinilai hanya berdasarkan rekod yang lebih pantas. Yang penting ialah sejauh mana kejayaan bukti yang tinggi boleh dipertahankan dalam persekitaran pengeluaran, sama ada kos bukti tetap terhad bahkan dalam blok terburuk, dan sama ada pelaksanaan yang berbeza dapat membuktikan hasil pelaksanaan Ethereum yang tepat. Teknologi bukti ZK sedang berpindah dari peringkat memperkenalkan pengiraan pantas kepada peringkat menjadi infrastruktur yang boleh dipercayai oleh rangkaian. #Ethereum #zkEVM