PLONK(零知识证明)最终版原文解读(三)-------- 范围与优化处理

上一篇提到了复制约束与总约束的推导,在总约束t(X)的最后留了一个问题就是为什么要把t(x)分三份处理,其实实际作用是为了将次数降低,使得范围规范化。 除此之外,根据ZK-SNARK里的经验,我们如果传整个多项式会使得复杂度太高,所以我们可以取一个随机值,并把其带入多项式进行计算,这样P就可以只传结果的值即可。 接下来需要取一个随机点z 我们可以看到其实很简单,取了一个z然后带入到之前的约束当中。
相关文章
相关标签/搜索