Write, autoreview, editor, reviewer
3,129
edits
Line 4: | Line 4: | ||
==Assumptions== | ==Assumptions== | ||
* This protocol is secure against honest but curious adversary setting. | * This protocol is secure against honest but curious adversary setting. | ||
* HE is a classical leveled fully homomorphic encryption scheme which is [[Supplementary Information#Quantum Cryptography | * HE is a classical leveled fully homomorphic encryption scheme which is [[Supplementary Information#Quantum Cryptography [[Glossary#Quantum Capable Homomorphic Encryption|quantum capable]] for given depth of one layer of circuit, <math>L_c</math> (See Notations below). | ||
* A [ | * A [https://complexityzoo.uwaterloo.ca/Complexity_Zoo:B#bqp BQP] Server (a quantum computer) can generate a superposition of inputs for the encryption function over some distribution given the public key used for encryption. The protocol takes [https://en.wikipedia.org/wiki/Learning_with_errors learning with errors] assumption. | ||
== Outline== | == Outline== |