2 papers
quant-ph2026
On the Cryptographic Structure Required for Verifying Qubits
James Bartusek, Itay Shalit
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 computatio…
quant-ph2025
Clifford Strategies in Interactive Protocols are Classically Simulatable
Itay Shalit
is the class of languages decidable by an efficient classical verifier interacting with multiple quantum provers that share entangled qubits but cannot communicat…