Classical Fully Homomorphic Encryption for Quantum Circuits: Difference between revisions

Classical Fully Homomorphic Encryption for Quantum Circuits (edit)

218 bytes removed , 20 November 2018

m

Write, autoreview, editor, reviewer

3,129

edits

@@ Line 53: / Line 53: @@
 #	Client generates homomorphic key set, <math>(pk_i,evk_i,sk_i, t_{sk_i}) = </math>HE.Keygen(<math>1^{\lambda}, 1^{L_c}</math>).</br>The public key <math>pk</math> is <math>pk_1</math> and the secret key <math>sk</math> is <math>sk_{L+1}</math>. </br>The evaluation key <math>evk</math> consists of <math>(evk_1,\ldots,evk_{L+1})</math> as well as <math>(pk_{i+1},</math>HE.Enc<math>_{pk_{i+1}}(sk_{i})</math>, HE.Enc<math>_{pk_{i+1}}(t_{sk_i})</math>) for <math>1\leq i\leq L</math>.
 **'''Encryption (FHE.Enc<math>_{pk}(m)</math>))'''
-#	Client chooses pad key for each message bit <math>a,b\in\{0,1\}^{\lambda}</math>.
+#Client chooses pad key for each message bit <math>a,b\in\{0,1\}^{\lambda}</math>.
-#	She then encrypts this pad key and sends it to the Server with the evaluation keys.</br>HE.Enc<math>_{pk_1}(a,b))</math>,
+#She encrypts the message m using pad key. <math> a\oplus m</math> (b is used in quantum case)
-#	She sends encrypted classical message <math>X^aZ^b|l\rangle</math> which can be represented as the classical string <math>a\oplus m</math>. In case of quantum output Client uses pad key to hide her quantum state using QOTP (<math>X^aZ^b|\psi\rangle</math>) and then sends this hidden state to the Server along with the encrypted pad key.
+#She then encrypts the pad key. HE.Enc<math>_{pk_1}(a,b))</math>
+# She sends the encrypted message and pad key to the Server with the evaluation keys.
 === '''Stage 2''' Server’s Computation ===