Vitalik menerbitkan artikel, protokol GKR meningkatkan efisiensi komputasi zero-knowledge proof

ChainCatcher melaporkan bahwa pendiri Ethereum, Vitalik Buterin, pagi ini mempublikasikan artikel yang memperkenalkan protokol GKR. Protokol GKR (Goldwasser-Kalai-Rothblum) kini menjadi teknologi inti dalam sistem zero-knowledge proof berkinerja tinggi.

Penelitian terbaru menunjukkan bahwa GKR, dengan menghindari operasi komitmen pada lapisan tengah dan hanya melakukan komitmen pada input dan output, dapat menurunkan beban teoretis metode STARK tradisional dari 100 kali menjadi sekitar 15 kali, bahkan dalam implementasi nyata kurang dari 10 kali. Protokol ini sangat cocok untuk pola komputasi berlapis seperti fungsi hash Poseidon dan jaringan saraf. Teknologi inti "sumcheck"-nya menyederhanakan masalah multidimensi secara rekursif melalui kombinasi linier acak. Meskipun GKR sendiri tidak menyediakan fitur zero-knowledge, protokol ini dapat digabungkan dengan ZK-SNARK atau ZK-STARK, dan telah menjadi dukungan teknologi kunci untuk pembuktian ZK-EVM secara real-time dan verifikasi model machine learning skala besar.