[3.0, -5.166, 2.5, -0.333]
只要任意一个因式为0则整个多项式便是0，也就是所有x=a0,a1…an都是多项式的解。
3. 证明多项式的常识
Prover计较获得h(x) = p(x)/t(x) = x，别离计较p(r) = p(23) = 10626，h(r) = h(23) = 23，将p(r)和h(r)发给Verifier
B: [0, 1, 0, 0, 0, 0]
我们可以令两个多项式相等来找到它们的交点，得出 x = 1，即两个多项式只有一个交点(1, 0)。
第一步：拍平
[4.0, -4.333, 1.5, -0.166]
假设Alice知道一组长度为10的数组，Alice声称10位数都置为了1，Bob一次只能验证一位。想要验证Alice的声明就要举办抽样验证，抽样一次验证正确则可信度为1/10，假如要到达95%以上的可信度则需要抽样10次，假如这个数组长度到达几百万，那抽样验证效率就很是低。如何做到对一组数验证一次就可以到达95%以上的可信度？
[4.0, -7.0, 3.5, -0.5]
C: [0, 0, 0, 1, 0, 0]
好比将r的取值范畴定为[1, 10^77]，多项式阶数为d，P和V计较获得差异功效的数量可以有10^77-d个，因此假如他们多项式不相等，则可巧计较功效相等的概率为d/10^77，我们认为险些不行能。
Verifier选择一个随机值r并在当地计较多项式的功效
4. 一般措施到多项式-zkSNARK
[0.0, 0.0, 0.0, 0.0]
这里是将解向量代入验证，用来暗示约束干系只需要a、b、c三个向量，所以将四个约束全部暗示出来获得如下R1CS向量组：
[1, 0, 0, 0, 0, 0]
接下来实践一遍验证进程：
第三步：R1CS转为QAP
如上所述，多项式的常识就是它的系数。假如一小我私家说他知道一个多项式（譬喻：c1x^1 + c0=0），就意味着他知道多项式的系数c1、c0。
3）匿名认证：用户持有私钥，平台只生存用户提交的私钥哈希值。用户登录时只需要证明本身持有的私钥所生成的哈希值在平台的哈希值列表中即可登录，不需要向平台提交其他信息。
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
