Write, autoreview, editor, reviewer
3,129
edits
Line 72: | Line 72: | ||
==='''Stage2''' Squeezing=== | ==='''Stage2''' Squeezing=== | ||
*'''Output''': If the protocol is run honestly, when there is no abort, the state that Server has is <math>+_{\theta}</math>, where the Client (only) knows the classical description. | *'''Output''': If the protocol is run honestly, when there is no abort, the state that Server has is <math>+_{\theta}</math>, where the Client (only) knows the classical description. | ||
#Client: instructs the Server to measure all the qubits (except the last one) of the first register in the <math>\left\{\ | #Client: instructs the Server to measure all the qubits (except the last one) of the first register in the <math>\left\{|0\rangle\pm e^{\alpha_i\pi/4}|1\rangle\right\}</math> basis. Server obtains the outcomes <math>b=(b_1,\cdots,b_{n-1})</math> and returns the result <math>b</math> to the Client. | ||
#Client: using the trapdoor <math>t_k</math> computes <math>x,x'</math>. Then check if the <math>n^{\text{th}}</math> bit of <math>x</math> and <math>x'</math> (corresponding to the y received in stage 1) are the same or different. If they are the same, returns abort, otherwise, obtains the classical description of the Server’s state. | #Client: using the trapdoor <math>t_k</math> computes <math>x,x'</math>. Then check if the <math>n^{\text{th}}</math> bit of <math>x</math> and <math>x'</math> (corresponding to the y received in stage 1) are the same or different. If they are the same, returns abort, otherwise, obtains the classical description of the Server’s state. | ||