双重次线性交互近似证明
Apple ML Research · rss · 2026-07-16
这篇论文研究 **doubly sub-linear interactive proofs of proximity (dsIPPs)**。 核心目标是构造一种证明系统，使得： - 证明生成只需读取输入的一个很小子集； - 验证更快，只读更少的输入； - 能对巨大输入做近似性质证明。 作者把它与 property testing 文献联系起来，强调这是关于“超快生成、超快验证”的交互式近似证明框架。