Classical Fully Homomorphic Encryption for Quantum Circuits: Difference between revisions

Classical Fully Homomorphic Encryption for Quantum Circuits (edit)

15 bytes removed , 20 November 2018

m

Write, autoreview, editor, reviewer

3,129

edits

@@ Line 22: / Line 22: @@
 == Notations ==
-*	k, security parameter
+* k, security parameter
-*	<math>\tilde{x}</math> encryption of x
+* <math>\tilde{x}</math> encryption of x
-*	<math>L_c</math>, depth of a layer of circuit where each layer contains clifford gates and Toffoli gates
+* <math>L_c</math>, depth of a layer of circuit where each layer contains Clifford gates and Toffoli gates
-*	L, depth of the circuit (no. of layers in the circuit)
+* L, depth of the circuit (no. of layers in the circuit)
-*	<math>/{\text{pk}_i,\text{sk}_i,\text{evk}_i,\text{tsk}_i/}</math>, i<math>_{th}</math> homomorphic key set generated from HE.KeyGen(). Public key for encryption, secret key for decryption, evaluation function key, trapdoor information required for randomness recovery from ciphertexts.
+* <math>\{pk_i, sk_i, evk_i, t_{sk_i}\}</math>, <math>i_{th}</math> homomorphic key set generated from HE.KeyGen(). Public key for encryption, secret key for decryption, evaluation function key, trapdoor information required for randomness recovery from secret texts.
-*	y, measurement outcome of third register
+* y, measurement outcome of third register
-*	<math>(µ_0,r_0),(µ_1,r_1)</math> random claw pair, for given y
+* <math>(\mu_0,r_0) (\mu_1,r_1)</math> random claw for pair, for given y
-*	d, measurement outcome of the second register
+* d, measurement outcome of the second register
 == Hardware Requirements ==