Write, autoreview, editor, reviewer
3,129
edits
Arbitrated Quantum Digital Signature: Difference between revisions
Jump to navigation
Jump to search
→Pseudocode
| Line 87: | Line 87: | ||
* 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>. | ||
== | ==Protocol Description== | ||
<u>'''Stage 1'''</u> Key Distribution </br> | <u>'''Stage 1'''</u> Key Distribution </br> | ||
'''Input''': Seller and PKG (<math>k_{at}</math>)</br> | '''Input''': Seller and PKG (<math>k_{at}</math>)</br> | ||