ZKP Frontier Tracker 🎯
零知识证明 前沿热点追踪 🎯
Sat 星期六
11.22
2025
Master ZKPs through Sumcheck & SageMath | Interactive Tutorial https://sumcheck.zksecurity.xyz/
@zksecurityXYZ shared a Sumcheck tutorial, teaching Sumcheck protocol and MLEs through interactive SageMath tutorials, including a complete implementation and exercises from basic to advanced ZKP protocols. @zksecurityXYZ 分享了Sumcheck教程，通过SageMath交互式教程掌握Sumcheck协议和MLEs，包括从基础到高级ZKP协议的完整实现和练习。
Notes
- The tutorial uses SageMath to build Sumcheck and MLEs from scratch
- Covers a complete learning path from basic concepts to advanced protocols like HyperPlonk
- Includes interactive code and exercises to enhance learning effectiveness
- Sumcheck protocol is thoroughly explained as a core component of modern ZK systems
- Fiat-Shamir conversion is used to convert interactive protocols into non-interactive proofs
- The tutorial is modular, allowing users to learn by interest