ZKP Frontier Tracker 🎯
零知识证明 前沿热点追踪 🎯
ZKP フロンティアトラッカー 🎯
Mon 星期一 月曜日
10.20
2025
https://vitalik.eth.limo/general/2025/10/19/gkr.html
@VitalikButerin in blog post detailedly explained the GKR protocol, including its application in ZK proof systems, the principle of Sumcheck protocol, and the proof optimization of Poseidon hash function. @VitalikButerin 在博客中详细讲解了GKR协议，包括其在ZK证明系统中的应用、Sumcheck协议原理以及Poseidon哈希的证明优化等内容。 @VitalikButerin 氏の ブログ記事では、GKRプロトコルについて詳細に解説されており、ZK証明システムへの応用、Sumcheckプロトコルの原理、Poseidonハッシュ関数の証明最適化などが含まれています。
Notes Notes 要点
- GKR for batched layered computations, no intermediate commitments
- Uses sumcheck to recursively transform verification
- Specialized for hashes and neural networks
- Optimized overhead <15x theoretically, single-digit practically
- Requires ZK-SNARK/STARK for privacy
- Extensions enable near-zero overhead at scale