Write, autoreview, editor, reviewer
3,129
edits
Line 63: | Line 63: | ||
### <math>\forall i\epsilon I</math>, Buyer sends Verifier <math>(k,i,b^k_i,B^k_i)</math> | ### <math>\forall i\epsilon I</math>, Buyer sends Verifier <math>(k,i,b^k_i,B^k_i)</math> | ||
### Verifier chooses J<math>\subset_R\{1,2,...,L\}, |J|=[L/2]</math> | ### Verifier chooses J<math>\subset_R\{1,2,...,L\}, |J|=[L/2]</math> | ||
### <math>\forall j\epsilon J</math>, Verifier sends Buyer <math>(k,j, | ### <math>\forall j\epsilon J</math>, Verifier sends Buyer <math>(k,j,v^k_j,V^k_j)</math> | ||
### <math>\forall j\epsilon J</math> Buyer replaces <math>B^k_l= | ### <math>\forall j\epsilon J</math> Buyer replaces <math>B^k_l=V^k_l</math> | ||
### <math>\forall i\epsilon I</math> Verifier replaces <math> | ### <math>\forall i\epsilon I</math> Verifier replaces <math>V^k_l=B^k_l</math> | ||
==='''Stage 2''' Messaging=== | ==='''Stage 2''' Messaging=== |