Write, autoreview, editor, reviewer
3,129
edits
Line 66: | Line 66: | ||
#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 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. | ||
== | ==Relevant Papers== | ||
==Requirements== | ==Requirements== |