diff options
author | Christian Grothoff <christian@grothoff.org> | 2015-05-09 19:37:54 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2015-05-09 19:37:54 +0200 |
commit | 15c412629582a026fd905e472c28a9a21ad37c86 (patch) | |
tree | 86a759eb4baba01f745c0eadbc13b56c7c6f01b8 /doc | |
parent | 5004fce6ca55566cce5c2b8b26f17bceee0469ca (diff) |
slight clarifications
Diffstat (limited to 'doc')
-rw-r--r-- | doc/paper/taler.tex | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/paper/taler.tex b/doc/paper/taler.tex index fb8965be5..0b23cfa38 100644 --- a/doc/paper/taler.tex +++ b/doc/paper/taler.tex @@ -866,11 +866,11 @@ a fresh coin $\widetilde{C}$ with the same denomination. In the protocol, $\kapp \item randomly generates blinding factors $b_i$, \item computes $E_i := E_{K_i}\left(c_s^{(i)}, b_i\right)$ where $K_i := c'_s \cdot T_p^{(i)}$ (The encryption key $K_i$ is computed by multiplying the private key $c'_s$ of the original coin with the point on the curve - that represents the public key of the transfer key $T^{(i)}$.), + that represents the public key $T^{(i)}_p$ of the transfer key $T^{(i)}$.), \end{itemize} and commits $\langle C', \vec{T}, \vec{C}, \vec{b} \rangle$ to disk. - \item The customer computes $B_i := E_{b_i}(C^{(i)}_p)$ and sends commitments - $S_{C'}(\vec{E}, \vec{B}, \vec{T}))$ for $i=1,\ldots,\kappa$ to the mint; + \item The customer computes $B_i := E_{b_i}(C^{(i)}_p)$ for $i=1,\ldots,\kappa$ and sends a commitment + $S_{C'}(\vec{E}, \vec{B}, \vec{T_p}))$ to the mint; here $E_{b_i}$ denotes Chaum-style blinding with blinding factor $b_i$. \item The mint generates a random $\gamma$ with $1 \le \gamma \le \kappa$ and marks $C'_p$ as spent by committing |