Prepare-and-Send Verifiable Quantum Fully Homomorphic Encryption: Difference between revisions

In this [https://arxiv.org/abs/1708.09156 example protocol], Quantum Fully Homomorphic Encryption (link) protocol is implemented with the additional property of verification, where it is checked if the final ciphertext produces by the server matches the results of a particular computation. QFHE is a protocol where any arbitrary computations can be carried out by the server on the client's encrypted data while hiding all inputs and outputs of the client. In the classical version of this protocol, the verification was carried by creating copies at every stage, which is not possible in the quantum version due to the no-cloning theorem. Hence in this protocol, verification is carried out by a technique where the server generates classical computational logs through which the underlying encryptions becomes authenticated. </br>