Paper 2025/1993 Original: eprint.iacr.org/2025/1993 ↗
A Simplified Round-by-round Soundness Proof of FRI
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.
Metadata
- Available format(s)
PDF- Category
- Cryptographic protocols
- Publication info
- Preprint.
- History
- 2026-09-25: last updated
- 2025-10-24: published
- Short URL
- https://ia.cr/2025/1993
- License
- https://creativecommons.org/licenses/by/4.0/
BibTeX
@misc{cryptoeprint:2025/1993,
author = {Albert Garreta and Nicolas Mohnblatt and Benedikt Wagner},
title = {A Simplified Round-by-round Soundness Proof of FRI},
howpublished = {Cryptology {ePrint} Archive, Paper 2025/1993},
year = {2025},
url = {https://eprint.iacr.org/2025/1993}
}