Write, autoreview, editor, reviewer
3,125
edits
Measurement Device Independent Quantum Digital Signature (MDI-QDS): Difference between revisions
Jump to navigation
Jump to search
Measurement Device Independent Quantum Digital Signature (MDI-QDS) (edit)
Revision as of 06:58, 3 June 2019
, 3 June 2019→Pseudocode
| Line 40: | Line 40: | ||
**'''Key Distribution:''' | **'''Key Distribution:''' | ||
#For k = 0,1 | #For k = 0,1 | ||
##S_B^k=B^k=MDI-KGP(Seller, Buyer, Arbitrator) | ##<math>S_B^k=B^k=MDI-KGP(Seller, Buyer, Arbitrator)</math> | ||
##S_V^k=V^k=MDI-KGP(Seller, Verifier, Arbitrator) | ##<math>S_V^k=V^k=MDI-KGP(Seller, Verifier, Arbitrator)</math> | ||
**'''Symmetrisation''' | **'''Symmetrisation''' | ||
##For k = 0,1 | ##For k = 0,1 | ||
### Buyer chooses | ### Buyer chooses <math>I\subset_R\{1,2,...,L\}, |I|=[L/2]</math> | ||
### <math>\forall i\epsilon I</math>, Buyer sends Verifier <math>(k,i,B^k_i)</math> | ### <math>\forall i\epsilon I</math>, Buyer sends Verifier <math>(k,i,B^k_i)</math> | ||
### Verifier chooses | ### Verifier chooses <math>J\subset_R\{1,2,...,L\}, |J|=[L/2]</math> | ||
### <math>\forall j\epsilon J</math>, Verifier sends Buyer <math>(k,j,V^k_j)</math> | ### <math>\forall j\epsilon J</math>, Verifier sends Buyer <math>(k,j,V^k_j)</math> | ||