Preprint
Aug 2026
Target-Dependent Local Verification: Information--Proof-Length Tradeoffs
The bound shows that a fixed target-independent menu of $L$ test profiles must satisfy $\log_2L\ge K-o(K)$.
Hong-Min Li
· 0 citations