ZKP Frontier Tracker 🎯
零知识证明 前沿热点追踪 🎯
Mon 星期一
10.20
2025
A GKR Tutorial 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哈希的证明优化等内容。
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