Vitalik Buterin Mengungkap Protokol GKR untuk Meningkatkan Sistem Bukti Ethereum

Vitalik Buterin Memperkenalkan Protokol GKR untuk Meningkatkan Sistem Bukti Ethereum

Pendiri Ethereum, Vitalik Buterin, telah memperkenalkan protokol GKR, sekelompok sistem bukti kriptografis baru yang dirancang untuk secara dramatis mempercepat perhitungan di seluruh ZK-EVM dan lingkungan zk-ML.

Dirancang untuk efisiensi, GKR memungkinkan generasi bukti dengan kecepatan yang belum pernah terjadi sebelumnya dengan hanya mengikat pada input dan output, menghilangkan kebutuhan untuk memverifikasi setiap langkah perhitungan antara.

Terobosan dalam Kinerja Bukti

Pendekatan GKR (Goldwasser–Kalai–Rothblum) dioptimalkan untuk perhitungan yang menggunakan beberapa lapisan derajat rendah dan mengulangi operasi serupa, seperti hashing dan inferensi jaringan saraf. Ini adalah struktur umum dalam kriptografi dan AI, di mana bukti skala besar harus menangani jutaan operasi secara bersamaan.

Tidak seperti sistem bukti tradisional seperti STARKs, yang memerlukan komitmen di setiap lapisan, metode efisien GKR berfokus pada titik akhir, secara signifikan mengurangi overhead. Hasilnya adalah pembuatan bukti yang jauh lebih cepat, terutama untuk ZK-EVM dan model zk-ML di mana permintaan komputasi sangat besar.

Efisiensi Tanpa Kompromi

Menurut Buterin, kekuatan GKR terletak pada kesederhanaannya. GKR hanya berkomitmen pada input dan output, memanfaatkan struktur bukti sum-check untuk memverifikasi langkah-langkah di antara. Struktur ini menjadikannya ideal untuk beban kerja yang repetitif seperti hashing ( misalnya, Poseidon) atau lapisan neural, di mana pola dapat dibuktikan secara efisien secara paralel.

Sementara GKR itu sendiri tidak menyediakan privasi tanpa pengetahuan, ia dapat dibungkus dalam sistem ZK-SNARK atau ZK-STARK untuk menambah kerahasiaan. Desain protokol memungkinkan efisiensi tinggi sambil mempertahankan ketelitian matematis penuh dalam memverifikasi kebenaran.

Mengapa Ini Penting untuk Ethereum

Buterin menekankan bahwa GKR mewakili kemajuan besar dalam skalabilitas blockchain dan perhitungan bukti. Dengan menghindari komitmen yang berlebihan dan fokus pada validasi dari ujung ke ujung, GKR memungkinkan untuk membuktikan beban kerja besar dengan cepat dan dengan biaya yang lebih rendah.

Seiring Ethereum terus berkembang menuju sistem zero-knowledge yang lebih cepat dan lebih scalable, GKR dapat menjadi komponen inti yang mendukung kerangka kerja bukti-perhitungan generasi berikutnya di kedua aplikasi crypto dan AI.