Codes on any Cayley Graph have an Interactive Oracle Proof of Proximity
Hugo Delavenne (GRACE), Louise Lallemand (GRACE)

TL;DR
This paper extends the class of codes on Cayley graphs for which Interactive Oracle Proofs of Proximity can be efficiently constructed, maintaining soundness and enabling practical speedups for codes with constant rate and minimum distance.
Contribution
It generalizes the flowering IOPP protocol to a broader class of Cayley graph-based codes, preserving soundness and supporting codes with constant rate and distance.
Findings
Preserves soundness with slight complexity trade-offs.
Applicable to codes with constant rate and minimum distance.
Leverages Cayley graph expansion properties for efficiency.
Abstract
Interactive Oracle Proofs of Proximity (IOPP) are at the heart of code-based SNARKs, a family of zeroknowledge protocols. The first and most famous one is the FRI protocol [BBHR18a], that efficiently tests proximity to Reed-Solomon codes. This paper generalizes the flowering IOPP introduced in [DMR25] for some specific (2, n)-regular Tanner codes to a much broader variety of codes: any code with symbols indexed on the edges of a Cayley graph. The flowering protocol of [DMR25] had a soundness parameter much lower than the FRI protocol [BCI + 23], and complexity parameters that could compete with the FRI [BBHR18a]. The lower soundness and the absence of restriction on the base field may lead to other practical speedups, however the codes considered in [DMR25] have an o(1) minimum distance. The generalization proposed in this paper preserves the soundness parameter with a slight decrease…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
