Gottesman and Chuang Quantum Digital Signature: Difference between revisions

Jump to navigation Jump to search
no edit summary
No edit summary
Line 1: Line 1:
The [https://arxiv.org/abs/quant-ph/0105032 example protocol] achieves the functionality of [[Quantum Digital Signature|(Quantum) Digital Signatures (QDS)]] allowing the exchange of classical messages from sender to multiple recipients, with a guarantee that the signature has come from a genuine sender. This protocol achieves all the [[Quantum Digital Signature#Properties|properties]] of QDS. Further, this protocol requires the parties to store quantum states for comparison at a later stage thus necessitating the requirement of quantum memory. This protocol is based quantum public key cryptography.<br/><br/>
The [https://arxiv.org/abs/quant-ph/0105032 example protocol] achieves the functionality of [[Quantum Digital Signature|(Quantum) Digital Signatures (QDS)]] allowing the exchange of classical messages from sender to multiple recipients, with a guarantee that the signature has come from a genuine sender. This protocol achieves all the [[Quantum Digital Signature#Properties|properties]] of QDS. Further this protocol requires the parties to store quantum states for comparison at a later stage thus necessitating the requirement of quantum memory. This protocol is based quantum public key cryptography.<br/><br/>
'''Tags:''' [[:Category:Multi Party Protocols|Multi Party (three)]], [[:Category:Quantum Enhanced Classical Functionality|Quantum Enhanced Classical Functionality]], [[:Category:Specific Task|Specific Task]], [[Quantum Digital Signature]], [[Prepare and Measure Quantum Digital Signature]], [[Measurement Device Independent Quantum Digital Signature (MDI-QDS)]]
'''Tags:''' [[:Category:Multi Party Protocols|Multi Party (three)]], [[:Category:Quantum Enhanced Classical Functionality|Quantum Enhanced Classical Functionality]], [[:Category:Specific Task|Specific Task]], [[Quantum Digital Signature]], [[Prepare and Measure Quantum Digital Signature]], [[Measurement Device Independent Quantum Digital Signature (MDI-QDS)]]
[[Category:Multi Party Protocols]][[Category:Quantum Enhanced Classical Functionality]][[Category:Specific Task]]
[[Category:Multi Party Protocols]][[Category:Quantum Enhanced Classical Functionality]][[Category:Specific Task]]
Line 61: Line 61:
##For i=0,M
##For i=0,M
###For j=1,2
###For j=1,2
####Seller sends <math>|f(k_m^i)\rangle^j</math> to buyer and verifier
####Seller sends <math>|f(k_m^i)^j\rangle</math> to buyer and verifier
####Buyer performs '''QSWAP TEST'''<math>|f(k_m^i)\rangle^1, |f(k_m^i)\rangle^2</math>
####Buyer performs '''QSWAP TEST'''<math>|f(k_m^i)^1\rangle, |f(k_m^i)^2\rangle</math>
####If QSWAP TEST= '''False''', Buyer '''aborts'''
####If QSWAP TEST= '''False''', Buyer '''aborts'''
####If QSWAP TEST= '''True''', Buyer sends <math>|f(k_m^i)\rangle^{b}=|f(k_m^i)\rangle^2=|f(k_m^i)\rangle^1</math> to verifier
####If QSWAP TEST= '''True''', Buyer sends <math>|f(k_m^i)^{b}\rangle=|f(k_m^i)^2\rangle=|f(k_m^i)^1\rangle</math> to verifier
####Verifier performs similar steps and sends <math>|f(k_m^i)\rangle^{v}=|f(k_m^i)\rangle^2=|f(k_m^i)\rangle^1</math> to buyer
####Verifier performs similar steps and sends <math>|f(k_m^i)^{v}\rangle=|f(k_m^i)^2\rangle=|f(k_m^i)^1\rangle</math> to buyer
####Both perform '''QSWAP TEST'''<math>(|f(k_m^i)\rangle^{b},|f(k_m^i)\rangle^{v}</math>  
####Both perform '''QSWAP TEST'''<math>(|f(k_m^i)^{b}\rangle,|f(k_m^i)^{v}\rangle</math>  
####If QSWAP TEST= '''False''', protocol aborted
####If QSWAP TEST= '''False''', protocol aborted
####If QSWAP TEST= '''True''', distribution successful
####If QSWAP TEST= '''True''', distribution successful
Line 79: Line 79:
# For l = 1,2,..,L
# For l = 1,2,..,L
## Buyer performs <math>k_b^i\rightarrow f_{new}</math>
## Buyer performs <math>k_b^i\rightarrow f_{new}</math>
## Buyer performs '''QSWAP TEST'''<math>(f_{new},f(k_b^i))</math>
## Buyer performs '''QSWAP TEST'''<math>(f_{new},f_{k_b^i})</math>
## If QSWAP TEST= False, <math>s_B=s_B+1</math>
## If QSWAP TEST= False, <math>s_B=s_B+1</math>
#If <math>s_B<c_1M</math>, result '''1-ACC'''
#If <math>s_B<c_1M</math>, result '''1-ACC'''
Write, autoreview, editor, reviewer
3,129

edits

Navigation menu