Interactive Proofs for General Distribution Properties
Interactive proof systems verify sophisticated data analysis on unknown distributions. New systems efficiently check general distribution properties using bounded-depth circuits, reducing verification costs.