Write, autoreview, editor, reviewer
3,129
edits
Line 51: | Line 51: | ||
**'''Symmetrisation''' | **'''Symmetrisation''' | ||
##For k=0,1 | ##For k=0,1 | ||
### Buyer chooses I<math>\subset_R\{1,2,...,L\}, |I|= | ### Buyer chooses I<math>\subset_R\{1,2,...,L\}, |I|=[L/2]</math> | ||
### ∀i ∈ I, Buyer sends Verifier <math>(k,i,b^k_i,B^k_i)</math> | ### ∀i ∈ I, Buyer sends Verifier <math>(k,i,b^k_i,B^k_i)</math> | ||
### Verifier chooses J<math>\subset_R\{1,2,...,L\}, |J|= | ### Verifier chooses J<math>\subset_R\{1,2,...,L\}, |J|=[L/2]</math> | ||
### ∀j ∈ J, Verifier sends Buyer <math>(k,j,b^k_j,B^k_j)</math> | ### ∀j ∈ J, Verifier sends Buyer <math>(k,j,b^k_j,B^k_j)</math> | ||
### ∀j ∈ J Buyer replaces <math>B^k_l=C^k_l</math> | ### ∀j ∈ J Buyer replaces <math>B^k_l=C^k_l</math> |