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:59, 3 June 2019
, 3 June 2019→Pseudocode
| Line 62: | Line 62: | ||
##If '''<math>l\epsilon J</math>''' | ##If '''<math>l\epsilon J</math>''' | ||
###Buyer counts the number of mismatches (<math>V^m_l!=S^m_l</math>), v=v+1 | ###Buyer counts the number of mismatches (<math>V^m_l!=S^m_l</math>), v=v+1 | ||
# If <math>(b < s_aL/2) | # If <math>(b < s_aL/2)</math>&&<math>(v < s_aL/2)</math>, Buyer accepts m else he aborts | ||
**'''Transfer''' | **'''Transfer''' | ||
# Buyer sends Verifier (m,<math>S^B_m,S^V_m</math>) | # Buyer sends Verifier (m,<math>S^B_m,S^V_m</math>) | ||
| Line 70: | Line 70: | ||
##If '''<math>l\epsilon I</math>''' | ##If '''<math>l\epsilon I</math>''' | ||
###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) | # If <math>(b < s_vL/2)</math>&&<math>(v < s_vL/2)</math>, Verifier accepts m else he aborts | ||
*'''MDI-KGP'''(Seller, Receiver R, Arbitrator,i) | *'''MDI-KGP'''(Seller, Receiver R, Arbitrator,i) | ||
**For k=0,L | **For k=0,L | ||
| Line 77: | Line 77: | ||
#Seller.send(Arbitrator,<math>|a\rangle</math>) | #Seller.send(Arbitrator,<math>|a\rangle</math>) | ||
#Receiver.send(Arbitrator,<math>|b\rangle</math>) | #Receiver.send(Arbitrator,<math>|b\rangle</math>) | ||
#|\Psi\rangle=Arbitrator.'''BSM'''(<math>|a\rangle</math>,<math>|b\rangle</math>) | #<math>|\Psi\rangle</math>=Arbitrator.'''BSM'''(<math>|a\rangle</math>,<math>|b\rangle</math>) | ||
#If (<math>|Psi\!={}</math>) | #If (<math>|Psi\!={}</math>)&&(<math>s_{\text{basis}}=r_{\text{basis}}</math>) | ||
###A^i_R(k)=a | ###A^i_R(k)=a | ||
###If (<math>s_{\text{basis}}=r_{\text{basis}}=Z</math>) | ###If (<math>s_{\text{basis}}=r_{\text{basis}}=Z</math>) | ||
####If (|Psi\rangle=\frac{1}{\sqrt{2}}(|00\rangle+|11\rangle))||(|Psi\rangle=\frac{1}{\sqrt{2}}(|00\rangle-|11\rangle)) '''then''' R^i(k)=b | ####If (<math>|Psi\rangle=\frac{1}{\sqrt{2}}(|00\rangle+|11\rangle))||(|Psi\rangle=\frac{1}{\sqrt{2}}(|00\rangle-|11\rangle)</math>) '''then''' R^i(k)=b | ||
####If (|Psi\rangle=\frac{1}{\sqrt{2}}(|01\rangle+|10\rangle))||(|Psi\rangle=\frac{1}{\sqrt{2}}(|01\rangle-|10\rangle)) '''then''' <math>R^i(k)=\tilde b</math> | ####If (<math>|Psi\rangle=\frac{1}{\sqrt{2}}(|01\rangle+|10\rangle))||(|Psi\rangle=\frac{1}{\sqrt{2}}(|01\rangle-|10\rangle)</math>) '''then''' <math>R^i(k)=\tilde b</math> | ||
###If (<math>s_{\text{basis}}=r_{\text{basis}}=X</math>) | ###If (<math>s_{\text{basis}}=r_{\text{basis}}=X</math>) | ||
####If (|Psi\rangle=\frac{1}{\sqrt{2}}(|++\rangle+|--\rangle))||(|Psi\rangle=\frac{1}{\sqrt{2}}(|+-\rangle+|-+\rangle)) '''then''' R^i(k)=b | ####If (<math>|Psi\rangle=\frac{1}{\sqrt{2}}(|++\rangle+|--\rangle))||(|Psi\rangle=\frac{1}{\sqrt{2}}(|+-\rangle+|-+\rangle)</math>) '''then''' R^i(k)=b | ||
####If (|Psi\rangle=\frac{1}{\sqrt{2}}(|++\rangle-|--\rangle))||(|Psi\rangle=\frac{1}{\sqrt{2}}(|01\rangle-|+-\rangle)) '''then''' <math>R^i(k)=\tilde b</math> | ####If (<math>|Psi\rangle=\frac{1}{\sqrt{2}}(|++\rangle-|--\rangle))||(|Psi\rangle=\frac{1}{\sqrt{2}}(|01\rangle-|+-\rangle)</math>) '''then''' <math>R^i(k)=\tilde b</math> | ||
** | ** | ||