· 生存d+1个多项式P(x)的系数 a0~ad
· RSi fi对应的编码参数
· verifier input
· 2
· 界说f(i+1) 凭据第2步的计较方法
FRI协议
· Li 第i次轮回的群，阶位2^(n-i)
算法分为两部门：算术化和LDT
· 进入下一步轮回
DEEP-FRI paper chrome-extension://cdonnmffkdaoajfknoeeecmchibpmkmg/assets/pdf/web/viewer.html?file=https%3A%2F%2Farxiv.org%2Fpdf%2F1903.12243.pdf
f0(x) = P(x) = P1(x^2) + x * P2(x^2) (1)
以上就是FRI协议的详细进程，可以看出，验证巨大度满意对数干系r = Log2(ρ*2^n)。算法担保了，当且仅当原始多项式f0是小于ρ*2^n时，所有的round consistency 校验才会通过。真正的实现大概略有不同，详细的可以参考DEEP-FRI论文，相对付FRI，DEEP-FRI在保持证明和验证的最优巨大度的同时，提高了系统的靠得住性。
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
