Vitalik merilis artikel tutorial GKR: dukungan untuk protokol "layer batch" ZK super cepat

2025-10-20 00:16:59

Pembuatan abstrak sedang berlangsung

PANews 20 Oktober melaporkan, Vitalik Buterin baru-baru ini menulis artikel yang menjelaskan bagaimana GKR (Goldreich–Kahan–Rothblum) protokol digunakan untuk mempercepat bukti ZK, menyesuaikan struktur perhitungan “batch × multi-level”, secara signifikan mengurangi komitmen lapisan tengah, hanya berkomitmen pada input dan output. Artikel ini menggunakan hash Poseidon2 sebagai contoh, menjelaskan proses bukti rekursif yang berfokus pada sumcheck, dan memberikan optimasi (trik Gruen, pemrosesan batch linier, elemen kubik pertama dalam bagian putaran), yang dapat digabungkan dengan BaseFold atau FRI dalam skenario komitmen polinomial. Penulis menyatakan bahwa biaya aktual lebih rendah dari nilai teoritis tradisional STARK sekitar 100 kali, biaya tingkat tunggal dapat diharapkan, dan mengingat tantangan Fiat–Shamir perlu mencegah risiko prediktabilitas dalam sirkuit.

Lihat Asli

Halaman ini mungkin berisi konten pihak ketiga, yang disediakan untuk tujuan informasi saja (bukan pernyataan/jaminan) dan tidak boleh dianggap sebagai dukungan terhadap pandangannya oleh Gate, atau sebagai nasihat keuangan atau profesional. Lihat Penafian untuk detailnya.