Welcome to the resource topic for 2025/1993
Title:
A Simplified Round-by-round Soundness Proof of FRI
Authors: Albert Garreta, Nicolas Mohnblatt, Benedikt Wagner
Abstract:The FRI protocol (ICALP '18) is one of the most influential and widely deployed building blocks at the core of modern SNARK systems. While its concrete security is well understood, existing security proofs are intricate and technically complex.
In this work, we present a significantly simpler security analysis of FRI, in particular its round-by-round soundness.
Our approach is more accessible to a broader audience, lowering the barrier to understanding this fundamental protocol.
Furthermore, the simplicity of our analysis may pave the way for future formal verification efforts of modern SNARK constructions.
ePrint: https://eprint.iacr.org/2025/1993
See all topics related to this paper.
Feel free to post resources that are related to this paper below.
Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.
For more information, see the rules for Resource Topics .