Blind quantum computation (BQC) enables clients with limited quantum capabilities to protect the privacy of inputs, outputs and algorithms during the computation process. However, if a client’s private information is exposed to a server after the computation, the server can deduce the client’s output or even input. Quantum encryption with certified deletion (QECD) offers a potential solution by enabling the data owner to generate a deletion certificate, making the original plaintext inaccessible, provided the certificate is valid. Nevertheless, current QECD can only handle classical data and cannot be applied to BQC with quantum inputs. This paper first introduces the concept of certified deletion for quantum states and then proposes a single-client BQC protocol with certified deletion, where the client can use the classical certificate generated by the server to confirm whether her quantum inputs have been deleted after computation.We also give a specific example and simulate it using Qiskit to show its feasibility. In addition, the proposed protocol can also be extended to a multi-client environment in which honest clients request certified deletion if any client disconnects or behaves maliciously, thereby terminating the protocol and protecting their privacy.

Quantum homomorphic encryption (QHE) can allow clients to directly perform quantum computation on encrypted data with the assistance of a remote quantum server. However, existing QHE schemes often overlook the crucial property of verifiability which enables clients to validate the correctness of computation results provided by the server. In this paper, we propose a verifiable QHE scheme based on the universal quantum gate set {H,P,Toffoli}. At first, a specialized gadget is designed to eliminate the errors that may arise during the homomorphic evaluation of non-Clifford Toffoli gates in a non-interactive manner. Furthermore, the designed gadget is versatile and can be seamlessly integrated into an existing QHE scheme that implements quantum gates in another universal quantum gate set {H,T,CNOT} to homomorphically evaluate more quantum gates. Subsequently, a verifiable method is introduced to the QHE scheme based on {H,P,Toffoli} for the client to detect whether the server is honest during the homomorphic computation by employing three types of indistinguishable quantum circuits.