一般分布性质的交互证明
Apple ML Research · rss · 2026-07-16
这篇工作研究：当 Alice 只有少量未知分布样本、Bob 声称已经做完复杂分析时，Alice 如何用更少资源验证 Bob 的结论。 作者构造了用于**一般分布性质**的交互证明系统，并给出可由**有界深度电路**决定的性质的一般方案。文中还讨论了在样本数量上界为 N 时，如何在资源受限条件下完成验证。
Apple ML Research · rss · 2026-07-16
这篇工作研究：当 Alice 只有少量未知分布样本、Bob 声称已经做完复杂分析时，Alice 如何用更少资源验证 Bob 的结论。 作者构造了用于**一般分布性质**的交互证明系统，并给出可由**有界深度电路**决定的性质的一般方案。文中还讨论了在样本数量上界为 N 时，如何在资源受限条件下完成验证。