深圳网站制作教程_外包公司是怎么回事_百度推广销售话术_绍兴百度seo

Sumcheck

整个领域正在转向更多地依赖于 Sumcheck Protocol

Sumcheck是用于验证多项式承诺的协议，常用于零知识证明（ZKP）中，尤其是在可验证计算和扩展性上。它的主要目的是通过对多项式进行分段检查，从而保证某个多项式在给定输入上的正确性，而不需要直接计算出整个多项式的值。通过这种方式，可以在不透露具体计算过程的情况下，验证计算结果是否正确。

• 多项式分解：通过将多项式分解为多个部分，使得每次验证的复杂度都很低。

  1. 为了说明，假设多项式 $P(x_1,x_2)$ 只涉及两个变量 $x_1$ 和 $x_2$，例如：

     P ( x 1 , x 2 ) = 3 x 1 2 + 2 x 1 x 2 + x 2 2