Buterin memperkenalkan sistem bukti GKR untuk meningkatkan skalabilitas Ethereum
Salah satu pendiri Ethereum, Vitalik Buterin, telah memperkenalkan protokol GKR, sebuah sistem pembuktian generasi berikutnya yang dirancang untuk membuat komputasi zero-knowledge (ZK) menjadi lebih cepat dan efisien. Diterbitkan di blognya vitalik.eth.limo pada 20 Oktober, tutorial ini menguraikan bagaimana metode Goldwasser-Kalai-Rothblum (GKR) dapat secara dramatis meningkatkan cara Ethereum memverifikasi perhitungan skala besar.
Artikel ini diterjemahkan dari aslinya. Baca versi asli oleh koresponden kami di sini.
Kerangka kerja GKR menggunakan agregasi bukti rekursif, yang memungkinkan pengembang untuk memverifikasi sejumlah besar operasi dengan overhead on-chain yang minimal, lapor Crypto News.
Dengan memproses bukti dalam waktu logaritmik dan menghilangkan kebutuhan akan komitmen perantara yang mahal, GKR menawarkan alternatif yang lebih efisien daripada sistem ZK-SNARK dan ZK-STARK tradisional.
Buterin memuji Lev Soukhanov, Zhenfei Zhang, dan Zachary Williamson atas umpan balik mereka tentang pekerjaan ini, mencatat bahwa efisiensi dan skalabilitas protokol menjadikannya "sangat cocok untuk membuktikan sejumlah besar hash dan komputasi gaya jaringan saraf."
Pembuktian kriptografi yang lebih cepat, lebih murah, dan dapat diskalakan
Protokol GKR memungkinkan pembuktian untuk melewatkan komitmen perantara - hambatan utama dalam sistem bukti ZK yang ada. Desain ini secara signifikan mengurangi biaya komputasi dan konsumsi gas, membuka jalan untuk pembuatan dan verifikasi bukti waktu nyata dalam konteks komputasi blockchain dan AI.
Walaupun GKR sendiri bukan zero-knowledge, GKR dapat dibungkus dengan lapisan SNARK atau STARK untuk menambahkan privasi, menggabungkan keringkasan bukti dengan kerahasiaan. Fleksibilitas ini membuatnya ideal untuk solusi penskalaan lapisan-2 Ethereum, rollup, dan kasus penggunaan interoperabilitas lintas rantai.
Protokol ini juga menyediakan struktur yang lebih efisien untuk verifikasi batch, di mana ribuan transaksi atau perhitungan dapat divalidasi secara bersamaan tanpa mengorbankan efisiensi on-chain. Para pengembang mengantisipasi bahwa GKR dapat mengurangi waktu verifikasi dengan urutan yang lebih besar dibandingkan dengan metode yang ada saat ini, terutama dalam agregasi rollup dan verifikasi model AI.
Tonggak penting dalam peta jalan "Lean" dan tahan kuantum Ethereum
Rilis GKR merupakan langkah lain dalam strategi jangka panjang Buterin untuk "Lean Ethereum" - arsitektur blockchain yang disederhanakan, efisien, dan tahan kuantum. Protokol ini melengkapi evolusi Ethereum yang sedang berlangsung menuju finalitas yang lebih cepat, skalabilitas berbasis ZK, dan klien yang ringan yang mengurangi kebutuhan penyimpanan node.
Posting blog terbaru dari Buterin telah mengeksplorasi arah yang sama, termasuk tata kelola yang mendukung ZK, kerangka kerja interoperabilitas layer-2, dan klien tanpa kewarganegaraan parsial. Bersama-sama, kemajuan ini bertujuan untuk membuat Ethereum lebih modular, aman, dan berkelanjutan saat jaringan bertransisi ke fase skalabilitas berikutnya.
Dengan diperkenalkannya GKR, tulang punggung kriptografi Ethereum dapat menjadi lebih ringan dan lebih cepat, memberdayakan pengembang untuk membangun rollup dengan throughput tinggi, aplikasi DeFi pribadi, dan sistem komputasi AI yang dapat diverifikasi - pilar utama dalam mewujudkan visi Buterin untuk internet yang benar-benar dapat diskalakan, dapat diverifikasi, dan terdesentralisasi.
Baru-baru ini kami menulis bahwa jalur Ethereum dalam jangka pendek akan sangat bergantung pada aliran institusional dan pemegang dana besar, karena akumulasi atau arus keluar dapat menggerakkan harga lebih banyak daripada perdagangan eceran pada umumnya.
Berita Ethereum Terbaru
- Forex
- Crypto