Write, autoreview, editor, reviewer
3,125
edits
Arbitrated Quantum Digital Signature: Difference between revisions
Jump to navigation
Jump to search
→Notation
| Line 71: | Line 71: | ||
* <math>|Q\rangle</math>: Result of Verifier's measurement of <math>|V\rangle_{m, k_{pub},S}</math>. | * <math>|Q\rangle</math>: Result of Verifier's measurement of <math>|V\rangle_{m, k_{pub},S}</math>. | ||
* <math>Q</math>: Classical bit string denoted as <math>Q \in \{00, 01, 10, 11\}^n</math>. It is proven that <math>P=Q</math>. | * <math>Q</math>: Classical bit string denoted as <math>Q \in \{00, 01, 10, 11\}^n</math>. It is proven that <math>P=Q</math>. | ||
*<math>g(Q)</math>: g is a classical function which when takes classical 2n bit string Q, gives seller's random string t as output. This function can be calculated. | |||
* <math>\delta</math>: <math>\langle F|F\rangle'</math>, where <math>\delta \in [0,1)</math>. | * <math>\delta</math>: <math>\langle F|F\rangle'</math>, where <math>\delta \in [0,1)</math>. | ||