{"id":"arxiv/2607.03983","url":"https://arxiv.org/abs/2607.03983","tags":["quant-ph"],"score":0,"title":"Verification of Quantum Computations: Hardware-Efficient Security Proofs","domain":"quant-ph","source":"arxiv","authors":["Harold Ollivier"],"reviews":0,"subject":"quant-ph","summary":"How can a user with limited quantum resources verify the output of an untrusted, fully quantum server? This manuscript provides a conceptual synthesis of some recent developments toward answering this question under statistical (information-theoretic) security. Rather than duplicating the dense technical proofs of the underlying publications, our focus here is on the physical motivations, the structural connections between different protocols, and the path toward hardware-efficient implementation. We begin by introducing a modular, composable framework that partitions verification into three…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-07-04","reactions":{}}