Write, autoreview, editor, reviewer
3,129
edits
Line 144: | Line 144: | ||
// '||' implies that the functions are processed in parallel</br> | // '||' implies that the functions are processed in parallel</br> | ||
'''function''' signing(m,<math>s_m</math>) | '''function''' signing(m,<math>s_m</math>) | ||
Seller<math>\xrightarrow[]{(m, | Seller<math>\xrightarrow[]{(m,s_m)}</math>Buyer | ||
'''for''' i=1 '''to''' L | '''for''' i=1 '''to''' L | ||
'''if''' s_m(i)=esign_{Bm} '''then''' | '''if''' s_m(i)=esign_{Bm} '''then''' | ||
Line 160: | Line 160: | ||
'''function''' transfer(m,<math>s_m</math>) | '''function''' transfer(m,<math>s_m</math>) | ||
'''if''' z=1 '''then''' | '''if''' z=1 '''then''' | ||
Buyer<math>\xrightarrow[]{(m, | Buyer<math>\xrightarrow[]{(m,s_m)}</math>Verifier | ||
'''for''' i=1 '''to''' L | '''for''' i=1 '''to''' L | ||
'''if''' s_m(i)=esign_{Vm} '''then''' | '''if''' s_m(i)=esign_{Vm} '''then''' |