Gottesman and Chuang Quantum Digital Signature: Difference between revisions

Gottesman and Chuang Quantum Digital Signature (edit)

75 bytes added , 3 June 2019

Write, autoreview, editor, reviewer

3,129

edits

@@ Line 61: / Line 61: @@
 ##For i=0,M
 ###For j=1,2
-####Seller sends <math>f_{k_m^i}^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}^1, f_{k_m^i}^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= '''True''', Buyer sends <math>f_{k_m^i}^{b}=f_{k_m^i}^2=f_{k_m^i}^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}^{v}=f_{k_m^i}^2=f_{k_m^i}^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 '''SWAP TEST'''<math>(f_{k_m^i}^{b},f_{k_m^i}^{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= '''True''', distribution successful