aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2015-05-09 19:37:54 +0200
committerChristian Grothoff <christian@grothoff.org>2015-05-09 19:37:54 +0200
commit15c412629582a026fd905e472c28a9a21ad37c86 (patch)
tree86a759eb4baba01f745c0eadbc13b56c7c6f01b8 /doc
parent5004fce6ca55566cce5c2b8b26f17bceee0469ca (diff)
slight clarifications
Diffstat (limited to 'doc')
-rw-r--r--doc/paper/taler.tex6
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