Vitalik merilis artikel tutorial GKR: dukungan untuk protokol "batch×layer" yang sangat cepat ZK proof

MarsBitNews

2025-10-20 01:14:09

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

Lihat Asli

Penafian: Informasi di halaman ini dapat berasal dari pihak ketiga dan tidak mewakili pandangan atau opini Gate. Konten yang ditampilkan hanya untuk tujuan referensi dan bukan merupakan nasihat keuangan, investasi, atau hukum. Gate tidak menjamin keakuratan maupun kelengkapan informasi dan tidak bertanggung jawab atas kerugian apa pun yang timbul akibat penggunaan informasi ini. Investasi aset virtual memiliki risiko tinggi dan rentan terhadap volatilitas harga yang signifikan. Anda dapat kehilangan seluruh modal yang diinvestasikan. Harap pahami sepenuhnya risiko yang terkait dan buat keputusan secara bijak berdasarkan kondisi keuangan serta toleransi risiko Anda sendiri. Untuk detail lebih lanjut, silakan merujuk ke Penafian.

Komentar

0/400

Tidak ada komentar