zk-stark算法

终于到了“理解零知识证明算法值Zk-stark”系列的收尾。在前面的三篇文章里，我们依次介绍了zk-stark算法的整体结构（技术指南 | 理解零知识证明算法之Zk-stark）、算法的第一部分：Arithmetization（技术指南 |理解零知识证明算法之Zk-stark——Arithmetization）、算法的第二部分：Low Degree Testing（深入理解零知识证明算法之Zk-stark：Low Degree Testing）。

相信通过这几篇的阅读，大家能对zk-stark算法轮廓有了个整体的认知；在阅读的过程中，你可能会对文章中的某些语句或者图片的正确性发出疑问（确实有些内容需要更具体的介绍和说明，否则会产生误解），欢迎163邮箱留言交流（oceanjune512）。

回顾第三篇的文章，我们已经讲到，为了确保证明者返回的满足多项式等式相等的值确实是基于有效的多项式计算得到，我们需要对多项式进行LDT测试；同时为了使验证者的复杂度达到最优，我们把原始多项式进行变换，变换后，证明者要证明的多项式仅仅是原始多项式的一半，不断重复这一过程，一直到多项式的度可以直接判断为止。这其实就是FRI协议的核心思想，下面，让我们来详细介绍FRI协议的过程。

—-

编译者/作者：初衷呀

玩币族申明：玩币族作为开放的资讯翻译/分享平台，所提供的所有资讯仅代表作者个人观点，与玩币族平台立场无关，且不构成任何投资理财建议。文章版权归原作者所有。