Vitalik menjelaskan GKR protokol untuk mempercepat ZK proof: optimasi dan tantangan hash Poseidon2

【链文】20 Oktober, berita terbaru dari Vitalik Buterin, menjelaskan secara rinci bagaimana protokol GKR (Goldreich–Kahan–Rothblum) digunakan untuk mempercepat pembuktian ZK, yang disesuaikan dengan struktur perhitungan “batch×multi-layer”, secara signifikan mengurangi komitmen lapisan tengah, hanya melakukan komitmen pada input dan output. Artikel ini mengambil hash Poseidon2 sebagai contoh, menjelaskan secara rinci proses pembuktian rekursif yang berfokus pada sumcheck, dan memberikan optimasi (trik Gruen, pemrosesan batch linier, elemen kubik pertama hanya sebagian), yang dapat digabungkan dengan BaseFold atau FRI dalam skenario komitmen polinomial. Penulis menyebutkan bahwa pengeluaran aktual lebih rendah dari nilai teoritis tradisional STARK sekitar 100 kali, dengan pengeluaran tingkat satu digit yang diharapkan, dan mengingat tantangan Fiat–Shamir perlu mencegah risiko prediktabilitas dalam sirkuit.