任意Cayley图上的编码具有交互式oracle近似证明
密码学与安全
2025-08-15 v1
摘要
交互式oracle近似证明（IOPP）是基于代码的SNARK家族中最核心的技术，这些技术是零知识协议的一种。第一个也是最著名的一个是FRI协议[BBHR18a]，它有效地测试对Reed-Solomon码的近似性。本文将[DMR25]中针对某些特定（2,n）规则Tanner码引入的花期IOPP推广到更广泛的编码族：任何符号索引在Cayley图边上的编码。[DMR25]中提出的花期协议的可靠性参数低于FRI协议[BCI+23]，且复杂度参数可与FRI[BBHR18a]相竞争。较低的可靠性和对基本域无限制的要求可能导致其他实际加速，但[DMR25]中考虑的编码具有o(1)的最小距离。本文提出的推广保留了可靠性参数，同时轻微降低了复杂度参数，使其可应用于常数速率和常数最小距离的编码，这归功于某些Cayley图族的良好扩张特性。
引用
@article{arxiv.2508.10510,
title = {Codes on any Cayley Graph have an Interactive Oracle Proof of Proximity},
author = {Hugo Delavenne and Louise Lallemand},
journal= {arXiv preprint arXiv:2508.10510},
year = {2025}
}