刚刚发布了关于FRI的RBR健全性更简单的证明!与@0xAlbertG和Benedikt Wagner合作 我还写了一篇博客文章,解释了证明的高层次思想。你需要知道的就是如何给图着色! 论文和博客链接如下 1/3
ePrint: blog: 这项分析的提出是因为我们在一些单独的工作中需要更强的 FRI 属性。那项工作暂时搁置,但最近在剑桥举行的 EF PQ 研讨会激励我们发布 2/3
一个独立的FRI证明。结果发现它对整个SNARK堆栈的形式验证是有帮助的! 现在最大的问题是:谁将证明MCA达到容量限制? 3/3
7.1K