Target-Dependent Local Verification: Information--Proof-Length Tradeoffs

Hongmin Li

We study fixed-layout local verification with target-dependent local tests. Let $M$ be a random variable on $\{0,1{\}}^K$, and let $S$ record the test selected at each coordinate. Fo…