Write
262
edits
Line 84: | Line 84: | ||
* If <math>|F\rangle = |F\rangle'</math>, the measuring result <math>|0\rangle</math> occurs with probability 1, otherwise it occurs with probability <math>\frac{1+\delta^2}{2}</math>. Hence, when repeated for <math>w</math> times, the probability of equality is at least 1-<math>(\frac{1+\delta^2}{2})^w</math>. | * If <math>|F\rangle = |F\rangle'</math>, the measuring result <math>|0\rangle</math> occurs with probability 1, otherwise it occurs with probability <math>\frac{1+\delta^2}{2}</math>. Hence, when repeated for <math>w</math> times, the probability of equality is at least 1-<math>(\frac{1+\delta^2}{2})^w</math>. | ||
== | ==Pseudocode== | ||
'''Stage 1''': Key Generation </br> | '''Stage 1''': Key Generation </br> | ||
'''Output''': Signer receives <math>k_{pri}</math> from the PKG. | '''Output''': Signer receives <math>k_{pri}</math> from the PKG. |