Write, autoreview, editor, reviewer
3,129
edits
Line 38: | Line 38: | ||
===Pseudo Code=== | ===Pseudo Code=== | ||
---- | ---- | ||
'''Stage 1:''' Distribution | [['''Stage 1:''']] Distribution | ||
*'''Input''' L | *'''Input''' L | ||
*'''Output''' Seller: <math>\{\beta^0_1,...,\beta^0_L\},\{\beta^1_1,...,\beta^1_L\}</math>; Buyer: <math>B^0,B^1</math>; Verifier: <math>V^0,V^1</math> | *'''Output''' Seller: <math>\{\beta^0_1,...,\beta^0_L\},\{\beta^1_1,...,\beta^1_L\}</math>; Buyer: <math>B^0,B^1</math>; Verifier: <math>V^0,V^1</math> | ||
Line 66: | Line 66: | ||
### <math>\forall i\epsilon I</math> Verifier replaces <math>V^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 | ||
*'''Input''' Seller: Message m, Private Key for m: <math>\{\beta^m_1,...,\beta^m_L\}</math> | *'''Input''' Seller: Message m, Private Key for m: <math>\{\beta^m_1,...,\beta^m_L\}</math> |