代数张量归约

TL;DR：Sum-Check协议本质上是递归代数归约过程，将n元问题逐步折叠为...