Vitalik merilis artikel tutorial GKR: Protokol "batch × layer" yang mendukung pembuktian ZK super cepat

ChainCatcher melaporkan bahwa Vitalik Buterin baru saja menulis artikel yang menjelaskan secara rinci tentang protokol GKR (Goldreich–Kahan–Rothblum) yang digunakan untuk mempercepat bukti ZK, menyesuaikan dengan struktur komputasi "batch × multi-layer", secara signifikan mengurangi komitmen pada lapisan tengah, dan hanya melakukan komitmen pada input dan output.

Artikel tersebut mengambil contoh hash Poseidon2, menjelaskan secara rinci proses pembuktian rekursif dengan sumcheck sebagai inti, serta memberikan beberapa optimasi (Gruen’s trick, pemrosesan batch linear, hanya elemen pertama kubik pada sebagian ronde), dan dalam skenario komitmen polinomial dapat dikombinasikan dengan BaseFold atau FRI. Penulis menyatakan bahwa biaya aktual lebih rendah sekitar 100 kali dari nilai teoretis STARK tradisional, biaya pada tingkat satu digit dapat diharapkan, dan mengingatkan bahwa tantangan Fiat–Shamir perlu mengantisipasi risiko prediktabilitas dalam sirkuit.