Write, autoreview, editor, reviewer
3,125
edits
Supplementary Information: Difference between revisions
Jump to navigation
Jump to search
m
→Encrypted CNOT operation (FHE)
| Line 174: | Line 174: | ||
<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_{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_{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</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)=== | ||