Vitalik Buterin: GKR akan menjadi "jalan raya" untuk teknologi ZK

Pendiri bersama Ethereum, Vitalik Buterin, menerbitkan (10/19) sebuah artikel teknis terbaru berjudul “A GKR Tutorial”, yang menjelaskan secara rinci tentang protokol pembuktian baru yang disebut “GKR (Goldreich–Kahan–Rothblum)”, menunjukkan bahwa teknologi ini adalah kunci untuk mendorong “bukti ZK super cepat” saat ini. Meskipun artikel ini dipenuhi dengan deduksi matematis, pesan inti sangat jelas: GKR membawa zero-knowledge proof dari teori ke praktik, memungkinkan kalkulasi on-chain yang kompleks dan verifikasi AI menjadi layak, instan, dan berbiaya rendah.

zk-SNARKs (ZK) memasuki era “percepatan”

Vitalik langsung menunjukkan bahwa dunia kripto sedang memasuki tahap baru “ZK Acceleration”. Dari validasi langsung Ethereum L1 pada puluhan GPU konsumen, hingga laptop yang dapat menjalankan dua juta hash per detik, bahkan model bahasa besar (LLM) juga dapat memvalidasi proses inferensi melalui teknologi ZK — terobosan yang tampaknya lintas bidang ini sebenarnya memiliki dasar yang sama: protokol GKR.

Mengapa GKR diperlukan: Membuat perhitungan besar “dipercaya” namun tidak “berat”

Sistem ZK tradisional meskipun dapat memverifikasi kebenaran hasil, tetapi biayanya sangat tinggi: setiap lapisan perhitungan harus membangun komitmen kriptografi, yang menyebabkan biaya komputasi melonjak.

Vitalik menunjukkan bahwa GKR mengubah pola ini. Itu hanya perlu berkomitmen pada “masukan dan keluaran”, dan dapat melewati lapisan tengah, namun tetap memastikan bahwa perhitungan keseluruhan dapat dipercaya. Ini berarti:

Peningkatan kecepatan beberapa kali lipat

Biaya menurun secara signifikan

Validator hanya perlu memeriksa bagian awal dan akhir, sehingga dapat mempercayai seluruh proses.

Dia menggambarkan struktur ini “dirancang khusus untuk perhitungan berulang dan bertingkat”, seperti sejumlah besar hash atau inferensi jaringan saraf AI.

Dari kripto ke AI: Berbagai skenario aplikasi GKR

Vitalik menggunakan fungsi hash Poseidon sebagai contoh untuk menunjukkan bagaimana GKR menangani struktur perhitungan yang berlapis-lapis. Namun, potensi teknologi ini jauh melampaui satu aplikasi.

GKR dapat diterapkan pada:

1. Verifikasi ZK-EVM: Mempercepat operasi jaringan utama Ethereum (L1) dan mencapai bukti on-chain secara instan; 2. Verifikasi Model AI (ZK-ML): Memastikan hasil inferensi AI dapat diverifikasi secara terenkripsi; 3. Enkripsi batch dan verifikasi data: Meningkatkan efisiensi dalam skenario dengan tingkat pengulangan tinggi seperti verifikasi transaksi dan tanda tangan massal.

Vitalik menekankan: “Selama perhitungan dapat diekspresikan sebagai struktur bertingkat, dan setiap lapisan dapat disederhanakan menjadi polinomial derajat rendah, maka GKR dapat diterapkan secara langsung.”

Biaya turun secara signifikan, tetapi masih ada tantangan

Menurut pengujian Vitalik, GKR secara teoritis hanya memiliki sekitar 15 kali biaya komputasi, yang jauh lebih rendah dibandingkan STARK tradisional yang 100 kali. Setelah diimplementasikan, biayanya bahkan dapat turun di bawah 10 kali; jika struktur batch dioptimalkan lebih lanjut, biayanya hampir mendekati 0.

Vitalik juga mengingatkan, bahwa dalam mengejar kecepatan, harus memperhatikan keamanan protokol. Jika desain tidak tepat, pelaku jahat mungkin dapat memprediksi nilai tantangan acak Fiat–Shamir, sehingga memanipulasi bukti. Bagi pengembang, ini merupakan tantangan desain baru setelah sistem ZK memasuki tahap rekayasa.

Jika menggunakan sebuah metafora untuk menggambarkan GKR, Vitalik percaya bahwa itu seperti “jalan tol yang dibangun untuk dunia zero-knowledge” — tidak mengubah tujuan (bukti kebenaran), tetapi memungkinkan data untuk melewati dengan lebih cepat dan ringan. Di era di mana teknologi blockchain dan AI semakin terintegrasi, “jalan tol” ini tidak hanya berkaitan dengan efisiensi, tetapi juga merupakan infrastruktur inti yang mendorong fondasi kepercayaan Web3.

Artikel ini Vitalik Buterin: GKR akan menjadi “jalan raya” untuk teknologi ZK pertama kali muncul di berita rantai ABMedia.