Abstract: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 and using less computational resources than would be needed to replicate the analysis. We focus on distribution testing problems: verifying that an unknown distribution is close to having a claimed property. Our main contribution is a interactive protocol between a verifier and an untrusted prover, which can be used to verify any distribution property that can be decided in polynomial time given a full and explicit description of the distribution. If the distribution is at statistical distance $\varepsilon$ from having the property, then the verifier rejects with high probability. This soundness property holds against any polynomial-time strategy that a cheating prover might follow, assuming the existence of collision-resistant hash functions (a standard assumption in cryptography). For distributions over a domain of size $N$, the protocol consists of $4$ messages and the communication complexity and verifier runtime are roughly $\widetilde{O}\left(\sqrt{N} / \varepsilon^2 \right)$. The verifier's sample complexity is $\widetilde{O}\left(\sqrt{N} / \varepsilon^2 \right)$, and this is optimal up to $\polylog(N)$ factors (for any protocol, regardless of its communication complexity). Even for simple properties, approximately deciding whether an unknown distribution has the property can require quasi-linear sample complexity and running time. For any such property, our protocol provides a quadratic speedup over replicating the analysis.

Secure Distance Bounding Verification using Physical-Channel Properties

A FMCW-Based Cross Layer RF Distance Bounding Scheme.

Low-power Distance Bounding

Distance-bounding facing both mafia and distance frauds: Technical report*

Entanglement-based Mutual Quantum Distance Bounding

So Near and Yet So Far – Symbolic Verification of Distance-Bounding Protocols

Privacy preserving Distance computation using somewhat-trusted third parties

Finite-key Analysis for Measurement-Device-independent Quantum Key Distribution

Shedding Light on RFID Distance Bounding Protocols and Terrorist Fraud Attacks

A distance measure of non-trace-preserving channels

Distance‐bounding trust protocol in anonymous radio‐frequency identification systems

Efficient Verification of Bipartite Pure States

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

Meed: A Memory-Efficient Distance Bounding Protocol With Error Detection

Finite-Size Security for Discrete-Modulated Continuous-Variable Quantum Key Distribution Protocols

Multi-factor Physical Layer Security Authentication in Short Blocklength Communication

Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings

Making Existing Quantum Position Verification Protocols Secure Against Arbitrary Transmission Loss

Linear gate bounds against natural functions for position-verification

Robust and efficient verification of graph states in blind measurement-based quantum computation

Verifying the security of a continuous variable quantum communication protocol via quantum metrology