Classical Fully Homomorphic Encryption for Quantum Circuits: Difference between revisions

m
Line 22: Line 22:


== Notations ==
== Notations ==
* k: security parameter
* <math>k</math>: 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)
* <math>L</math>: depth of the circuit (no. of layers in the circuit)
* <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.
* <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
* <math>y</math>: measurement outcome of third register
* <math>(\mu_0,r_0) (\mu_1,r_1)</math>: random claw for 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
* <math>d</math>: measurement outcome of the second register


== Hardware Requirements ==
== Hardware Requirements ==
Write, autoreview, editor, reviewer
3,129

edits