Apple 提出通用分布属性交互式证明方法

Apple 机器学习研究团队提出一种交互式证明协议，允许数据持有者（Alice）在仅拥有少量样本的情况下，向验证者（Bob）证明未知分布的通用属性。

该方法无需依赖可信第三方，即可验证分布均值、方差等统计特征的正确性。

该工作为隐私保护下的分布式数据验证提供了新思路。

Interactive Proofs for General Distribution Properties

Authors Tal Herman†**, Guy N. Rothblum

View publication：https://eccc.weizmann.ac.il/report/2024/094/

Doubly Sub-linear Interactive Proofs of Proximity

We study doubly sub-linear interactive proofs of proximity (dsIPPs): proofs that are ultra-fast to generate, and can be used to prove approximate assertions about a huge input. Proof generation is ultra-fast in the sense that it only requires reading a small (sub-linear) portion of the input. Approximate verification of the proof is even faster (reading an even smaller portion of the input). Similarly to the property testing literature,…

How to Verify Any (Reasonable) Distribution Property: Computationally Sound Argument Systems for Distributions

April 24, 2025 research area Methods and Algorithms：/research/?domain=Methods%20and%20Algorithms conference ICLR：/research/?event=ICLR

As statistical analyses become more central to science, industry and society, there is a growing need to ensure correctness of their results. Approximate correctness can be verified by replicating the entire analysis, but can we verify without replication? Building on a recent line of work, we study proof-systems that allow a probabilistic verifier to ascertain that the results of an analysis are approximately correct, while drawing fewer samples…

Our research in machine learning breaks new ground every day.