Classical Fully Homomorphic Encryption for Quantum Circuits: Difference between revisions

Line 32: Line 32:
===Setup Assumptions===
===Setup Assumptions===
* HE is a classical leveled fully homomorphic encryption scheme which is quantum capable for depth Lc.
* HE is a classical leveled fully homomorphic encryption scheme which is quantum capable for depth Lc.
* A BQP Server can generate a superposition of inputs for the encryption function over some distribution given the public key used for encryption.
* A BQP Server can generate a superposition of inputs for the encryption function over some distribution given the public key used for encryption. The protocol takes the learning with errors assumption.
 
===Security Claim/ Theorems===
===Security Claim/ Theorems===
*''Quantum Capable'' A classical HE is quantum capable i.e. can perform quantum computation efficiently if there exists AltHE which can execute natural XOR operations.
*''Quantum Capable'' A classical HE is quantum capable i.e. can perform quantum computation efficiently if there exists AltHE which can execute natural XOR operations.
Write, autoreview, editor, reviewer
3,125

edits