🚀 第二部分來了！ 在介紹了多線性多項式的基礎知識後，我們現在深入探討 Bagad、Dao、Domb 和 Thaler 提出的 "加速 SUMCHECK 證明" 中的算法。 SUMCHECK 在快速證明系統中扮演著核心角色，這篇文章展示了如何使其變得更加高效。