Supplementary Information: Difference between revisions

m
Line 167: Line 167:
===Garden Hose Complexity Model===
===Garden Hose Complexity Model===
*Gadget Construction for QFHE
*Gadget Construction for QFHE
===Encrypted CNOT operation (FHE)===
<math>\sum_{a,b\in\{0,1\}}\alpha_{ab}CNOT^s|a\rangle|b\rangle</math></br>
<math>=\alpha_{ab}|a\rangle|b\oplus a.s\rangle</math></br>
<math>=\alpha_{ab}|a\rangle|b\oplus a.(\mu_0+\mu_1)\rangle</math></br>
<math>=\alpha_{ab}|0\rangle|b\oplus 0\rangle+\alpha_{ab}|1\rangle|b\oplus \mu_0+\mu_1\rangle</math></br>
<math>=\alpha_{ab}|0\rangle|b\oplus \mu_0+\mu_1\rangle+\alpha_{ab}|1\rangle|b\oplus \mu_0+\mu_1\rangle</math>,  <math>\because q\oplus q=0</math></br>
<math>=\alpha_{0b}|0\rangle X^{\mu_0}|b\oplus \mu_0\rangle+\alpha_{1b}|1\rangle X^{\mu_0}|b\oplus \mu_1\rangle</math></br>  <math>\because |w\oplus y\rangle=X^y|b\rangle</math></br>
<math>=\alpha_{ab}|a\rangle X^{\mu_0}|b\oplus \mu_a\rangle</math></br>
===Trapdoor Claw-Free Function (TCF)===
===Trapdoor Claw-Free Function (TCF)===


Write, autoreview, editor, reviewer
3,129

edits