Write, autoreview, editor, reviewer
3,129
edits
Line 121: | Line 121: | ||
###'''Gadget Correction'''<math>(X^{a'^{[m]}}Z^{b'^{[m]}}T_j)\psi\leftarrow</math> QFHE.Measurement(M, <math>P^{a^{[m]}}X^{a^{[m]}}Z^{b^{[m]}}T_j\psi)</math>; | ###'''Gadget Correction'''<math>(X^{a'^{[m]}}Z^{b'^{[m]}}T_j)\psi\leftarrow</math> QFHE.Measurement(M, <math>P^{a^{[m]}}X^{a^{[m]}}Z^{b^{[m]}}T_j\psi)</math>; | ||
### Server gets measurement outcome x',z' | ### Server gets measurement outcome x',z' | ||
##'''Recryption''' Server recrypts one-pad key using pk<math>_{k+1}</math> | ###'''Recryption''' Server recrypts one-pad key using pk<math>_{k+1}</math> (<math>\tilde {a''}^{[m]},\tilde{b''}^{[m]})\leftarrow</math> QFHE.Rec<math>_{pk_{k+1}}(\tilde {a}^{[m]},\tilde{b}^{[m]})</math> | ||
### Server updates the recrypted key using x,z and x',z'. (<math>\tilde {a'}^{[m]},\tilde{b'}^{[m]})\leftarrow (\tilde {a''}^{[m]},\tilde{b''}^{[m]}</math>) | |||
### Server updates the recrypted key using x,z and x',z'. | |||
## Server sends the updated encryption and QOTP output state to Client. | ## Server sends the updated encryption and QOTP output state to Client. | ||