Write, autoreview, editor, reviewer
3,129
edits
Line 232: | Line 232: | ||
with all but negligible probability in λ. This means classical HE decrypts ciphertext bit by bit. | with all but negligible probability in λ. This means classical HE decrypts ciphertext bit by bit. | ||
HE scheme is compact if HE.Eval is independent of any inputs or computation. It is fully homomorphic if it can compute any boolean computation. | HE scheme is compact if HE.Eval is independent of any inputs or computation. It is fully homomorphic if it can compute any boolean computation. | ||
*'''Quantum Capable' | *'''Quantum Capable:''' A classical HE scheme is quantum capable if it can be used to evaluate quantum circuits. Any HE scheme to be quantum capable requires the following two properties. | ||
Any HE scheme to be quantum capable requires the following two properties. | |||
*''invariance of ciphertext:'' | *''invariance of ciphertext:'' | ||
*''natural XOR operation:'' | *''natural XOR operation:'' |