ZKP Frontier Tracker 🎯
零知识证明 前沿热点追踪 🎯
Thu 星期四
12.04
2025
Speeding Up Sumcheck: An In-Depth Walkthrough of Our Implementation https://blog.lambdaclass.com/speeding-up-sumcheck-an-in-depth-walkthrough-of-our-implementation/
@class_lambda team shared the optimization implementation of the Sumcheck protocol in blog, introducing the SVO and Eq-Poly optimization strategies based on the BDDT paper and their application in the Whir-P3 code library. @class_lambda 团队在博客中分享了Sumcheck协议的优化实现，详细介绍了基于BDDT论文的SVO和Eq-Poly优化策略及其在Whir-P3代码库中的应用。
Notes
- BDDT optimization delays extension field operations, converting expensive 𝔩𝔩 operations to more base field 𝔰𝔰 operations, improving performance
- SVO uses Lagrange interpolation to replace polynomial expansion, reducing pre-computation cost from exponential to polynomial
- Eq-Poly optimization based on Gruen method, splitting and reducing 𝔩𝔩 multiplications for eq polynomials
- Two-stage strategy: first 3 rounds use SVO, subsequent rounds apply Algorithm 5
- Optimization is targeted at base field such as Baby Bear, with significant higher extension field operation cost