Write, autoreview, editor, reviewer
3,129
edits
Prepare-and-Send Verifiable Quantum Fully Homomorphic Encryption: Difference between revisions
Prepare-and-Send Verifiable Quantum Fully Homomorphic Encryption (edit)
Revision as of 11:39, 11 July 2019
, 11 July 2019→Pseudo Code
| Line 110: | Line 110: | ||
* <math>a = (a_1, ..., a_{3m}) \xleftarrow[]{}</math> measure qubits of <math>\tilde{\sigma}</math> in the computational basis | * <math>a = (a_1, ..., a_{3m}) \xleftarrow[]{}</math> measure qubits of <math>\tilde{\sigma}</math> in the computational basis | ||
* <math>(\tilde{a}, log_1) \xleftarrow[]{}</math> HE.Enc<math>_{pk}(a)</math> | * <math>(\tilde{a}, log_1) \xleftarrow[]{}</math> HE.Enc<math>_{pk}(a)</math> | ||
* <math>(\tilde{b}, \tilde{flag}, log_2 | * <math>(\tilde{b}, \tilde{flag}, log_2 \xleftarrow[]{} </math>HE.Eval<math>^{TC.VerDecMeasurement}_{evk}((\tilde{\pi}, \tilde{x}, \tilde{z}), \tilde{a}, HE.Enc_{pk}(+))</math> | ||
* return (<math>\tilde{b}, \tilde{flag}, log_1, log_2</math>) | * return (<math>\tilde{b}, \tilde{flag}, log_1, log_2</math>) | ||