{"id":"arxiv/2606.05527","url":"https://arxiv.org/abs/2606.05527","tags":["quant-ph","cs.CR"],"score":0,"title":"On the Cryptographic Structure Required for Verifying Qubits","domain":"quant-ph","source":"arxiv","authors":["James Bartusek","Itay Shalit"],"reviews":0,"subject":"quant-ph","summary":"Classically testing for the presence of anti-commuting operators on a quantum device is a critical tool underpinning recent progress in classical verification of quantum computation. While such tests can be based on cryptographic assumptions, known constructions rely on highly structured assumptions, e.g. trapdoor claw-free functions. In this work, we seek to explain this state of affairs by constructing strong cryptography from (certain forms of) classical tests of anti-commutation. In particular, we formulate the notion of a test of non-commutation (ToNC), an interactive protocol between a…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-06-04","reactions":{}}