Write, autoreview, editor, reviewer
3,129
edits
Line 60: | Line 60: | ||
###For j=1,2 | ###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</math> to buyer and verifier | ||
####Buyer performs ''' | ####Buyer performs '''SWAP'''<math>(f_{k_m^i}^1, f_{k_m^i}^2)</math> | ||
####If | ####If SWAP= '''False''', Buyer '''aborts''' | ||
####If | ####If SWAP= '''True''', Buyer sends <math>f_{k_m^i}^{b}=f_{k_m^i}^2=f_{k_m^i}^1</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}=f_{k_m^i}^2=f_{k_m^i}^1</math> to buyer | ||
####Both perform ''' | ####Both perform '''SWAP'''<math>(f_{k_m^i}^{b},f_{k_m^i}^{v})</math> | ||
####If | ####If SWAP= '''False''', protocol aborted | ||
####If | ####If SWAP= '''True''', distribution successful | ||
<u>'''Stage 2'''</u> Messaging | <u>'''Stage 2'''</u> Messaging |