Vitalik Buterin menerbitkan tutorial GKR: protokol "batch×layer" yang mendukung bukti ZK super cepat



Hasil berita dari HashiChain, Vitalik Buterin baru-baru ini menulis artikel yang menjelaskan secara rinci bagaimana protokol GKR (Goldreich–Kahan–Rothblum) diterapkan untuk mempercepat bukti ZK, dan sesuai untuk struktur komputasi "batch×multi-layer", secara signifikan mengurangi komitmen lapisan tengah, hanya berkomitmen pada input dan output. Artikel ini menggunakan hash Poseidon2 sebagai contoh, menganalisis secara mendalam proses bukti rekursif yang berfokus pada sumcheck, dan mengusulkan solusi optimasi (trik Gruen, batch linier, elemen pertama kubik hanya untuk beberapa putaran). Optimasi ini dalam skenario komitmen polinomial dapat digabungkan dengan BaseFold atau FRI. Penulis menunjukkan bahwa biaya yang sebenarnya lebih rendah daripada nilai teoretis STARK tradisional sekitar 100 kali, dengan biaya tingkat tunggal yang diharapkan, dan mengingatkan untuk waspada terhadap risiko prediktabilitas dalam sirkuit di tantangan Fiat–Shamir.

#Cryptocurrency #Blockchain #Ethereum #ZKProofs #VitalikButerin
ETH-0.54%
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.
  • Hadiah
  • Komentar
  • Posting ulang
  • Bagikan
Komentar
0/400
Tidak ada komentar
  • Sematkan
Perdagangkan Kripto Di Mana Saja Kapan Saja
qrCode
Pindai untuk mengunduh aplikasi Gate
Komunitas
Bahasa Indonesia
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)