Prepare-and-Send Verifiable Quantum Fully Homomorphic Encryption: Difference between revisions

Prepare-and-Send Verifiable Quantum Fully Homomorphic Encryption (edit)

873 bytes added , 26 May 2019

no edit summary

Write, autoreview, editor, reviewer

3,125

edits

@@ Line 105: / Line 105: @@
 * return <math>(\tilde{\sigma}, log_!, log_2, log_3, log_4)</math>
-\end{enumerate}
+</br>
+'''Function 9''': TrapTP.EvalCondP(<math>\tilde{b}, \tilde{\sigma}, \tilde{x}, \tilde{z}, \Gamma_i = (\tilde{g_i}, \tilde{\pi}_i, \tilde{\gamma_i^{in}}, \tilde{\gamma_i^{mid}}, \tilde{\gamma_i^{out}}), \tilde{\pi},pk_{i}, evk_{i}</math>)
+* <math>(\tilde{a}_1, \tilde{a}_2, log_1) \xleftarrow[]{}</math> evaluate Bell measurement between <math>\tilde{\sigma}</math> and <math>\tilde{\gamma}^{in}_i</math>
+* <math>(\tilde{a}, log_2) \xleftarrow[]{}</math> evaluate Bell measurement in <math>\tilde{\Gamma_i^{mid}}</math> as dictated by the ciphertext <math>\tilde{b}</math> and the garden-hose protocol  for HE.Dec
+*  <math>(\tilde{x}, \tilde{z}, log_3) \xleftarrow[]{}</math> HE.Eval<math>^{T-key-update}_{evk_i}(\tilde{x}, \tilde{z}, \tilde{a}_1, \tilde{a}_2, \tilde{a}, \tilde{g}_i)</math>
+* return <math>(\tilde{\gamma_i^{out}}, \tilde{x}, \tilde{z}, log_1, log_2, log_3)</math>
 ==Further Information==
 <div style='text-align: right;'>''*contributed by Rhea Parekh''</div>