Pseudo-Secret Random Qubit Generator (PSQRG): Difference between revisions

Pseudo-Secret Random Qubit Generator (PSQRG) (edit)

Revision as of 06:45, 11 July 2019

183 bytes added , 11 July 2019

→‎Stage2 Squeezing

Shraddha

Write, autoreview, editor, reviewer

3,129

edits

@@ Line 71: / Line 71: @@
 ==='''Stage2''' Squeezing===
-*'''Output''': If the protocol is run honestly, when there is no abort, the state that Server has is |+θi, 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  basis. Server obtains the outcomes b = (b1,··· ,bn−1) and returns the result b to the Client
+#Client: instructs the Server to measure all the qubits (except the last one) of the first register in the <math>\left\{\ket{0}\pm e^{\alpha_i\pi/4}\ket{1}\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 tk computes x,x0. Then check if the nth bit of x and x0 (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.
 ==Definitions (informal)==