Sumcheck
整个领域正在转向更多地依赖于 Sumcheck Protocol
Sumcheck是用于验证多项式承诺的协议，常用于零知识证明（ZKP）中，尤其是在可验证计算和扩展性上。它的主要目的是通过对多项式进行分段检查，从而保证某个多项式在给定输入上的正确性，而不需要直接计算出整个多项式的值。通过这种方式，可以在不透露具体计算过程的情况下，验证计算结果是否正确。
-
多项式分解：通过将多项式分解为多个部分，使得每次验证的复杂度都很低。
-
为了说明，假设多项式 P ( x 1 , x 2 ) P(x_1, x_2) P(x1,x2) 只涉及两个变量 x 1 x_1 x1 和 x 2 x_2 x2，例如：
P ( x 1 , x 2 ) = 3 x 1 2 + 2 x 1 x 2 + x 2 2
-
![jetson AGX orin--ARM64 换源报错Packages 404 Not Found [IP: 2402:f000:1:400::2 443]](http://pic.xiahunao.cn/jetson AGX orin--ARM64 换源报错Packages 404 Not Found [IP: 2402:f000:1:400::2 443])
深度解析)
