SLIDE 19 19
Roman Matzutt
19
… ¡ … ¡ Shuffle ¡Phase ¡(cont’d) ¡
Verifying ¡the ¡shuffle ¡
= ¡Verifying ¡decryp;on ¡without ¡breaking ¡unlinkability ¡
Output ¡ address ¡
C0 ¡ hash ¡ hash ¡ hash ¡ C1 ¡ C2 ¡ C3 ¡
Verifica;on ¡Data ¡ Verifica;on ¡Data ¡ Verifica;on ¡Data ¡
User ¡i ¡secret ¡shares ¡Ci
j ¡to ¡the ¡mix ¡peers. ¡
M1 ¡ O3 ¡ O1 ¡ O2 ¡ M1 ¡ M3 ¡
Reconstruct( ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡+ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡+ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡) ¡ ¡= ¡ H( ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡) ¡ ¡
O3 ¡ + ¡H( ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡) ¡ ¡ O’2 ¡ + ¡H( ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡) ¡ ¡ O1 ¡ [C1
1] ¡
[C2
1] ¡
[C3
1] ¡
C1 ¡:= ¡C1
1 ¡+ ¡C2 1 ¡+ ¡C3 1 ¡
C’1 ¡:= ¡C3
1 ¡+ ¡C’2 1 ¡+ ¡C1 1 ¡
=
O3 ¡ O2 ¡ O1 ¡ M2 ¡ O’2 ¡
Users’ ¡verifica;on ¡informa;on ¡ ¡= ¡ ¡Checksum ¡of ¡shuffle ¡stage