Vitalik Buterin mengungkapkan protokol GKR untuk sistem bukti yang lebih cepat

Vitalik Buterin telah membagikan penelitian baru yang dapat mengubah cara Ethereum mendekati verifikasi bukti dan penskalaan di tahun-tahun mendatang.

Ringkasan

• Vitalik Buterin memperkenalkan GKR, sebuah protokol untuk agregasi bukti yang lebih cepat.
• GKR meningkatkan efisiensi untuk sistem ZK dan rollup Ethereum.
• Ini menandai langkah menuju visi “Lean” dan aman kuantum Ethereum untuk 2025.

Vitalik Buterin telah memperkenalkan protokol GKR, suatu sistem bukti terobosan yang dirancang untuk membuat perhitungan zero-knowledge lebih cepat dan efisien.

Dipublikasikan pada 20 Okt, di blog pribadinya vitalik.eth.limo, tutorial baru Buterin merinci protokol Goldwasser–Kalai–Rothblum. Metode agregasi bukti rekursif ini memiliki potensi untuk mengubah cara Ethereum (ETH) menangani penskalaan dan verifikasi secara keseluruhan.

Protokol GKR dan masa depan efisiensi bukti

Kerangka GKR memverifikasi perhitungan besar dengan sedikit overhead on-chain, menyederhanakan bukti kriptografi yang kompleks. Buterin menjelaskan bagaimana GKR memproses bukti dalam waktu logaritmik tanpa memerlukan komitmen antara yang mahal, menjadikannya jauh lebih efisien dibandingkan sistem ZK-SNARK atau STARK konvensional.

Dalam posnya, Buterin mengakui Lev Soukhanov, Zhenfei Zhang, dan Zachary Williamson atas umpan balik dan tinjauan mereka, menekankan bahwa kekuatan inti GKR terletak pada skalabilitasnya. “Ini adalah kecocokan alami untuk membuktikan batch besar hash dan komputasi gaya jaringan saraf,” tulisnya, menyoroti kesesuaiannya untuk beban kerja blockchain dan AI.

Karena desain protokol, penyedia dapat mengabaikan komitmen pada tahap-tahap perantara, yang mengurangi biaya dan beban komputasi. Meskipun GKR bukan zero-knowledge itu sendiri, GKR dapat dibungkus dalam lapisan ZK-SNARK atau STARK untuk privasi, menggabungkan kejelasan dengan kerahasiaan.

Bagian kunci dalam roadmap Ethereum

GKR sejalan dengan visi lebih luas Buterin untuk “Lean Ethereum,” sebuah desain jaringan yang disederhanakan dan tahan kuantum. Ini langsung mendukung langkah Ethereum menuju finalitas yang lebih cepat, agregasi bukti untuk rollup, dan skalabilitas berbasis zero-knowledge.

Rilis ini mengikuti beberapa inisiatif terkait dari Buterin, seperti saran untuk alat interoperabilitas lanjutan antara jaringan layer-2, klien tanpa status parsial untuk meminimalkan penyimpanan node, dan tata kelola yang diaktifkan oleh ZK. Bersama-sama, mereka bertujuan untuk membuat Ethereum lebih efisien, pribadi, dan dapat diakses.

Tulang punggung kriptografi Ethereum mungkin menjadi lebih ringan dan lebih cepat saat para pengembang mulai bereksperimen dengan sistem berbasis GKR, yang akan membantu mewujudkan tujuan jangka panjang Buterin untuk perhitungan yang dapat diskalakan dan diverifikasi.