Prepare and Measure Quantum Digital Signature: Difference between revisions

Line 63: Line 63:
### <math>\forall i\epsilon I</math>, Buyer sends Verifier <math>(k,i,b^k_i,B^k_i)</math>  
### <math>\forall i\epsilon I</math>, Buyer sends Verifier <math>(k,i,b^k_i,B^k_i)</math>  
### Verifier chooses J<math>\subset_R\{1,2,...,L\}, |J|=[L/2]</math>
### Verifier chooses J<math>\subset_R\{1,2,...,L\}, |J|=[L/2]</math>
### <math>\forall j\epsilon J</math>, Verifier sends Buyer <math>(k,j,b^k_j,B^k_j)</math>  
### <math>\forall j\epsilon J</math>, Verifier sends Buyer <math>(k,j,v^k_j,V^k_j)</math>  
### <math>\forall j\epsilon J</math> Buyer replaces <math>B^k_l=C^k_l</math>
### <math>\forall j\epsilon J</math> Buyer replaces <math>B^k_l=V^k_l</math>
### <math>\forall i\epsilon I</math> Verifier replaces <math>C^k_l=B^k_l</math>
### <math>\forall i\epsilon I</math> Verifier replaces <math>V^k_l=B^k_l</math>


==='''Stage 2''' Messaging===
==='''Stage 2''' Messaging===
Write, autoreview, editor, reviewer
3,129

edits