[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
## [Taler] overline Typo or misunderstanding

**From**: |
Fabian Kirsch |

**Subject**: |
[Taler] overline Typo or misunderstanding |

**Date**: |
Sun, 04 Oct 2015 07:03:42 +0200 |

**User-agent**: |
Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Icedove/31.7.0 |

Hi,
there is the following assignment in step 7 of refresh:
$\overline{B^{(i)}} :&= B_{b^{(i)}}(\overline{C_p^{(i)}})$
I am not shure if you intended to overline the $b^{(i)}$ as well.
A) if it is overlined:
$\mathfrak{R}$ contains $b^{(i)}$ but that is never used.
B) if it is not overlined:

` Step 7 does not find out whether $\overline{b^{(i)}}$ recovered from
``$E^{(i)}$ is valid.
`` The link can be easily broken by $E^{(i)}$ being calculated from a
``false blinding factor.
` You should add a check $\overline{b^{(i)}}=b^{(i)}$ in Step 7.
greetings
Fabian
this mail's math is readable at:
http://quicklatex.com/cache3/8c/ql_6bb084100c39076512b05dd4f268b38c_l3.png

**[Taler] overline Typo or misunderstanding**,
*Fabian Kirsch* **<=**