Optimizing Resource Costs: A Practical Guide to Achieving Target Security in Verifiable Blind Quantum Computing
📄 arXiv:2606.28139 · 📥 PDF · 2026-06-26 · quant-ph
Authors: Janice van Dam [arXiv · scholar] , Michał van Hooft [arXiv · scholar] , Stephanie D. C. Wehner [arXiv · scholar]
🕰 Orloj analysis
Tento článek představuje praktický rámec pro optimalizaci nákladů na zdroje ve Verifiable Blind Quantum Computingu (VBQC), formalizující výběr parametrů protokolu jako problém omezené optimalizace. Cílem je minimalizovat počet kol pro danou úroveň šumu hardwaru a bezpečnostní cíl a poskytuje heuristický vzorec pro rychlý odhad zdrojů.
💡 Jde o cenný, aplikovaný příspěvek, který nabízí konkrétní metodiku a vodítka pro praktickou implementaci existujícího protokolu VBQC, spíše než o teoretický průlom.
Categories:
INF-7
QFD-6
MET-3
EXP-7
✓ falsifiable, limit_reductions, modest_claims
📄 Abstract
Verifiable blind quantum computing (VBQC) enables a resource-limited client to securely delegate computations to an untrusted quantum server while maintaining privacy and detecting deviations from the prescribed computation. The noise-robust VBQC protocol of Leichtle et al. achieves this through a round-based structure: the client delegates multiple computation rounds and test rounds, using the test outcomes to detect cheating while tolerating honest hardware noise. The protocol's security proof involves numerous interdependent parameters, making it non-trivial to find a valid parameter set for a given hardware noise level and security target. We formalize this as a constrained optimization problem and develop a practical framework to solve it. The framework yields the protocol parameters that minimize the number of rounds for any given setup. We derive a heuristic formula for the minimal number of rounds to help understand the scaling with noise and security targets and to provide rapid resource estimation. Since the number of rounds depends on noise while the time per round depends on hardware rate, the framework also enables optimization of rate-fidelity trade-offs to minimize end-to-end runtime. We demonstrate both applications through a case study of a trapped-ion server with a measurement-only client, showing how the client's polarization control hardware specifications translate into protocol parameters and runtime estimates, providing concrete guidance for near-term implementations.