通用分布属性的交互式证明
Interactive Proofs for General Distribution Properties
摘要
针对未知分布，爱丽丝收集少量样本，不可信分析师鲍勃声称已进行复杂分析并做出断言。研究构建了交互式证明系统，用于验证可通过有界深度电路判定的通用分布性质，其中N为分布上界。该系统使爱丽丝能高效验证断言，所需资源少于自行运行分析。
假设爱丽丝从一个未知分布中收集了少量样本，并希望了解该分布。鲍勃是一位不可信的数据分析师，声称已对该分布进行了复杂的数据分析，并就其性质做出了断言。爱丽丝何时以及如何能够高效地验证鲍勃的断言（使用比她自己运行分析所需更少的资源）？我们为可通过有界深度电路判定的通用分布性质构建了交互式证明系统。设 N 为分布的上界……
译自 Apple · ML Research · 录于 二〇二六年七月十七日