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 08:01, 3 June 2019
, 3 June 2019→Pseudocode
| Line 71: | 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)</math>&&<math>(v < s_vL/2)</math>, Verifier accepts m else he aborts | # If <math>(b < s_vL/2)</math>&&<math>(v < s_vL/2)</math>, Verifier accepts m else he aborts | ||
===Subroutine: '''MDI-KGP'''(Seller, Receiver R, Arbitrator,i)=== | |||
*For k=0,L | |||
#Seller chooses <math>s_{\text{basis}}\epsilon \{X,Z\}</math> and generates <math>|a\rangle</math> | #Seller chooses <math>s_{\text{basis}}\epsilon \{X,Z\}</math> and generates <math>|a\rangle</math> | ||
#Receiver chooses <math>r_{\text{basis}}\epsilon \{X,Z\}</math> and generates <math>|b\rangle</math> | #Receiver chooses <math>r_{\text{basis}}\epsilon \{X,Z\}</math> and generates <math>|b\rangle</math> | ||
| Line 79: | Line 79: | ||
#<math>|\Psi\rangle</math>=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>)&&(<math>s_{\text{basis}}=r_{\text{basis}}</math>) | #If (<math>|Psi\!={}</math>)&&(<math>s_{\text{basis}}=r_{\text{basis}}</math>) | ||
###A^i_R(k)=a | ###<math>A^i_R(k)=a</math> | ||
###If (<math>s_{\text{basis}}=r_{\text{basis}}=Z</math>) | ###If (<math>s_{\text{basis}}=r_{\text{basis}}=Z</math>) | ||
####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 (<math>|\Psi\rangle=\frac{1}{\sqrt{2}}(|00\rangle+|11\rangle))||(|Psi\rangle=\frac{1}{\sqrt{2}}(|00\rangle-|11\rangle)</math>) '''then''' <math>R^i(k)=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>|\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 (<math>|Psi\rangle=\frac{1}{\sqrt{2}}(|++\rangle+|--\rangle))||(|Psi\rangle=\frac{1}{\sqrt{2}}(|+-\rangle+|-+\rangle)</math>) '''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''' <math>R^i(k)=b</matj> | ||
####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> | ####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> | ||
* | |||
==Further Information== | ==Further Information== | ||