Prepare and Measure Quantum Digital Signature: Difference between revisions

Prepare and Measure Quantum Digital Signature (edit)

824 bytes added , 21 March 2019

Write, autoreview, editor, reviewer

3,129

edits

@@ Line 143: / Line 143: @@
   '''end function''' symmetrisation
   // '||' implies that the functions are processed in parallel</br>
+ '''function''' signing(m,<math>s_m</math>)
+  Seller<math>\xrightarrow[]{(m,<math>s_m</math>)}</math>Buyer
+  '''for''' i=1 '''to''' L
+   '''if''' s_m(i)=esign_{Bm} '''then'''
+    x=x+1
+   '''end if'''
+  '''end for'''
+  '''if''' x><math>s_a</math> '''then'''
+     z=0 //Buyer aborts
+  '''else'''
+   z=1   //Buyer accepts
+  '''end if'''
+  '''return''' z
+ '''end function''' signing</br>
+ '''function''' transfer(m,<math>s_m</math>)
+  '''if''' z=1 '''then'''
+  Buyer<math>\xrightarrow[]{(m,<math>s_m</math>)}</math>Verifier
+  '''for''' i=1 '''to''' L
+   '''if''' s_m(i)=esign_{Vm} '''then'''
+    x=x+1
+   '''end if'''
+   '''if''' x><math>s_v</math> '''then'''
+    z=0 //Verifier aborts
+   '''else'''
+    z=1 // Verifier accepts
+   '''end if'''
+  '''end for'''
+ '''end if'''
+ '''return''' z
+ '''end function''' transfer</br>
 ==Discussion==