Write, autoreview, editor, reviewer
3,129
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 05:57, 3 June 2019
, 3 June 2019→Pseudocode
No edit summary |
|||
| Line 35: | Line 35: | ||
==Pseudocode== | ==Pseudocode== | ||
<u>'''Stage 1'''</u> Distribution | |||
*'''Output''' Seller: <math>S^B_0,S^B_1,S^V_0,S^V_1</math> Buyer: <math>B^0,B^1</math>; Verifier: <math>V^0,V^1</math> | |||
**'''Key Distribution:''' | |||
#For k = 0,1 | |||
##S_B^k=B^k=MDI-KGP(Seller, Buyer, Arbitrator) | |||
##S_V^k=V^k=MDI-KGP(Seller, Verifier, Arbitrator) | |||
**'''Symmetrisation''' | |||
##For k = 0,1 | |||
### Buyer chooses I<math>\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> | |||
### Verifier chooses J<math>\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> | |||
<u>'''Stage 2'''</u> Messaging | |||
*'''Input''' Seller: Message m, Private Key for m: <math>\{\beta^m_1,...,\beta^m_L\}</math> | |||
*'''Output''' Buyer: accept or abort, Verifier: accept or abort | |||
**'''Signing:''' ’mismatch’ is when Buyer finds an eliminated signature element in Seller’s private key | |||
# Seller sends Buyer (m,<math>S^B_m,S^V_m</math>) | |||
# For l = 1,2,..,L | |||
##If '''<math>l\epsilon \{1,2,...,L\}-I</math>''' | |||
#####Buyer counts the number of mismatches (<math>B^m_l!=S^m_l</math>), b=b+1 | |||
##If '''<math>l\epsilon J</math>''' | |||
####Buyer counts the number of mismatches (<math>V^m_l!=S^m_l</math>), v=v+1 | |||
# If <math>(b < s_aL/2)\&\&(v < s_aL/2)</math>, Buyer accepts m else he aborts | |||
**'''Transfer''' | |||
# Buyer sends Verifier (m,<math>S^B_m,S^V_m</math>) | |||
# For l = 1,2,..,L | |||
##If '''<math>l\epsilon \{1,2,...,L\}-J</math>''' | |||
#####Verifier counts the number of mismatches (<math>V^m_l!=S^m_l</math>), v=v+1 | |||
##If '''<math>l\epsilon I</math>''' | |||
####Verifier counts the number of mismatches (<math>B^m_l!=S^m_l</math>), b=b+1 | |||
# If <math>(b < s_vL/2)\&\&(v < s_vL/2)</math>, Verifier accepts m else he aborts | |||
==Further Information== | ==Further Information== | ||