Write, autoreview, editor, reviewer
3,129
edits
m (→Pseudo-Code) |
m (→Notations) |
||
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 == |