Inovasi Protokol GKR oleh Vitalik Buterin
Vitalik Buterin baru-baru ini membagikan penelitian yang berpotensi mengubah cara Ethereum melakukan verifikasi bukti dan penskalaan dalam beberapa tahun ke depan. Ia memperkenalkan protokol GKR, sebuah sistem bukti inovatif yang dirancang untuk meningkatkan kecepatan dan efisiensi perhitungan zero-knowledge. Dalam sebuah postingan yang dipublikasikan pada 20 Oktober di blog pribadinya, vitalik.eth.limo, Buterin merinci protokol Goldwasser–Kalai–Rothblum. Metode agregasi bukti rekursif ini memiliki potensi untuk merevolusi cara Ethereum (ETH) menangani penskalaan dan verifikasi secara keseluruhan.
Keunggulan Protokol GKR
Kerangka kerja GKR memverifikasi perhitungan besar dengan sedikit overhead on-chain, menyederhanakan bukti kriptografi yang kompleks. Buterin menjelaskan bahwa GKR memproses bukti dalam waktu logaritmik tanpa memerlukan komitmen antara yang mahal, menjadikannya jauh lebih efisien dibandingkan sistem ZK-SNARK atau STARK konvensional. Dalam postingannya, Buterin memberikan kredit kepada 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 kumpulan besar hash dan perhitungan gaya jaringan saraf,”
tulisnya, menyoroti kesesuaiannya untuk beban kerja blockchain dan AI.
Desain dan Implementasi GKR
Karena desain protokol ini, provers dapat mengabaikan komitmen pada tahap antara, yang menurunkan biaya dan beban komputasi. Meskipun GKR bukan merupakan zero-knowledge itu sendiri, ia dapat dibungkus dalam lapisan ZK-SNARK atau STARK untuk menjaga privasi, menggabungkan kejelasan dengan kerahasiaan. GKR sejalan dengan visi lebih luas Buterin untuk “Lean Ethereum”, sebuah desain jaringan yang disederhanakan dan tahan terhadap ancaman kuantum. Ini secara langsung mendukung langkah Ethereum menuju finalitas yang lebih cepat, agregasi bukti untuk rollup, dan penskalaan berbasis zero-knowledge.
Inisiatif Terkait dan Masa Depan Ethereum
Rilis ini mengikuti beberapa inisiatif terkait dari Buterin, seperti saran untuk alat interoperabilitas canggih antara jaringan layer-2, klien stateless parsial untuk meminimalkan penyimpanan node, dan tata kelola yang didukung oleh ZK. Bersama-sama, inisiatif ini bertujuan untuk membuat Ethereum lebih efisien, pribadi, dan dapat diakses. Dengan demikian, tulang punggung kriptografi Ethereum mungkin menjadi lebih ringan dan lebih cepat saat pengembang mulai bereksperimen dengan sistem berbasis GKR, yang akan membantu mewujudkan tujuan jangka panjang Buterin untuk komputasi yang terverifikasi dan dapat diskalakan.
