From e2f988b995290fdfa2552a396766c32dc7993fa9 Mon Sep 17 00:00:00 2001 From: Christian Grothoff Date: Thu, 1 Oct 2015 15:22:19 +0200 Subject: use U instead of B^{-1} as it is not a strict inverse --- doc/paper/taler.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'doc/paper/taler.tex') diff --git a/doc/paper/taler.tex b/doc/paper/taler.tex index e703b553e..da10145ae 100644 --- a/doc/paper/taler.tex +++ b/doc/paper/taler.tex @@ -697,7 +697,7 @@ the mint: and then sends $S_{K}(B_b(C_p))$ to the customer. If the guards for the transaction fail, the mint sends a descriptive error back to the customer, with proof that it operated correctly (i.e. by showing the transaction history for the reserve). - \item The customer computes (and verifies) the unblinded signature $S_K(C_p) = B^{-1}_b(S_K(B_b(C_p)))$. + \item The customer computes (and verifies) the unblinded signature $S_K(C_p) = U_b(S_K(B_b(C_p)))$. The customer writes $\langle S_K(C_p), c_s \rangle$ to disk (effectively adding the coin to the local wallet) for future use. \end{enumerate} @@ -1359,7 +1359,7 @@ indicate the application of a function $f$ to one or more arguments. \item[$K$]{Public-priate (RSA) coin signing key pair $K := (K_s, K_p)$} \item[$b$]{RSA blinding factor for RSA-style blind signatures} \item[$B_b()$]{RSA blinding over the argument using blinding factor $b$} - \item[$B^{-1}_b()$]{RSA unblinding of the argument using blinding factor $b$, inverse of $B_b()$} + \item[$U_b()$]{RSA unblinding of the argument using blinding factor $b$} \item[$S_K()$]{Chaum-style RSA signature, commutes with blinding operation $B_b()$} \item[$w_s$]{Private key from customer for authentication} \item[$W_p$]{Public key corresponding to $w_s$} -- cgit v1.2.3