@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