Prepare and Measure Quantum Digital Signature: Difference between revisions

Jump to navigation Jump to search
Line 38: Line 38:
#For k = 0,1
#For k = 0,1
## Seller prepares quantum public key , where  
## Seller prepares quantum public key , where  
## She sends Buyer (k,|ψki)
## She sends Buyer (k,<math>|\psi^k\rangle</math>)
## She sends Verifier (k,|ψki)
## She sends Verifier (k,<math>|\psi^k\rangle</math>)
**'''State Elimination:''' <math>b^k_l</math> denotes Buyer’s random bit to determine the measurement basis of <math>l^{th}</math> qubit in the quantum public key <math>|\psi^k\rangle</math> for message k#For k = 0,1
**'''State Elimination:''' <math>b^k_l</math> denotes Buyer’s random bit to determine the measurement basis of <math>l^{th}</math> qubit in the quantum public key <math>|\psi^k\rangle</math> for message k
#For k = 0,1
##For l = 1,2,...,L
##For l = 1,2,...,L
### Buyer chooses <math>b^k_l∈_R {0,1}</math>  
### Buyer chooses <math>b^k_l \epsilon_R {0,1}</math>  
###If bkl =0, Buyer measures his qubit in X basis {|+i,|−i}
###If <math>b^k_l=0</math>, Buyer measures his qubit in X basis {<math>|+\rangle,|-\rangle</math>}
###bkl = 1, Buyer measures his qubit in Z basis {|0i,|1i} return <math>m_{b^k_l}</math>
###If <math>b^k_l=0</math>, Buyer measures his qubit in Z basis {<math>|0\rangle,|1\rangle</math>}  
''Verifier repeats steps 2(a)-2(b) with randomly chosen basis <math>c^k_l</math> to get his eliminated signature elements <math>C^k_l</math>''
###'''return''' <math>m_{b^k_l}</math>
**Verifier repeats steps 2(a)-2(b) with randomly chosen basis <math>c^k_l</math> to get his eliminated signature elements <math>C^k_l</math>


**'''Symmetrisation'''
**'''Symmetrisation'''
Write, autoreview, editor, reviewer
3,129

edits

Navigation menu