handouts/ho06.tex
changeset 436 8bf6704fc991
parent 435 4603e6bb80c8
child 495 f5172bb6cf45
equal deleted inserted replaced
435:4603e6bb80c8 436:8bf6704fc991
   534 appear in Bob's bit vector, then she sends the inverse of $y$
   534 appear in Bob's bit vector, then she sends the inverse of $y$
   535 as $h_j$ and 0 as $s_j$. However, notice that when she
   535 as $h_j$ and 0 as $s_j$. However, notice that when she
   536 calculates a solution for $y$ she does not know $r_j$. For this she
   536 calculates a solution for $y$ she does not know $r_j$. For this she
   537 would need to calculate the modular logarithm
   537 would need to calculate the modular logarithm
   538 
   538 
   539 
   539 \[y \equiv A^{r_j}\;mod\;p\] 
   540 \[
       
   541 y \equiv A^{r_j}\;mod\;p
       
   542 \] 
       
   543 
   540 
   544 \noindent which is hard (see step 1 in the commitment stage).
   541 \noindent which is hard (see step 1 in the commitment stage).
   545 
   542 
   546 Having settled on what $h_j$ should be, now what should Alice
   543 Having settled on what $h_j$ should be, now what should Alice
   547 send as the other $h_i$ and other $s_i$? If the $b_i$ happens
   544 send as the other $h_i$ and other $s_i$? If the $b_i$ happens