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 06:04, 3 June 2019
, 3 June 2019→Pseudocode
| Line 37: | Line 37: | ||
<u>'''Stage 1'''</u> Distribution | <u>'''Stage 1'''</u> Distribution | ||
*'''Input''' Key Length, Threshold values (s_a, s_v) | |||
*'''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> | *'''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:''' | **'''Key Distribution:''' | ||
#For k = 0,1 | #For k = 0,1 | ||
##<math>S_B^k=B^k=MDI-KGP(Seller, Buyer, Arbitrator) | ##<math>S_B^k=B^k=</math>MDI-KGP(Seller, Buyer, Arbitrator) | ||
##<math>S_V^k=V^k=MDI-KGP(Seller, Verifier, Arbitrator) | ##<math>S_V^k=V^k=</math>MDI-KGP(Seller, Verifier, Arbitrator) | ||
**'''Symmetrisation''' | **'''Symmetrisation''' | ||
| Line 70: | Line 71: | ||
####Verifier counts the number of mismatches (<math>B^m_l!=S^m_l</math>), b=b+1 | ####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 | # If <math>(b < s_vL/2)\&\&(v < s_vL/2)</math>, Verifier accepts m else he aborts | ||
===Subroutines=== | |||
'''MDI-KGP'''(Seller, Receiver, Arbitrator) | |||
#Seller generates state a and sends it to arbitrator | |||
#Receiver generates state b and sends it to arbitrator | |||
#Arbitrator performs BSM (C-NOT H\otensor I|a\rangle|b\rangle) | |||
==Further Information== | ==Further Information== | ||