safety security
A Classical Verifier Delegated Quantum Work With Quasilinear Resources
Compiled nonlocal games and LWE produced a single-prover argument system for BQP.
Summary
Compiled nonlocal games and LWE produced a single-prover argument system for BQP.
The paper constructs an argument system whose total resources scale quasilinearly with a delegated circuit's gate count, up to security and logarithmic factors. A new constant-robustness computational self-test prepares certified single-qubit states remotely before dequantizing an earlier verification protocol under the LWE assumption.
Why it matters
Compiled nonlocal games and LWE produced a single-prover argument system for BQP.
Limits and context
No additional limitation was separately recorded.
Key claims
Compiled nonlocal games and LWE produced a single-prover argument system for BQP.
Evidence: source-2026-09-30-021
Sources
- arXiv preprint 2609.38060arXiv · primary research
Corrections
No corrections have been recorded for this story.