Universal half-blind quantum computation

We devise a simple protocol. A client delegates his or her quantum computation to a remote server in accordance with the inputs and instructions. Alice, the client, has a classical computer or limited quantum technologies, and these are not sufficient for the universal quantum computation at her disposal. Bob, the server, owns a fully-fledged quantum computer and promises to execute the computation honestly. The protocol itself is half-blind, that is, Bob may learn which quantum gate he implements but nothing about Alice’s inputs and outputs. Furthermore, Alice is only required to send qubits and perform Pauli gates. Finally, we analyze the security, universality, half-blindness and correctness, and briefly discuss its defects, extension and verification.