🚀 第二部分来了! 在介绍了多线性多项式的基础知识后,我们现在深入探讨 Bagad、Dao、Domb 和 Thaler 提出的 "加速 SUMCHECK 证明" 中的算法。 SUMCHECK 在快速证明系统中扮演着核心角色,这篇文章展示了如何使其变得更加高效。
545