Prepare and Measure Quantum Digital Signature: Difference between revisions

Line 51: Line 51:
**'''Symmetrisation'''
**'''Symmetrisation'''
##For k=0,1
##For k=0,1
### Buyer chooses I<math>\subset_R\{1,2,...,L\}, |I|=\ceil{L/2}</math>
### Buyer chooses I<math>\subset_R\{1,2,...,L\}, |I|=[L/2]</math>
### ∀i ∈ I, Buyer sends Verifier <math>(k,i,b^k_i,B^k_i)</math>  
### ∀i ∈ I, Buyer sends Verifier <math>(k,i,b^k_i,B^k_i)</math>  
### Verifier chooses J<math>\subset_R\{1,2,...,L\}, |J|=\ceil{L/2}</math>
### Verifier chooses J<math>\subset_R\{1,2,...,L\}, |J|=[L/2]</math>
### ∀j ∈ J, Verifier sends Buyer <math>(k,j,b^k_j,B^k_j)</math>  
### ∀j ∈ J, Verifier sends Buyer <math>(k,j,b^k_j,B^k_j)</math>  
### ∀j ∈ J Buyer replaces <math>B^k_l=C^k_l</math>
### ∀j ∈ J Buyer replaces <math>B^k_l=C^k_l</math>
Write, autoreview, editor, reviewer
3,125

edits